Concepedia

Andres Erbsen

AE

6

Publications

175

Citations

6

H-Index

2019

Active since

Affiliations

Massachusetts Institute of Technology(Current)

Andres Erbsen is an author at Massachusetts Institute of Technology specializing in formal methods, computer science, and formal verification.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationHardware SecurityComputer EngineeringFormal Specification

Publications per year

2019–2023

6

Publications

6

Simple High-Level Code for Cryptographic Arithmetic - With Proofs, Without Compromises

Andres Erbsen, Jade Philipoom, Jason Gross et al. · 2019 · 86 citations · Full text

Cryptographic Primitive, Engineering, Verification +21

Integration verification across software and hardware for a simple embedded system

Andres Erbsen, Samuel Gruetter, Joonwon Choi et al. · 2021 · 28 citations · Full text

Engineering, Hardware Verification Language, Hardware-software Integration +26

Relational compilation for performance-critical applications: extensible proof-producing translation of functional models into low-level code

Clément Pit-Claudel, Jade Philipoom, Dustin Jamner et al. · 2022 · 23 citations · Full text

Functional Models, Engineering, Verification +24

Simple High-Level Code For Cryptographic Arithmetic

Andres Erbsen, Jade Philipoom, Jason Gross et al. · ACM SIGOPS Operating Systems Review · 2020 · 15 citations

CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives

Joel Kuepper, Andres Erbsen, Jason Gross et al. · Proceedings of the ACM on Programming Languages · 2023 · 12 citations · Full text

Rows per page

1–5 of 6