Benjamin Beurdouche
Benjamin Beurdouche
INRIA and ENS Paris
Verified email at ens.fr
Title
Cited by
Cited by
Year
A messy state of the union: Taming the composite state machines of TLS
B Beurdouche, K Bhargavan, A Delignat-Lavaud, C Fournet, M Kohlweiss, ...
2015 IEEE Symposium on Security and Privacy, 535-552, 2015
2562015
HACL*: A Verified Modern Cryptographic Library
JK Zinzindohoué, K Bhargavan, J Protzenko, B Beurdouche
ACM CCS 2017, 2017
962017
FlexTLS: A Tool for Testing TLS Implementations
B Beurdouche, A Delignat-Lavaud, N Kobeissi, A Pironti, K Bhargavan
9th USENIX Workshop on Offensive Technologies (WOOT 15), 2015
292015
The Messaging Layer Security (MLS) Protocol
R Barnes, B Beurdouche, J Millican, E Omara, K Cohn-Gordon, R Robert
Internet Engineering Task Force, 2019
142019
Evercrypt: A fast, verified, cross-platform cryptographic provider
J Protzenko, B Parno, A Fromherz, C Hawblitzel, M Polubelova, ...
2020 IEEE Symposium on Security and Privacy (SP), 634-653, 2019
112019
Formally Verified Cryptographic Web Applications in WebAssembly
J Protzenko, B Beurdouche, D Merigoux, K Bhargavan
2019 IEEE Symposium on Security and Privacy (SP), 1002-1020, 2019
82019
The Messaging Layer Security (MLS) Architecture
E Omara, B Beurdouche, E Rescorla, S Inguva, A Kwon, A Duric
Internet Engineering Task Force, 2019
72019
MLS Architecture: analysis of the security, privacy and functional requirements
B Beurdouche
2020
HACL× N: Verified Generic SIMD Crypto
M Polubelova, K Bhargavan, J Protzenko, B Beurdouche, A Fromherz, ...
2020
Formal Models and Verified Protocols for Group Messaging: Attacks and Proofs for IETF MLS
K Bhargavan, B Beurdouche, P Naldurg
Inria Paris, 2020
2020
HACL⋆, une bibliothèque cryptographique formellement vérifiée dans Firefox
B Beurdouche, JK Zinzindohoué
SSTIC - Symposium sur la sécurité des technologies de l'information et des …, 2018
2018
Verified Cryptography for Firefox 57
B Beurdouche, T Taubert, F Kiefer
https://blog.mozilla.org/security/2017/09/13/verified-cryptography-firefox-57/, 2017
2017
A messy state of the union: taming the composite state machines of TLS
K Bhargavan, B Beurdouche, A Delignat-Lavaud, C Fournet, M Kohlweiss, ...
Communications of the ACM 60 (2), 99-107, 2017
2017
Composants logiciels vérifiés en F* : Poly1305
JK Zinzindohoué, B Beurdouche
SSTIC - Symposium sur la sécurité des technologies de l'information et des …, 2016
2016
Towards a Provably Secure Implementation of TLS 1.3
B Beurdouche, K Bhargavan, A Delignat-Lavaud, S Ishtiaq, C Fournet, ...
TRON, 2016
2016
FlexTLS: des prototypes à l’exploitation de vulnérabilités dans TLS
B Beurdouche, JK Zinzindohoué
SSTIC - Symposium sur la sécurité des technologies de l'information et des …, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–16