Benjamin Beurdouche

According to our database, Benjamin Beurdouche authored at least 12 papers between 2015 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

The Messaging Layer Security (MLS) Architecture.

Benjamin Beurdouche, Eric Rescorla, Emad Omara, Srinivas Inguva, Alan Duric

RFC, April, 2025

2023

The Messaging Layer Security (MLS) Protocol.

Richard Barnes, Benjamin Beurdouche, Raphael Robert, Jon Millican, Emad Omara, Katriel Cohn-Gordon

RFC, July, 2023

TreeSync: Authenticated Group Management for Messaging Layer Security.

Théophile Wallez, Jonathan Protzenko, Benjamin Beurdouche, Karthikeyan Bhargavan

Proceedings of the 32nd USENIX Security Symposium, 2023

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

PhD thesis, 2020

HACL×N: Verified Generic SIMD Crypto (for all your favorite platforms).

Marina Polubelova, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche, Aymeric Fromherz, Natalia Kulatova, Santiago Zanella-Béguelin

IACR Cryptol. ePrint Arch., 2020

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

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

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

HACLxN: Verified Generic SIMD Crypto (for all your favourite platforms).

Marina Polubelova, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche, Aymeric Fromherz, Natalia Kulatova, Santiago Zanella-Béguelin

Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020

2019

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

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

IACR Cryptol. ePrint Arch., 2019

Formally Verified Cryptographic Web Applications in WebAssembly.

Jonathan Protzenko, Benjamin Beurdouche, Denis Merigoux, Karthikeyan Bhargavan

Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019

2017

HACL*: A Verified Modern Cryptographic Library.

Jean Karim Zinzindohoué, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2015

FLEXTLS: A Tool for Testing TLS Implementations.

Benjamin Beurdouche, Antoine Delignat-Lavaud, Nadim Kobeissi, Alfredo Pironti, Karthikeyan Bhargavan

Proceedings of the 9th USENIX Workshop on Offensive Technologies, 2015

A Messy State of the Union: Taming the Composite State Machines of TLS.

Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Jean Karim Zinzindohoue

Proceedings of the 2015 IEEE Symposium on Security and Privacy, 2015