LangSec Workshop

at IEEE Security & Privacy, May 21, 2020

Workshop program

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

Preliminary Program (All times are in US Pacific time)

9am-9:10amOpening 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:50pmKeynote (Session chair: Erik Poll): Jeremy Yallop, University of Cambridge .
1:50-2:40pmSecond 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:20pmThird 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 ( 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:00pmFourth 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)