Benjamin Beurdouche

Publications

572

Citations

H-Index

2014

Active since

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, data security, and data privacy.

Top concepts

EngineeringCryptographyData PrivacyData SecurityComputer ScienceFormal VerificationInformation SecurityVerificationHardware SecurityFormal Methods

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 · 212 citations · Full text

Cryptographic Primitive, Engineering, Information Security +23

HACL*: A Verified Modern Cryptographic Library

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

Blockchain, Cryptographic Primitive, Engineering +13

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

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

Atop Evercrypt, Cryptographic Primitive, Engineering +19

A messy state of the union

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

Cryptographic Primitive, Engineering, Labor Relation +25

Formally Verified Cryptographic Web Applications in WebAssembly

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

Cryptographic Primitive, Engineering, New Toolchain +20

Rows per page

1–5 of 7