The Sixth IEEE Workshop on Language-Theoretic Security (LangSec 2020)

摘要

The Sixth Workshop on Language-Theoretic Security (LangSec) is collocated with the 41st IEEE Symposium on Security and Privacy (“Oakland” 2020) and is held virtually due to the global COVID-19 pandemic. LangSec was founded to bring together researchers who were interested in the language-theoretic approach to software security (LangSec). The LangSec approach 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 collection of respective input-handling routines as a recognizer for that language. LangSec shows that broad classes of vulnerabilities in systems handling untrusted inputs result from disregard for fundamental computability principles in design of data formats and their parsers. The LangSec workshop aims to foster a community for exploring the theory and applications of the LangSec approach. This year the program committee selected 4 full research papers out of 13 submissions and also selected 4 research reports for inclusion into the proceedings. The research reports describe ongoing LangSecrelevant projects that are producing promising results but do not yet amount to a full paper. Each paper had 3 reviews. To encourage participation and community building, the conference program also includes 4 work-in-progress presentations that are not included in the proceedings but will be available on the workshop website