CfP LangSec 2018 ws - extended deadline Feb 15

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

Important dates

  •    Paper submission deadline  February 15
  •    Notification to authors    March 5
  •    Final versions due         March 25
  •    Workshop Date              May 24, co-located with IEEE S&P 2018