Fraser Brown

FaCT: a DSL for timing-sensitive computation

Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer et al. · 2019 · 72 citations · Full text

Cryptographic Primitive, Engineering, Information Security +23

FaCT: A Flexible, Constant-Time Programming Language

Sunjay Cauligi, Gary Soeller, Fraser Brown et al. · 2017 · 46 citations

Engineering, Information Security, Compiler Technology +22

Finding and Preventing Bugs in JavaScript Bindings

Fraser Brown, Shravan Narayan, Riad S. Wahby et al. · 2017 · 39 citations

Engineering, Robustness Testing, Software Analysis +19

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

Alex Ozdemir, Fraser Brown, Riad S. Wahby · 2022 IEEE Symposium on Security and Privacy (SP) · 2022 · 32 citations

Towards Verified, Constant-time Floating Point Operations

Marc Andrysco, Andres Nötzli, Fraser Brown et al. · 2018 · 30 citations · Full text

Cryptographic Primitive, Engineering, Verification +21