Statistics
Publications
16
Citations
676
H-Index
13
Active since
2003
Lennart Beringer is an author at Princeton University specializing in computer science, computing, and formal methods.
Publications per year
2003–2021
16
16
Gordon Stewart, Lennart Beringer, Santiago Cuéllar et al. · 2014 · 97 citations
Verified correctness and security of OpenSSL HMAC
Lennart Beringer, Adam Petcher, Katherine Q. Ye et al. · 2015 · 67 citations
David Aspinall, Lennart Beringer, Martin Hofmann et al. · Theoretical Computer Science · 2007 · 56 citations · Full text
Verified Correctness and Security of mbedTLS HMAC-DRBG
Katherine Q. Ye, Matthew Green, Naphat Sanguansin et al. · 2017 · 51 citations · Full text
1–5 of 16