Seguir
Fraser Brown
Fraser Brown
Stanford and CMU
Email confirmado em andrew.cmu.edu
Título
Citado por
Citado por
Ano
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
462019
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
452017
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
442017
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
392016
Browser history re: visited
M Smith, C Disselkoen, S Narayan, F Brown, D Stefan
12th {USENIX} Workshop on Offensive Technologies ({WOOT} 18), 2018
322018
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
262020
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
252018
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
232016
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
72020
Доверяй, но проверяй: 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
52021
Unifying compilers for snarks, smt
A Ozdemir, F Brown, SW Riad
and more. Cryptology ePrint Archive, Report 2020/1586, 2020. https://eprint …, 2020
52020
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
42021
SPAM: a Secure Package Manager
F Brown, A Mirian, A Jaiswal, A Notzli, D Stefan
22017
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
12016
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
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–19