[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