| Sixth Language-theoretic Security (LangSec) IEEE Security & Privacy Workshop | |
Preliminary Program (All times are in US Pacific time) |
|
| 9am-9:10am | Opening Words from the Organizers |
| 9:10-10:10am | Keynote (Session chair: Gang Tan): David Walker (Princeton University). |
| 10:10-10:20am | Break |
| 10:20am-12:00pm | First Session: Research papers (Session chair: Bill Harris) |
| "Language-agnostic Injection Detection". Lars Hermerschmidt (AXA Konzern AG), Andreas Straub (RWTH Aachen University), and Goran Piskachev (Fraunhofer IEM). | |
| "Toward Automated Grammar Extraction via Semantic Labeling of Parser Implementations". Carson Harmon, Bradford Larsen, and Evan S. Sultanik (Trail of Bits). | |
| "The Geometry of Syntax and Semantics for Directed File Transformations". Steve Huntsman (BAE Systems FAST Labs) and Michael Robinson (American University). | |
| "Armor Within: Defending against Vulnerabilities in Third-Party Libraries". Sameed Ali, Prashant Anantharaman and Sean Smith (Dartmouth College). | |
| 12:00-12:50pm | Break + Lunch Time |
| 12:50-1:50pm | Keynote (Session chair: Erik Poll): Jeremy Yallop, University of Cambridge . |
| 1:50-2:40pm | Second Session: Invited talks (Session chair: Sergey Bratus) |
| "A Story About JavaScript". Natalie Silvanovich (Google Inc.). | |
| "Weird Circuits in CPU Microarchitectures". Tom Benjamin (Perspecta Labs), Jeff Eitel (Perspecta Labs), Jesse Elwell (Perspecta Labs), Dmitry Evtyushkin (College of William and Mary), Abhrajit Ghosh (Perspecta Labs). | |
| 2:40-3:00pm | Afternoon Break |
| 3:00-4:20pm | Third Session: Research reports (Session chair: Rodrigo Branco) |
| "The Parsley Data Format Definition Language". Prashanth Mundkur (SRI International), Prashant Anantharaman (Dartmouth College), Sameed Ali (Dartmouth College), Linda Briesemeister (SRI International), Natarajan Shankar (SRI International), and Sean Smith (Dartmouth College). | |
| "Formally-Verified ASN.1 Protocol C-language Stack". Nika Pona (Digamma.ai) and Vadim Zaliva (Carnegie Mellon University). | |
| "Building a Wide Reach Corpus for Secure Parser Development". Timothy Allison, Wayne Burke, Chris Mattmann, Anastasia Menshikova, Philip Southam, Ryan Stonebraker, Virisha Timmaraju, and Valentinos Constantinou (NASA Jet Propulsion Laboratory). | |
| "ICARUS: Building Parsers out of Feathers and Wax". Sam Cowger, Yerim Lee, Nichole Schimanski, Mark Tullsen, Walter Woods, Richard Jones, Ew Davis, William Harris (Galois, Inc.), Trent Brunson, Carson Harmon, Bradford Larsen and Evan Sultanik (Trail of Bits). | |
| 4:20-5:00pm | Fourth Session: Work-in-progress (Session chair: Gang Tan) |
| "Reverse Engineering Binary Messages through Design Patterns". Jared Chandler and Kathleen Fisher (Tufts University). | |
| "On Session Languages". Prashant Anantharaman and Sean Smith (Dartmouth College). | |
| "Weird Machines aren’t that weird: We are". Jordy Gennissen (Royal Holloway, University of London). | |
| "Formal Proofs and Emergent Computations". Julien Vanegue (Bloomberg) | |