Lightweight, modular verification for WebAssembly-to-native instruction selection. Alexa VanHattum, Monica Pardeshi, Chris Fallin, Adrian Sampson, Fraser Brown . ASPLOS 2024. [pdf]
Bounded verification for finite-field-blasting (in a compiler for zero knowledge proofs). Alex Ozdemir, Riad Wahby, Fraser Brown , Clark Barrett. CAV 2023. The ghost is the machine: weird machines in transient execution. Ping-Lun Wang, Fraser Brown , Riad Wahby. WOOT 2023. Best student paper award! Silph: a framework for scalable and accurate generation of hybrid MPC protocols. Edward Chen, Jinhao Zhu, Alex Ozdemir, Riad Wahby, Fraser Brown , Wenting Zheng. Oakland 2023. WaVe: a verifiably secure WebAssembl
High-level, high-speed, high-assurance crypto. Jonathan Cogan, Fraser Brown , Alex Ozdemir, Riad S. Wahby. PriSC 2021. Trust but verify: SFI safety for native-compiled Wasm. Evan Johnson, David Thien, Youssef Alessi, Shravan Narayan, Fraser Brown , Stefan Savage, Deian Stefan. NDSS 2021. Sys: a static/symbolic tool for finding good bugs in good (browser) code. Fraser Brown , Deian Stefan, Dawson Engler. Usenix Sec 2020. [pdf]