| Name | Lennart Beringer |
|---|---|
| Role | research scientist and DeepSpec associate director |
| GitHub Login | lennartberinger |
| Photo |  |
| Joined DeepSpec | at the beginning |
| Left DeepSpec | |
| DeepSpec Projects | Cryptography
Verified Software Toolchain |
| Affiliations | Princeton University
|
| DeepSpec Publications | Abstraction and Subsumption in Modular Verification of C Programs
Verified Software Units Abstraction and Subsumption in Modular Verification of C Programs [journal version] Position paper: the science of deep specification VST-Floyd: A separation logic tool to verify correctness of C programs Verified correctness and security of mbedTLS HMAC-DRBG Compiler Correctness for Concurrency: from concurrent separation logic to shared-memory assembly language From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server Verifying an HTTP Key-Value Server with Interaction Trees and VST Verifying an HTTP Key-Value Server with Interaction Trees and VST |
| Visits |