Program

November 3, 2024

• 13:00 - 13:05 Opening remarks

• 13:05 - 14:10 Keynote 1 by Deian Stefan (UCSD). Verus Using light-weight verification to secure the WebAssembly sandbox

• 14:10 - 14:30 Robust and Immediate Resource Reclamation with M³. Viktor Reusch (Barkhausen Institut), Nils Asmussen (Barkhausen Institut), Michael Roitzsch (Barkhausen Institut)

• 14:30 - 14:50 Kicking the Firmware Out of the TCB with the Miralis Virtual Firmware Monitor. Charly Castes (EPFL), Neelu S. Kalani (EPFL), Sofia Saltovskaia (EPFL), Noé Terrier (EPFL), Abel Vexina Wilkinson (EPFL), Edouard Bugnion (EPFL)

• 14:50 - 15:10 Bridge: A Leak-Free Hardware-Software Architecture for Parallel Embedded Systems. Gongqi Huang (Princeton University), Leon Schuermann (Princeton University), Amit Levy (Princeton University)

• 15:10 - 15:30 Veld: Verified Linux Drivers. Xiangdong Chen (University of Utah), Zhaofeng Li (University of Utah), Jerry Zhang (University of Utah), Anton Burtsev (University of Utah)

15:30 - 16:00 Coffee break (Overlaps with SOSP)

• 16:00 - 17:00 Keynote 2 by Anish Athalye (MIT). Formally Verifying Secure and Leakage-Free Systems: From Application Specification to Circuit-Level Implementation.