| Seventh Language-theoretic Security (LangSec) IEEE Security & Privacy Workshop | |||
Preliminary Program (All times are in US Pacific time) |
|||
| Day 1 (May 27th) | |||
| 9am-9:30am | Opening Words from the Organizers | ||
| 9:30-10:45am | Keynote (Session chair: Gang Tan): Kathleen Fisher (Tufts University). High-Assurance Input Validation: Locking the Front Door.. | ||
| 10:45-11:00am | Break | ||
| 11:00am-12:15pm | First Session: Research papers (Session chair: Julien Vanegue) | ||
| "Formal Language Theory for Practical Security". Andreas Jakoby, Jannis Leuther and Stefan Lucks (Bauhaus-Universität Weimar). | |||
| "Verbatim: A Verified Lexer Generator". Derek Egolf, Sam Lasser and Kathleen Fisher (Tufts University). | |||
| "Formal Synthesis of Filter Components for Use in Security-Enhancing Architectural Transformations". David Hardin and Konrad Slind (Collins Aerospace). | |||
| 12:15-12:30pm | Break + Lunch Time | ||
| 12:30pm-1:45pm | Second Session: Research papers (Session chair: Sergey Bratus) | ||
| "Accessible Formal Methods for Verified Parser Development". Letitia Li (BAE Systems), Greg Eakman (BAE Systems), Elias Garcia (Special Circumstances), and Sam Atman (Special Circumstances). | |||
| "Differential Analysis of x86-64 Instruction Decoders". William Woodruff (Trail of Bits), Niki Carroll (George Mason University), and Sebastiaan Peters (Eindhoven University of Technology). | |||
| "Bohemia: A Validator for Parser Frameworks". Anish Paranjpe and Gang Tan (Penn State University). | |||
| 1:45-2:00pm Break | |||
| 2:00pm-3:00pm | Third Session: Research reports (Session chair: Sofia Bekrar) | ||
| "Demystifying PDF through a machine-readable definition". Peter Wyatt (PDF Association Inc.). | |||
| "Building a File Observatory for Secure Parser Development". Tim Allison, Wayne Burke, Chris Mattmann, Anastasija Mensikova, Philip Southam and Ryan Stonebraker (NASA Jet Propulsion Laboratory). | |||
| "Pegmatite: Parsing PEGs with Length Fields in Software and Hardware". Zephyr Lucas, Joanna Liu, Prashant Anantharaman and Sean Smith (Dartmouth College). | |||
| 3:00pm-3:15pm Open discussion | |||
| Day 2 (May 28th) | |||
| 9:00-10:15am | Keynote (Session chair: Sergey Bratus): George Cybenko and Joshua M. Ackerman (Dartmouth College). Formal Languages, Deep Learning, Topology and Algebraic Word Problems.. | ||
| 10:15-10:30am | Break | ||
| 10:30am-11:45am | First Session: Research papers (Session chair: Erik Poll) | ||
| "RL-GRIT: Reinforcement Learning for Grammar Inference". Walt Woods (Galois Inc.). | |||
| "Looking for Non-Compliant Documents Using Error Messages from Multiple Parsers". Michael Robinson (American University). | |||
| "Mechanized Type Safety for Gradual Information Flow". Tianyu Chen and Jeremy Siek (Indiana University). | |||
| 11:45-12:00pm | Break | ||
| 12:00pm-1:00pm | Second Session: Work in progress (Session chair: Meredith Patterson) | ||
| "Discovering Emergent Computation Across Abstraction Boundaries". Mark Boddy, Jim Carciofini, Todd Carpenter, Alex Mahrer, Ryan Peroutka and Kyle Nelson (Adventium Labs). | |||
| "A Verified Parser Generator For Micro-controller Applications". Sameed Ali and Sean Smith (Dartmouth College). | |||
| "Optimizing Data Mediation Placement with Pareto Analysis". J Peter Brady and Sean Smith (Dartmouth College). | |||
| "Towards a Platform to Compare Binary Parser Generators". Olivier Levillain, Sébastien Naud and Aina Toky Rasoamanana (Télécom SudParis, Institut Polytechnique de Paris). | |||
| 1:00-1:15pm | Break | ||
| 1:15pm-2:15pm | Panel discussion on "A Unified Algebraic Framework Of Program Analyses". | ||
| "Work in Progress: A Unified Algebraic Framework Of Program Analyses". Martin Rinard (MIT), Henny Sipma (Aarno Labs), Thomas Bourgeat (MIT). | |||