Benjamin Beurdouche

Statistics

Publications

Citations

584

H-Index

Active since

2014

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Microsoft Research (United Kingdom)

State Key Laboratory of Cryptology

Microsoft (United States)

Carnegie Mellon University

Benjamin Beurdouche is an author at Institut national de recherche en sciences et technologies du numérique specializing in computer science, computing, and security protocol verification.

Publications per year

2014–2020

Publications

A Messy State of the Union: Taming the Composite State Machines of TLS

Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud et al. · 2015 · 216 citations · Full text

Computing, Computer Engineering, Computer Science +17

HACL*: A Verified Modern Cryptographic Library

Jean-Karim Zinzindohoué, Karthikeyan Bhargavan, Jonathan Protzenko et al. · 2017 · 200 citations · Full text

Computing, Computer Engineering, Computer Science +17

EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider

Jonathan Protzenko, Bryan Parno, Aymeric Fromherz et al. · 2020 · 75 citations · Full text

Computing, Computer Engineering, Computer Science +17

A messy state of the union

Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud et al. · Communications of the ACM · 2017 · 30 citations · Full text

Computing, Computer Science, Computer Systems +17

Formally Verified Cryptographic Web Applications in WebAssembly

Jonathan Protzenko, Benjamin Beurdouche, Denis Merigoux et al. · 2019 · 25 citations · Full text

Computing, Computer Engineering, Computer Science +15

1–5 of 7