Andres Erbsen
Google (United States)(US)Seattle University(US)
Publications by Year
Research Areas
Security and Verification in Computing, Formal Methods in Verification, Logic, programming, and type systems, Advanced Malware Detection Techniques, Cryptographic Implementations and Security
Most-Cited Works
- → Simple High-Level Code for Cryptographic Arithmetic - With Proofs, Without Compromises(2019)86 cited
- → Integration verification across software and hardware for a simple embedded system(2021)28 cited
- → Relational compilation for performance-critical applications: extensible proof-producing translation of functional models into low-level code(2022)23 cited
- → Simple High-Level Code For Cryptographic Arithmetic(2020)15 cited
- → CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives(2023)12 cited
- → Omnisemantics: Smooth Handling of Nondeterminism(2023)12 cited
- → Accelerating Verified-Compiler Development with a Verified Rewriting Engine(2022)6 cited
- → Foundational Integration Verification of a Cryptographic Server(2024)6 cited
- A Multipurpose Formal RISC-V Specification.(2021)
- → Flexible Instruction-Set Semantics via Abstract Monads (Experience Report)(2023)3 cited