Fraser Brown

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 24

Top Topics

Programming Language

Orders Of Magnitude Speedup

Top Venues

IACR Cryptol. ePrint Arch.

IEEE Symposium on Security and Privacy

USENIX Security Symposium

Publications

Alexa VanHattum, Monica Pardeshi, Chris Fallin, Adrian Sampson, Fraser Brown
Lightweight, Modular Verification for WebAssembly-to-Native Instruction Selection. ASPLOS (1) (2024)
Ping-Lun Wang, Riccardo Paccagnella, Riad S. Wahby, Fraser Brown
Bending microarchitectural weird machines towards practicality. USENIX Security Symposium (2024)
Alex Ozdemir, Riad S. Wahby, Fraser Brown, Clark W. Barrett
Bounded Verification for Finite-Field-Blasting - In a Compiler for Zero Knowledge Proofs. CAV (3) (2023)
Ping-Lun Wang, Fraser Brown, Riad S. Wahby
The ghost is the machine: Weird machines in transient execution. SP Workshops (2023)
Fraser Brown, Klaus von Gleissenthall
PLAS: The 18th Workshop on Programming Languages and Analysis for Security. CCS (2023)
Edward Chen, Jinhao Zhu, Alex Ozdemir, Riad S. Wahby, Fraser Brown, Wenting Zheng
Silph: A Framework for Scalable and Accurate Generation of Hybrid MPC Protocols. SP (2023)
Alex Ozdemir, Riad S. Wahby, Fraser Brown, Clark W. Barrett
Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs). IACR Cryptol. ePrint Arch. 2023 (2023)
Edward Chen, Jinhao Zhu, Alex Ozdemir, Riad S. Wahby, Fraser Brown, Wenting Zheng
Silph: A Framework for Scalable and Accurate Generation of Hybrid MPC Protocols. IACR Cryptol. ePrint Arch. 2023 (2023)
Evan Johnson, Evan Laufer, Zijie Zhao, Dan Gohman, Shravan Narayan, Stefan Savage, Deian Stefan, Fraser Brown
WaVe: a verifiably secure WebAssembly sandboxing runtime. SP (2023)
Alex Ozdemir, Fraser Brown, Riad S. Wahby
CirC: Compiler infrastructure for proof systems, software verification, and more. IEEE Symposium on Security and Privacy (2022)
John Renner, Alex Sanchez-Stern, Fraser Brown, Sorin Lerner, Deian Stefan
Scooter & Sidecar: a domain-specific approach to writing secure database migrations. PLDI (2021)
Evan Johnson, David Thien, Yousef Alhessi, Shravan Narayan, Fraser Brown, Sorin Lerner, Tyler McMullen, Stefan Savage, Deian Stefan
Доверя'й, но проверя'й: SFI safety for native-compiled Wasm. NDSS (2021)
Fraser Brown, Deian Stefan, Dawson R. Engler
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code. USENIX Security Symposium (2020)
Alex Ozdemir, Fraser Brown, Riad S. Wahby
Unifying Compilers for SNARKs, SMT, and More. IACR Cryptol. ePrint Arch. 2020 (2020)
Fraser Brown, John Renner, Andres Nötzli, Sorin Lerner, Hovav Shacham, Deian Stefan
Towards a verified range analysis for JavaScript JITs. PLDI (2020)
Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer, Fraser Brown, Riad S. Wahby, John Renner, Benjamin Grégoire, Gilles Barthe, Ranjit Jhala, Deian Stefan
FaCT: a DSL for timing-sensitive computation. PLDI (2019)
Marc Andrysco, Andres Nötzli, Fraser Brown, Ranjit Jhala, Deian Stefan
Towards Verified, Constant-time Floating Point Operations. CCS (2018)
Michael Smith, Craig Disselkoen, Shravan Narayan, Fraser Brown, Deian Stefan
Browser history re: visited. WOOT @ USENIX Security Symposium (2018)
Sunjay Cauligi, Gary Soeller, Fraser Brown, Brian Johannesmeyer, Yunlu Huang, Ranjit Jhala, Deian Stefan
FaCT: A Flexible, Constant-Time Programming Language. SecDev (2017)
Fraser Brown, Shravan Narayan, Riad S. Wahby, Dawson R. Engler, Ranjit Jhala, Deian Stefan
Finding and Preventing Bugs in JavaScript Bindings. IEEE Symposium on Security and Privacy (2017)
Fraser Brown, Andres Nötzli, Dawson R. Engler
How to Build Static Checking Systems Using Orders of Magnitude Less Code. ASPLOS (2016)
Andres Nötzli, Fraser Brown
LifeJacket: Verifying precise floating-point optimizations in LLVM. CoRR (2016)
Fraser Brown
Short Paper: Superhacks: Exploring and Preventing Vulnerabilities in Browser Binding Code. PLAS@CCS (2016)
Andres Nötzli, Fraser Brown
LifeJacket: verifying precise floating-point optimizations in LLVM. SOAP@PLDI (2016)