Follow
Benjamin Beurdouche
Benjamin Beurdouche
Mozilla (prev. INRIA and ENS Paris)
Verified email at ens.fr
Title
Cited by
Cited by
Year
The transport layer security (TLS) protocol version 1.3
E Rescorla
22892018
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
4112015
HACL*: A Verified Modern Cryptographic Library
JK Zinzindohoué, K Bhargavan, J Protzenko, B Beurdouche
ACM CCS 2017, 2017
3052017
The Messaging Layer Security (MLS) Protocol - RFC 9420
R Barnes, B Beurdouche, R Robert, J Millican, E Omara, K Cohn-Gordon
Internet Engineering Task Force, 2023
140*2023
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
1222019
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
542019
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
402015
The Messaging Layer Security (MLS) Architecture
B Beurdouche, E Rescorla, E Omara, S Inguva, A Kwon, A Duric
Internet Engineering Task Force, 2024
32*2024
HACLxN: Verified Generic SIMD Crypto
M Polubelova, K Bhargavan, J Protzenko, B Beurdouche, A Fromherz, ...
23*2020
Formal Models and Verified Protocols for Group Messaging: Attacks and Proofs for IETF MLS
K Bhargavan, B Beurdouche, P Naldurg
Inria Paris, 2020
172020
TreeSync: Authenticated Group Management for Messaging Layer Security
T Wallez, J Protzenko, B Beurdouche, K Bhargavan
Usenix Security 2023, 2022
92022
Verified Cryptography for Firefox 57
B Beurdouche, T Taubert, F Kiefer
https://blog.mozilla.org/security/2017/09/13/verified-cryptography-firefox-57/, 2017
4*2017
Ph.D. Dissertation - Formal Verification for High Assurance Security Software in FStar (Application to communication protocols and cryptographic primitives)
B Beurdouche
Université PSL, 2020
1*2020
MLS Architecture: analysis of the security, privacy and functional requirements
B Beurdouche
2020
[FR] 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
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
[FR] 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
[FR] 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–19