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). |