LangSec 2017 (May 25, 2017)

10 talks · 2017 · indexed by Breach Arc Archive. Links open each talk on YouTube.

• Building Hardened Internet-of-Things Clients with Language-theoretic Security 2017
• Eliminating Input-Based Attacks by Deriving Encoders and Decoders from CFGs 2017
• Embedded Nom: a case study of memory safe parsing in resource constrained environments 2017
• Hardware-Enforcement of Walther-Recursive Program Functions 2017
• How the BIOS assures its handling of inputs 2017
• IDE Plugins for Detecting Input-Validation Vulnerabilities 2017
• Lua code: security overview and practical approaches to static analysis 2017
• Programming Languages for High-Assurance Vehicles 2017
• Slow But Steady: Achieving Real Security Within Two Decades 2017
• Taming the Length Field in Binary Data: Calc-Regular Languages 2017