| FaCT: a DSL for timing-sensitive computation S Cauligi, G Soeller, B Johannesmeyer, F Brown, RS Wahby, J Renner, ... Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019 | 105 | 2019 |
| Finding and preventing bugs in javascript bindings F Brown, S Narayan, RS Wahby, D Engler, R Jhala, D Stefan 2017 IEEE Symposium on Security and Privacy (SP), 559-578, 2017 | 72 | 2017 |
| Fact: A flexible, constant-time programming language S Cauligi, G Soeller, F Brown, B Johannesmeyer, Y Huang, R Jhala, ... 2017 IEEE Cybersecurity Development (SecDev), 69-76, 2017 | 69 | 2017 |
| How to build static checking systems using orders of magnitude less code F Brown, A Nötzli, D Engler Proceedings of the Twenty-First International Conference on Architectural …, 2016 | 50 | 2016 |
| Sys: A {Static/Symbolic} Tool for Finding Good Bugs in Good (Browser) Code F Brown, D Stefan, D Engler 29th USENIX Security Symposium (USENIX Security 20), 199-216, 2020 | 49 | 2020 |
| Browser history {re: visited} M Smith, C Disselkoen, S Narayan, F Brown, D Stefan 12th USENIX Workshop on Offensive Technologies (WOOT 18), 2018 | 47 | 2018 |
| Towards verified, constant-time floating point operations M Andrysco, A Nötzli, F Brown, R Jhala, D Stefan Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018 | 45 | 2018 |
| CirC: Compiler infrastructure for proof systems, software verification, and more A Ozdemir, F Brown, RS Wahby 2022 IEEE Symposium on Security and Privacy (SP), 2248-2266, 2022 | 44 | 2022 |
| WaVe: a verifiably secure WebAssembly sandboxing runtime E Johnson, E Laufer, Z Zhao, D Gohman, S Narayan, S Savage, D Stefan, ... 2023 IEEE Symposium on Security and Privacy (SP), 2940-2955, 2023 | 32 | 2023 |
| LifeJacket: verifying precise floating-point optimizations in LLVM A Nötzli, F Brown Proceedings of the 5th ACM SIGPLAN International Workshop on State of the …, 2016 | 30 | 2016 |
| Towards a verified range analysis for JavaScript JITs F Brown, J Renner, A Nötzli, S Lerner, H Shacham, D Stefan Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 27 | 2020 |
| Доверяй, но проверяй: SFI safety for native-compiled Wasm E Johnson, D Thien, Y Alhessi, S Narayan, F Brown, S Lerner, ... Network and Distributed Systems Security (NDSS) Symposium, 2021 | 26 | 2021 |
| Silph: A framework for scalable and accurate generation of hybrid MPC protocols E Chen, J Zhu, A Ozdemir, RS Wahby, F Brown, W Zheng 2023 IEEE Symposium on Security and Privacy (SP), 848-863, 2023 | 16 | 2023 |
| Bounded Verification for Finite-Field-Blasting: In a Compiler for Zero Knowledge Proofs A Ozdemir, RS Wahby, F Brown, C Barrett International Conference on Computer Aided Verification, 154-175, 2023 | 13 | 2023 |
| Trust but verify: SFI safety for native-compiled Wasm E Johnson, D Thien, Y Alhessi, S Narayan, F Brown, S Lerner, ... Network and Distributed System Security Symposium (NDSS). Internet Society, 2021 | 13 | 2021 |
| Fact: A flexible, constant-time programming language. In 2017 IEEE Cybersecurity Development (SecDev) S Cauligi, G Soeller, F Brown, B Johannesmeyer, Y Huang, R Jhala, ... IEEE, 2017 | 12 | 2017 |
| Unifying compilers for SNARKs, SMT A Ozdemir, F Brown, RS Wahby and more. Cryptology ePrint Archive, Report 2020/1586, 2020 | 11 | 2020 |
| Lightweight, Modular Verification for WebAssembly-to-Native Instruction Selection A VanHattum, M Pardeshi, C Fallin, A Sampson, F Brown Proceedings of the 29th ACM International Conference on Architectural …, 2024 | 6 | 2024 |
| Unifying Compilers for SNARKs, SMT, and More. A Ozdemir, F Brown, RS Wahby IACR Cryptol. ePrint Arch. 2020, 1586, 2020 | 5 | 2020 |
| SPAM: A secure package manager F Brown, A Mirian, A Jaiswal, A Notzli, D Stefan Proc. of the USENIX HotSec 2017, 2017 | 4 | 2017 |
