LangSec 2015 (May 21, 2015)

13 talks · 2015 · indexed by Breach Arc Archive. Links open each talk on YouTube.

• A fuzzing and protocol analysis case-study of DNP3 2015
• Error-Correcting Codes as Source for Decoding Ambiguity 2015
• Grammatical Inference and Language Frameworks for LANGSEC 2015
• Heap Models for Exploit Systems 2015
• Keynote: Dan Geer, "Dark Matter: Driven By Data" 2015
• Nom, a Byte-oriented, Streaming, Zero-copy Parser Combinators Library in Rust 2015
• On the Generality and Convenience of Etypes 2015
• Protocol State Machines and Session Languages 2015
• The Correctness-Security Gap in Compiler Optimization 2015
• The State of Hammer 2015
• Towards more Security in Data Exchange 2015
• Unambiguous Encapsulation 2015
• Verification State-space Reduction through Restricted Parsing Environments 2015