| 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 | 46 | 2019 |
| 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 | 45 | 2017 |
| 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 | 44 | 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 | 39 | 2016 |
| Browser history re: visited M Smith, C Disselkoen, S Narayan, F Brown, D Stefan 12th {USENIX} Workshop on Offensive Technologies ({WOOT} 18), 2018 | 32 | 2018 |
| 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 | 26 | 2020 |
| 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 | 25 | 2018 |
| 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 | 23 | 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 | 7 | 2020 |
| Доверяй, но проверяй: 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 | 5 | 2021 |
| Unifying compilers for snarks, smt A Ozdemir, F Brown, SW Riad and more. Cryptology ePrint Archive, Report 2020/1586, 2020. https://eprint …, 2020 | 5 | 2020 |
| Trust, but verify: SFI safety for native-compiled Wasm E Johnson, D Thien, Y Alhessi, S Narayan, F Brown, S Lerner, ... NDSS. Internet Society, 2021 | 4 | 2021 |
| SPAM: a Secure Package Manager F Brown, A Mirian, A Jaiswal, A Notzli, D Stefan | 2 | 2017 |
| Short paper: Superhacks: Exploring and preventing vulnerabilities in browser binding code F Brown Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis …, 2016 | 1 | 2016 |
| CirC: Compiler infrastructure for proof systems, software verification, and more A Ozdemir, F Brown, R Wahby 2022 IEEE Symposium on Security and Privacy (SP), 1522-1522, 2022 | | 2022 |
| Scooter & Sidecar: a domain-specific approach to writing secure database migrations J Renner, A Sanchez-Stern, F Brown, S Lerner, D Stefan Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | | 2021 |
| Unifying Compilers for SNARKs, SMT, and More A Ozdemir, F Brown, RS Wahby Cryptology ePrint Archive, 2020 | | 2020 |
| Journal: Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security, 2016 F Brown | | |
| Short Paper: Superhacks F Brown, D Stefan | | |
