| Twelfth Language-theoretic Security (LangSec) IEEE Security & Privacy Workshop |
Preliminary Program (All times are in US Pacific time) |
| 8:30-8:40am | Opening Words from the Organizers. |
| 8:45-9:00am | In Memoriam Felix 'FX' Lindner |
| 9:00-10:00am | Keynote (Session chair: Sergey Bratus): Building a Security DSL Flywheel with Automated Reasoning, Tristan Ravitch (Amazon Web Services). |
| 10:00-10:30am | Break |
| 10:30am-12:00pm | First Session: Research Papers (Session chair: TBA) |
| Seventy Years of Parsing: Theoretical and Practical Consequences, Zephyr Lucas (Dartmouth), Prashant Anantharaman (Narf Industries) and Sean Smith (Dartmouth). |
| JunId: Empowering Static Analysis with Asymptotically Optimal Intersection with Incomplete Sentences, Eric Alata (LAAS-CNRS, INSA) and Pierre-François Gimenez (Univ. Rennes, Inria, IRISA). |
| CBCL: Safe Self-Extending Agent Communication, Hugo O'Connor (Anuna Research). |
| PAPI: Provenance-Aware Parse Insertion for LangSec Mediation, J Peter Brady and Sean W Smith (Dartmouth). |
| noon-1:15pm | Lunch |
| 1:15-2:15pm | Keynote (Session chair: TBA): From Proof to Practice: Extracting Verified Programs to Modern C++, Joomy Korkut (Bloomberg). |
| 2:15-2:45pm | Second Session: Papers and Research Reports (Session chair: TBD) |
| Object-centric Tracing for Language-Theoretic Security in Low-Level Interfaces, Imani Palmer, Edmond Rogers and Rob Adams (UIUC). |
| PICKLEFUZZER: A Case Study in Fuzzing for Discrepancies Between Python Pickle Implementations, Justin Applegate and Andreas Kellas (Columbia U.). |
| 2:45-3:00pm | Break |
| 3:00-3:30pm | Invited talk: Large Language Models for Software Specification Synthesis, Julien Vanegue (Bloomberg). |
| 3:30-5:00pm | Panel: LangSec and AI for formal methods. |
| 5:00-5:05pm | Closing words from organizers |