Fraser Brown

According to our database, Fraser Brown authored at least 21 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Lightweight, Modular Verification for WebAssembly-to-Native Instruction Selection.

Alexa VanHattum, Monica Pardeshi, Chris Fallin, Adrian Sampson, Fraser Brown

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

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

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

The ghost is the machine: Weird machines in transient execution.

Ping-Lun Wang, Fraser Brown, Riad S. Wahby

Proceedings of the 2023 IEEE Security and Privacy Workshops (SPW), 2023

WaVe: a verifiably secure WebAssembly sandboxing runtime.

Evan Johnson, Evan Laufer, Zijie Zhao, Dan Gohman, Shravan Narayan, Stefan Savage, Deian Stefan, Fraser Brown

Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023

PLAS: The 18th Workshop on Programming Languages and Analysis for Security.

Fraser Brown, Klaus von Gleissenthall

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022

Eliminating bugs in real systems.

Fraser Brown

PhD thesis, 2022

CirC: Compiler infrastructure for proof systems, software verification, and more.

Alex Ozdemir, Fraser Brown, Riad S. Wahby

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

2021

Scooter & Sidecar: a domain-specific approach to writing secure database migrations.

John Renner, Alex Sanchez-Stern, Fraser Brown, Sorin Lerner, Deian Stefan

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Доверя'й, но проверя'й: SFI safety for native-compiled Wasm.

Evan Johnson, David Thien, Yousef Alhessi, Shravan Narayan, Fraser Brown, Sorin Lerner, Tyler McMullen, Stefan Savage, Deian Stefan

Proceedings of the 28th Annual Network and Distributed System Security Symposium, 2021

2020

Unifying Compilers for SNARKs, SMT, and More.

Alex Ozdemir, Fraser Brown, Riad S. Wahby

IACR Cryptol. ePrint Arch., 2020

Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code.

Fraser Brown, Deian Stefan, Dawson R. Engler

Proceedings of the 29th USENIX Security Symposium, 2020

Towards a verified range analysis for JavaScript JITs.

Fraser Brown, John Renner, Andres Nötzli, Sorin Lerner, Hovav Shacham, Deian Stefan

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

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

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018

Browser history re: visited.

Michael Smith, Craig Disselkoen, Shravan Narayan, Fraser Brown, Deian Stefan

Proceedings of the 12th USENIX Workshop on Offensive Technologies, 2018

Towards Verified, Constant-time Floating Point Operations.

Marc Andrysco, Andres Nötzli, Fraser Brown, Ranjit Jhala, Deian Stefan

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017

Finding and Preventing Bugs in JavaScript Bindings.

Fraser Brown, Shravan Narayan, Riad S. Wahby, Dawson R. Engler, Ranjit Jhala, Deian Stefan

Proceedings of the 2017 IEEE Symposium on Security and Privacy, 2017

FaCT: A Flexible, Constant-Time Programming Language.

Sunjay Cauligi, Gary Soeller, Fraser Brown, Brian Johannesmeyer, Yunlu Huang, Ranjit Jhala, Deian Stefan

Proceedings of the IEEE Cybersecurity Development, SecDev 2017, Cambridge, MA, USA, 2017

2016

LifeJacket: verifying precise floating-point optimizations in LLVM.

Andres Nötzli, Fraser Brown

Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, 2016

Short Paper: Superhacks: Exploring and Preventing Vulnerabilities in Browser Binding Code.

Fraser Brown

Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, 2016

How to Build Static Checking Systems Using Orders of Magnitude Less Code.

Fraser Brown, Andres Nötzli, Dawson R. Engler

Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016