Fraser Brown
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
7
Active years
2016–2026
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SP | Transient Architectural Execution: From Weird Gates to Weird Programs. | Ping-Lun Wang, Fraser Brown, Riccardo Paccagnella, Eyal Ronen, Riad S. Wahby, Yuval Yarom |
| 2025 | SP | CoBBL: Dynamic Constraint Generation for SNARKs. | Kunming Jiang, Fraser Brown, Riad S. Wahby |
| 2024 | ASPLOS | Lightweight, Modular Verification for WebAssembly-to-Native Instruction Selection. | Alexa VanHattum, Monica Pardeshi, Chris Fallin, Adrian Sampson, Fraser Brown |
| 2024 | SOSP | 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 |
| 2023 | CAV | Bounded Verification for Finite-Field-Blasting - In a Compiler for Zero Knowledge Proofs. | Alex Ozdemir, Riad S. Wahby, Fraser Brown, Clark W. Barrett |
| 2023 | CCS | PLAS: The 18th Workshop on Programming Languages and Analysis for Security. | Fraser Brown, Klaus von Gleissenthall |
| 2023 | SP | 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 |
| 2023 | SP | WaVe: a verifiably secure WebAssembly sandboxing runtime. | Evan Johnson, Evan Laufer, Zijie Zhao, Dan Gohman, Shravan Narayan, Stefan Savage, Deian Stefan, Fraser Brown |
| 2023 | SP | The ghost is the machine: Weird machines in transient execution. | Ping-Lun Wang, Fraser Brown, Riad S. Wahby |
| 2022 | SP | CirC: Compiler infrastructure for proof systems, software verification, and more. | Alex Ozdemir, Fraser Brown, Riad S. Wahby |
| 2021 | NDSS | Доверя'й, но проверя'й: SFI safety for native-compiled Wasm. | Evan Johnson, David Thien, Yousef Alhessi, Shravan Narayan, Fraser Brown, Sorin Lerner, Tyler McMullen, Stefan Savage, Deian Stefan |
| 2021 | PLDI | Scooter & Sidecar: a domain-specific approach to writing secure database migrations. | John Renner, Alex Sanchez-Stern, Fraser Brown, Sorin Lerner, Deian Stefan |
| 2020 | PLDI | Towards a verified range analysis for JavaScript JITs. | Fraser Brown, John Renner, Andres Ntzli, Sorin Lerner, Hovav Shacham, Deian Stefan |
| 2019 | PLDI | FaCT: a DSL for timing-sensitive computation. | Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer, Fraser Brown, Riad S. Wahby, John Renner, Benjamin Grgoire, Gilles Barthe, Ranjit Jhala, Deian Stefan |
| 2018 | CCS | Towards Verified, Constant-time Floating Point Operations. | Marc Andrysco, Andres Ntzli, Fraser Brown, Ranjit Jhala, Deian Stefan |
| 2017 | SP | Finding and Preventing Bugs in JavaScript Bindings. | Fraser Brown, Shravan Narayan, Riad S. Wahby, Dawson R. Engler, Ranjit Jhala, Deian Stefan |
| 2016 | ASPLOS | How to Build Static Checking Systems Using Orders of Magnitude Less Code. | Fraser Brown, Andres Ntzli, Dawson R. Engler |
| 2016 | CCS | Short Paper: Superhacks: Exploring and Preventing Vulnerabilities in Browser Binding Code. | Fraser Brown |
| 2016 | PLDI | LifeJacket: verifying precise floating-point optimizations in LLVM. | Andres Ntzli, Fraser Brown |