Scholar
Andres Erbsen
Google Scholar ID: C0a9Sz0AAAAJ
MIT CSAIL
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
448
H-index
10
i10-index
10
Publications
19
Co-authors
14
list available
Contact
No contact links provided.
Publications
4 items
Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts
2026
Cited
0
Securing Cryptographic Software via Typed Assembly Language (Extended Version)
2025
Cited
0
Smooth, Integrated Proofs of Cryptographic Constant Time for Nondeterministic Programs and Compilers
2025
Cited
0
Accelerating Verified-Compiler Development with a Verified Rewriting Engine
International Conference on Interactive Theorem Proving · 2022
Cited
3
Resume (English only)
Co-authors
14 total
Adam Chlipala
MIT CSAIL
Jason Gross
Graduate, Massachusetts Institute of Technology
Samuel Gruetter
ETH Zurich
Dustin Jamner
Massachusetts Institute of Technology
Chuyue (Livia) Sun
Stanford University
Daniel Genkin
Georgia Tech
Yuval Yarom
Ruhr University Bochum
Co-author 8
