Fraser Brown

34 papers A* 15Journal 11Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
Automatic, Expressive, and Scalable Fuzzing with Stitching.
CoRR
Harrison Green, Fraser Brown, Claire Le Goues
2026 J jnl
Orbit: Optimizing Rescale and Bootstrap Placement with Integer Linear Programming Techniques for Secure Inference.
IACR Cryptol. ePrint Arch.
Zikai Zhou, William Seo, Edward Chen, Alex Ozdemir, Fraser Brown, Wenting Zheng
2025 J jnl
Bounded verification for finite-field-blasting in a compiler for zero knowledge proofs.
Formal Methods Syst. Des.
Alex Ozdemir, Riad S. Wahby, Fraser Brown, Clark W. Barrett
2025 J jnl
Bridging Usability and Performance: A Tensor Compiler for Autovectorizing Homomorphic Encryption.
IACR Cryptol. ePrint Arch.
Edward Chen, Fraser Brown, Wenting Zheng
2025 A* conf
CoBBL: Dynamic Constraint Generation for SNARKs.
SP
Kunming Jiang, Fraser Brown, Riad S. Wahby
2025 J jnl
CoBBl: Dynamic constraint generation for SNARKs.
IACR Cryptol. ePrint Arch.
Kunming Jiang, Fraser Brown, Riad S. Wahby
2025 J jnl
FrameShift: Learning to Resize Fuzzer Inputs Without Breaking Them.
CoRR
Harrison Green, Claire Le Goues, Fraser Brown
2025 J jnl
Scaling Instruction-Selection Verification against Authoritative ISA Semantics.
Proc. ACM Program. Lang.
Michael McLoughlin, Ashley Sheng, Chris Fallin, Bryan Parno, Fraser Brown, Alexa VanHattum
2024 A* conf
Bending microarchitectural weird machines towards practicality.
USENIX Security Symposium
Ping-Lun Wang, Riccardo Paccagnella, Riad S. Wahby, Fraser Brown
2024 A* conf
Icarus: Trustworthy Just-In-Time Compilers with Symbolic Meta-Execution.
SOSP
Naomi Smith, Abhishek Sharma, John Renner, David Thien, Fraser Brown, Hovav Shacham, Ranjit Jhala, Deian Stefan
2024 — conf
Lightweight, Modular Verification for WebAssembly-to-Native Instruction Selection.
ASPLOS (1)
Alexa VanHattum, Monica Pardeshi, Chris Fallin, Adrian Sampson, Fraser Brown
2023 J jnl
Bounded Verification for Finite-Field-Blasting (In a Compiler for Zero Knowledge Proofs).
IACR Cryptol. ePrint Arch.
Alex Ozdemir, Riad S. Wahby, Fraser Brown, Clark W. Barrett
2023 — conf
Bounded Verification for Finite-Field-Blasting - In a Compiler for Zero Knowledge Proofs.
CAV (3)
Alex Ozdemir, Riad S. Wahby, Fraser Brown, Clark W. Barrett
2023 A* conf
PLAS: The 18th Workshop on Programming Languages and Analysis for Security.
CCS
Fraser Brown, Klaus von Gleissenthall
2023 A* conf
Silph: A Framework for Scalable and Accurate Generation of Hybrid MPC Protocols.
SP
Edward Chen, Jinhao Zhu, Alex Ozdemir, Riad S. Wahby, Fraser Brown, Wenting Zheng
2023 J jnl
Silph: A Framework for Scalable and Accurate Generation of Hybrid MPC Protocols.
IACR Cryptol. ePrint Arch.
Edward Chen, Jinhao Zhu, Alex Ozdemir, Riad S. Wahby, Fraser Brown, Wenting Zheng
2023 — conf
The ghost is the machine: Weird machines in transient execution.
SP (Workshops)
Ping-Lun Wang, Fraser Brown, Riad S. Wahby
2023 A* conf
WaVe: a verifiably secure WebAssembly sandboxing runtime.
SP
Evan Johnson, Evan Laufer, Zijie Zhao, Dan Gohman, Shravan Narayan, Stefan Savage, Deian Stefan, Fraser Brown
2022 A* conf
CirC: Compiler infrastructure for proof systems, software verification, and more.
SP
Alex Ozdemir, Fraser Brown, Riad S. Wahby
2022 — —
Eliminating bugs in real systems.
Fraser Brown
2021 A* conf
Scooter & Sidecar: a domain-specific approach to writing secure database migrations.
PLDI
John Renner, Alex Sanchez-Stern, Fraser Brown, Sorin Lerner, Deian Stefan
2021 A* conf
Доверя'й, но проверя'й: SFI safety for native-compiled Wasm.
NDSS
Evan Johnson, David Thien, Yousef Alhessi, Shravan Narayan, Fraser Brown, Sorin Lerner, Tyler McMullen, Stefan Savage, Deian Stefan
2020 A* conf
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code.
USENIX Security Symposium
Fraser Brown, Deian Stefan, Dawson R. Engler
2020 A* conf
Towards a verified range analysis for JavaScript JITs.
PLDI
Fraser Brown, John Renner, Andres Nötzli, Sorin Lerner, Hovav Shacham, Deian Stefan
2020 J jnl
Unifying Compilers for SNARKs, SMT, and More.
IACR Cryptol. ePrint Arch.
Alex Ozdemir, Fraser Brown, Riad S. Wahby
2019 A* conf
FaCT: a DSL for timing-sensitive computation.
PLDI
Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer, Fraser Brown, Riad S. Wahby, John Renner, Benjamin Grégoire, Gilles Barthe, Ranjit Jhala, Deian Stefan
2018 — conf
Browser history re: visited.
WOOT @ USENIX Security Symposium
Michael Smith, Craig Disselkoen, Shravan Narayan, Fraser Brown, Deian Stefan
2018 A* conf
Towards Verified, Constant-time Floating Point Operations.
CCS
Marc Andrysco, Andres Nötzli, Fraser Brown, Ranjit Jhala, Deian Stefan
2017 — conf
FaCT: A Flexible, Constant-Time Programming Language.
SecDev
Sunjay Cauligi, Gary Soeller, Fraser Brown, Brian Johannesmeyer, Yunlu Huang, Ranjit Jhala, Deian Stefan
2017 A* conf
Finding and Preventing Bugs in JavaScript Bindings.
IEEE Symposium on Security and Privacy
Fraser Brown, Shravan Narayan, Riad S. Wahby, Dawson R. Engler, Ranjit Jhala, Deian Stefan
2016 A* conf
How to Build Static Checking Systems Using Orders of Magnitude Less Code.
ASPLOS
Fraser Brown, Andres Nötzli, Dawson R. Engler
2016 J jnl
LifeJacket: Verifying precise floating-point optimizations in LLVM.
CoRR
Andres Nötzli, Fraser Brown
2016 — conf
LifeJacket: verifying precise floating-point optimizations in LLVM.
SOAP@PLDI
Andres Nötzli, Fraser Brown
2016 — conf
Short Paper: Superhacks: Exploring and Preventing Vulnerabilities in Browser Binding Code.
PLAS@CCS
Fraser Brown