LangSec Workshop

at IEEE Security & Privacy, Thursday May 25, 2017

Workshop program

Fourth Language-theoretic Security (LangSec) IEEE Security & Privacy Workshop

Preliminary Program

8:45-9amOpening Words from the Organizers
9:00-10am Keynote: Perry Metzger, "Slow But Steady: Achieving Real Security Within Two Decades"
10:15-10:45am Morning Coffee Break
10:45am-12:30pm First Session: Papers
Stefan Lucks, Norina Grosch and Joshua Koenig, "Taming the Length Field in Binary Data: Calc-Regular Languages"
Pierre Chifflier and Geoffroy Couprie, "Writing parsers like it is 2017"
Tobias Bieschke, Lars Hermerschmidt, Bernhard Rumpe and Peter Stanchev, "Eliminating Input-Based Attacks by Deriving Automated Encoders and Decoders from Context-free Grammars"
12:30-1:30pm Lunch
1:30-3:15pmSecond Session: Papers, Research Reports
Yi Lu, Sora Bae, Paddy Krishnan, and Raghavendra K.R., "Inference of Security-Sensitive Entities in Libraries"
Kit S Tse and Peter C Johnson, "A Framework for Validating Session Protocols"
Prashant Anantharaman, Michael Locasto, Gabriela F. Ciocarlie and Ulf Lindqvist, "Building Hardened Internet-of-Things Clients with Language-theoretic Security"
Jacob Torrey, Mark Bridgman and Tomasz Tuzel, "Hardware-Enforcement of Walther-Recursive Program Functions"
3:15-3:45pm Afternoon Coffee Break
3:45-5:00pmThird Session: Invited Presentations, Work-in-progress Reports, Panel
Lee Pike, "Programming Languages for High-Assurance Vehicles"
The LangSec Roundtable: Was 2016 the Year of LangSec Bugs?
5:00-5:30pm Thanks & Further Research Directions