How to Build Static Checking Systems Using Orders of Magnitude Less Code. - Fraser Brown; Andres Nötzli; Dawson R. Engler (ASPLOS, 2016)

Short Paper: Superhacks: Exploring and Preventing Vulnerabilities in Browser Binding Code. - Fraser Brown (PLAS@CCS, 2016)

LifeJacket: verifying precise floating-point optimizations in LLVM. - Andres Nötzli; Fraser Brown (SOAP@PLDI, 2016)

FaCT: A Flexible, Constant-Time Programming Language. - Sunjay Cauligi; Gary Soeller; Fraser Brown; Brian Johannesmeyer; Yunlu Huang; Ranjit Jhala; Deian Stefan (SecDev, 2017)

Finding and Preventing Bugs in JavaScript Bindings. - Fraser Brown; Shravan Narayan; Riad S. Wahby; Dawson R. Engler; Ranjit Jhala; Deian Stefan (IEEE Symposium on Security and Privacy, 2017)

Towards Verified, Constant-time Floating Point Operations. - Marc Andrysco; Andres Nötzli; Fraser Brown; Ranjit Jhala; Deian Stefan (CCS, 2018)

Browser history re: visited. - Michael Smith; Craig Disselkoen; Shravan Narayan; Fraser Brown; Deian Stefan (WOOT @ USENIX Security Symposium, 2018)

FaCT: a DSL for timing-sensitive computation. - Sunjay Cauligi; Gary Soeller; Brian Johannesmeyer; Fraser Brown; Riad S. Wahby; John Renner; Benjamin Grégoire; Gilles Barthe; Ranjit Jhala; Deian Stefan (PLDI, 2019)

Towards a verified range analysis for JavaScript JITs. - Fraser Brown; John Renner; Andres Nötzli; Sorin Lerner; Hovav Shacham; Deian Stefan (PLDI, 2020)

Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code. - Fraser Brown; Deian Stefan; Dawson R. Engler (USENIX Security Symposium, 2020)

Unifying Compilers for SNARKs, SMT, and More. - Alex Ozdemir; Fraser Brown; Riad S. Wahby (IACR Cryptol. ePrint Arch., 2020)

Доверя'й, но проверя'й: SFI safety for native-compiled Wasm. - Evan Johnson 001; David Thien; Yousef Alhessi; Shravan Narayan; Fraser Brown; Sorin Lerner; Tyler McMullen; Stefan Savage; Deian Stefan (NDSS, 2021)

Scooter & Sidecar: a domain-specific approach to writing secure database migrations. - John Renner; Alex Sanchez-Stern; Fraser Brown; Sorin Lerner; Deian Stefan (PLDI, 2021)

CirC: Compiler infrastructure for proof systems, software verification, and more. - Alex Ozdemir; Fraser Brown; Riad S. Wahby (SP, 2022)

Eliminating bugs in real systems. - Fraser Brown (2022)

PLAS: The 18th Workshop on Programming Languages and Analysis for Security. - Fraser Brown; Klaus von Gleissenthall (CCS, 2023)

WaVe: a verifiably secure WebAssembly sandboxing runtime. - Evan Johnson 001; Evan Laufer; Zijie Zhao; Dan Gohman; Shravan Narayan; Stefan Savage; Deian Stefan; Fraser Brown (SP, 2023)

The ghost is the machine: Weird machines in transient execution. - Ping-Lun Wang; Fraser Brown; Riad S. Wahby (SP (Workshops), 2023)

Silph: A Framework for Scalable and Accurate Generation of Hybrid MPC Protocols. - Edward Chen; Jinhao Zhu; Alex Ozdemir; Riad S. Wahby; Fraser Brown; Wenting Zheng (IACR Cryptol. ePrint Arch., 2023)

Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs). - Alex Ozdemir; Riad S. Wahby; Fraser Brown; Clark W. Barrett (IACR Cryptol. ePrint Arch., 2023)

Lightweight, Modular Verification for WebAssembly-to-Native Instruction Selection. - Alexa VanHattum; Monica Pardeshi; Chris Fallin; Adrian Sampson; Fraser Brown (ASPLOS (1), 2024)

Icarus: Trustworthy Just-In-Time Compilers with Symbolic Meta-Execution. - Naomi Smith; Abhishek Sharma; John Renner; David Thien; Fraser Brown; Hovav Shacham; Ranjit Jhala; Deian Stefan (SOSP, 2024)

Bending microarchitectural weird machines towards practicality. - Ping-Lun Wang; Riccardo Paccagnella; Riad S. Wahby; Fraser Brown (USENIX Security Symposium, 2024)

CoBBL: Dynamic Constraint Generation for SNARKs. - Kunming Jiang; Fraser Brown; Riad S. Wahby (SP, 2025)

Bridging Usability and Performance: A Tensor Compiler for Autovectorizing Homomorphic Encryption. - Edward Chen; Fraser Brown; Wenting Zheng (IACR Cryptol. ePrint Arch., 2025)

FrameShift: Learning to Resize Fuzzer Inputs Without Breaking Them. - Harrison Green; Claire Le Goues; Fraser Brown (CoRR, 2025)