[TYPES/announce] LangSec 2023 - Call for Papers, Work-in-Progress reports, and Panels

Erik Poll erikpoll at cs.ru.nl
Tue Dec 13 15:51:28 EST 2022


The 9th 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 panel discussions related to the growing area of
language-theoretic security.

Important Dates

Research paper submissions due: 15 Jan 2023, AOE
Work-in-progress reports and panels submissions due: 5 Feb 2023, AOE
Notification to authors: 27 Feb 2023

Submission page: https://urldefense.com/v3/__https://easychair.org/conferences/?conf=langsec2023__;!!IBzWLUs!Vk0c9l5hmwHho3bWUbqH9k4WVWXd32kwTEvNaozuFFOIrI5g2tjcmeFXc3k3tFV2-GnP-V_wElHBzVaazS2iq6BbGpIGzjI-$ 

Workshop Website: https://urldefense.com/v3/__https://langsec.org/spw23__;!!IBzWLUs!Vk0c9l5hmwHho3bWUbqH9k4WVWXd32kwTEvNaozuFFOIrI5g2tjcmeFXc3k3tFV2-GnP-V_wElHBzVaazS2iq6BbGpVYeTyM$ 

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

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


More information about the Types-announce mailing list