[TYPES/announce] CFP: LangSec 2022 (affiliated with IEEE S) due on Jan 15th, 2022

[Gang (Gary) Tan]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


Call for Papers
8th Workshop on Language-Theoretic Security (LangSec)
Affiliated with 43rd IEEE Symposium on Security and Privacy (Oakland)
May 26th, 2022

The Language-Theoretic Security (LangSec) workshop solicits
contributions of research papers, work-in-progress reports, and panels
related to the growing area of language-theoretic security.

Submission Guidelines: see https://urldefense.com/v3/__http://langsec.org/spw22/__;!!IBzWLUs!EIRRfItFUkEDEGLhS0iQLK4A7MFrcgi_ctbdqI5wDZpC2438l6pEeeCYKCJ-6LeExKEE-9S_HGghFg$ 

Submission link: https://urldefense.com/v3/__https://easychair.org/conferences/?conf=langsec2022__;!!IBzWLUs!EIRRfItFUkEDEGLhS0iQLK4A7MFrcgi_ctbdqI5wDZpC2438l6pEeeCYKCJ-6LeExKEE-9RQoVidng$ 


Important Dates:
Research paper submissions due: January 15 2022, AOE
Work-in-progress reports and panels submissions due:
  February 1 2022, AOE
Notification to authors: February 15 2022

Topics: LangSec posits that the only path to trustworthy computer
software that takes untrusted inputs is treating all valid or expected
inputs as a formal language, and the respective input-handling routine
as a parser for that language. The parsing must be feasible, and the
parser must match the language in required computation power and
convert the input for the consumption of subsequent computation. The
8th installation of the workshop will continue the tradition and
further focus on research that apply the language-theoretic
perspective to policy mechanisms, such as treating policy formulation
and enforcement as language definition and language recognition
problems. The following is a non-exhaustive list of topics that are of
relevance to LangSec:

* formalization of vulnerabilities and exploits in terms of language
  theory
* inference of formal language specifications of data from samples
* generation of secure parsers from formal language specifications
* complexity hierarchy of verifying parser implementations
* science of protocol design: layering, fragmentation and re-assembly,
  extensibility, etc.
* architectural constructs for enforcing limits on computational
  complexity
* empirical data on programming language features/programming styles
  that affect bug introduction rates (e.g., syntactic redundancy)
* systems architectures and designs based on LangSec principles
* computer languages, file formats, and network protocols built on
  LangSec principles
* re-engineering efforts of existing languages, formats, and protocols
  to reduce computational power

Chairs
PC co-chair: Gang Tan (Pennsylvania State University)
PC co-chair: Sergey Bratus (Dartmouth College)

Contact:
All questions about submissions should be emailed to the PC chairs:
Gang Tan (g...@psu.edu) and Sergey Bratus (ser...@cs.dartmouth.edu)

--

Gang (Gary) Tan
Professor, Penn State CSE and ICDS
W358 Westgate Building
https://urldefense.com/v3/__http://www.cse.psu.edu/*gxt29__;fg!!IBzWLUs!EIRRfItFUkEDEGLhS0iQLK4A7MFrcgi_ctbdqI5wDZpC2438l6pEeeCYKCJ-6LeExKEE-9TviV_S5Q$ 
Tel:814-8657364

[TYPES/announce] Postdoc position: Automated Reasoning and Proof Certificates (part-time)

[Georg Weissenbacher]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

This is an announcement of a part-time postdoc position at TU Wien
(Vienna, Austria).

The Research Unit Formal Methods in Systems Engineering at TU Wien is
looking for a postdoctoral researcher and offers a position for 6
years (for 20 hours/week). The expected starting date is January 2022.

Tasks:
+ Independent teaching or participation in teaching and supervision of students
+ Project work and leadership of project groups
+ Publishing activities
+ Participation in and organization of scientific events
+ Participation in organizational and administrative tasks of the
research division and the faculty

Your profile:
+ Completed doctoral studies in a relevant field (e.g., automated reasoning)
+ Research experience in the area automated propositional reasoning
and checking of proof certificates; in-depth knowledge of the subject
area propositional reasoning (CDCL), checking of propositional proof
certificates (DRAT, DPR, DSR), and Craig Interpolation
+ Deep interest in scientific problems and the motivation for
independent and goal-oriented research
+ The ability to develop methods, concepts, as well as their
realization and evaluation and the willingness to contribute in
scientific projects
+ Experience in national and international research cooperation as
well as in project management and presentations
+ Experience in teaching and publication activities as well as
interest and enthusiasm in research and work/support with students
+ Organizational and analytical skills as well as a structured way of working
+ Excellent command of the English language and very good
communicative skills and team competences
+ Very good skills in English communication and writing. Knowledge of
German (level B2) or willingness to learn it in the first year.

More details and the application form can be found on
https://urldefense.com/v3/__https://jobs.tuwien.ac.at/Job/168937__;!!IBzWLUs!GnI7CRlER0RPBnSdLfkSIqfhSQ5CewoYzU0VV4JeSzZe9zbLONKX5-1Aq3VFv7ae33NrqL_onkI4LA$