February 1, 2018
The 5th Workshop on Language-Theoretic Security (LangSec) solicits contributions related to the growing field of language-theoretic security.
The goal of the workshop is to bring more clarity and focus to two complementary areas: (1) practical assurance of input-handling code and (2) analysis of input-related weaknesses, vulnerabilities, and resulting exploitation mechanisms. The LangSec Workshop solicits input on these and related topics from the software verification, programming languages, and offensive research communities.
We encourage not only the submission of research papers, but also experience reports about results from LangSec-related projects by security practitioners and talks about actual implementations, prototypes or proofs-of-concept.
For more info see spw18.langsec.org