Benjamin Beurdouche
Benjamin Beurdouche
INRIA and ENS Paris
Verified email at ens.fr
TitleCited byYear
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
2322015
HACL*: A Verified Modern Cryptographic Library
JK Zinzindohoué, K Bhargavan, J Protzenko, B Beurdouche
ACM CCS 2017, 2017
702017
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
242015
The Messaging Layer Security (MLS) Protocol
R Barnes, B Beurdouche, J Millican, E Omara, K Cohn-Gordon, R Robert
Internet Engineering Task Force, 2019
82019
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider
J Protzenko, B Parno, A Fromherz, C Hawblitzel, M Polubelova, ...
Cryptology ePrint Archive, Report 2019/757. https://eprint. iacr. org/2019/757, 2019
62019
The Messaging Layer Security (MLS) Architecture
E Omara, B Beurdouche, E Rescorla, S Inguva, A Kwon, A Duric
Internet Engineering Task Force, 2019
52019
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
42019
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–13