[TYPES/announce] LangSec 2024 - Call for Papers, Posters, and Panels (fwd)

[Erik Poll]

Still 2 weeks to submit papers, posters, work-in-progress reports
or ideas for panel discussions to LangSec 2024!  Details below.

---

The 10th Workshop on Language-theoretic Security and Applications
(LangSec), affiliated with IEEE Symposium on Security and Privacy.
solicits contributions of research papers, work-in-progress reports,
and ideas for panels dicussions related to the growing area of
language-theoretic security.

Deadline for all submissions: February 14, 2024, AOE (extended)
Workshop Website: https://urldefense.com/v3/__https://langsec.org/spw24__;!!IBzWLUs!VrWxCwHIGl2TZgkaKzQ1_LWIl68gN9hvQBj__ddVhkh0fV9j1lJC2fZhIRMqzJyqCUjl4bPzp2B5EOOypMClLD4oEMbJQYTQ$ 

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. problems. A
non-exhaustive list of topics 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

PC Chairs
    Sergey Bratus (Dartmouth College)
    Erik Poll (Radboud University)

dwdwPC co-chair: Sergey Bratus (Dartmouth College)
PC co-chair: Erik Poll (Radboud University)