Benjamin Beurdouche

16 papers A* 6Journal 8Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
The Messaging Layer Security (MLS) Architecture.
RFC
Benjamin Beurdouche, Eric Rescorla, Emad Omara, Srinivas Inguva, Alan Duric
2023 J jnl
The Messaging Layer Security (MLS) Protocol.
RFC
Richard Barnes, Benjamin Beurdouche, Raphael Robert, Jon Millican, Emad Omara, Katriel Cohn-Gordon
2023 A* conf
TreeSync: Authenticated Group Management for Messaging Layer Security.
USENIX Security Symposium
Théophile Wallez, Jonathan Protzenko, Benjamin Beurdouche, Karthikeyan Bhargavan
2022 J jnl
TreeSync: Authenticated Group Management for Messaging Layer Security.
IACR Cryptol. ePrint Arch.
Théophile Wallez, Jonathan Protzenko, Benjamin Beurdouche, Karthikeyan Bhargavan
2020 A* conf
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider.
SP
Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Béguelin
2020 — —
Formal Verification for High Assurance Security Software in FStar: Application to communication protocols and cryptographic primitives. (Vérification formelle de logiciels de sécurité à haute assurance en FStar / Vérification formelle de logiciels de sécurité à haute assurance en FStar: Application aux protocoles de communication et aux primitives cryptographiques).
Benjamin Beurdouche
2020 A* conf
HACLxN: Verified Generic SIMD Crypto (for all your favourite platforms).
CCS
Marina Polubelova, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche, Aymeric Fromherz, Natalia Kulatova, Santiago Zanella-Béguelin
2020 J jnl
HACL×N: Verified Generic SIMD Crypto (for all your favorite platforms).
IACR Cryptol. ePrint Arch.
Marina Polubelova, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche, Aymeric Fromherz, Natalia Kulatova, Santiago Zanella-Béguelin
2019 J jnl
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider.
IACR Cryptol. ePrint Arch.
Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Béguelin
2019 A* conf
Formally Verified Cryptographic Web Applications in WebAssembly.
IEEE Symposium on Security and Privacy
Jonathan Protzenko, Benjamin Beurdouche, Denis Merigoux, Karthikeyan Bhargavan
2019 J jnl
Formally Verified Cryptographic Web Applications in WebAssembly.
IACR Cryptol. ePrint Arch.
Jonathan Protzenko, Benjamin Beurdouche, Denis Merigoux, Karthikeyan Bhargavan
2017 J jnl
A messy state of the union: taming the composite state machines of TLS.
Commun. ACM
Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Jean Karim Zinzindohoue
2017 A* conf
HACL*: A Verified Modern Cryptographic Library.
CCS
Jean Karim Zinzindohoué, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche
2017 J jnl
HACL*: A Verified Modern Cryptographic Library.
IACR Cryptol. ePrint Arch.
Jean Karim Zinzindohoué, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche
2015 A* conf
A Messy State of the Union: Taming the Composite State Machines of TLS.
IEEE Symposium on Security and Privacy
Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Jean Karim Zinzindohoue
2015 — conf
FLEXTLS: A Tool for Testing TLS Implementations.
WOOT
Benjamin Beurdouche, Antoine Delignat-Lavaud, Nadim Kobeissi, Alfredo Pironti, Karthikeyan Bhargavan