[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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)
