Benjamin Beurdouche

According to our database1, Benjamin Beurdouche authored at least 10 papers between 2015 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
The Messaging Layer Security (MLS) Protocol.
RFC, July, 2023

2022
TreeSync: Authenticated Group Management for Messaging Layer Security.
IACR Cryptol. ePrint Arch., 2022

2020
HACL×N: Verified Generic SIMD Crypto (for all your favorite platforms).
IACR Cryptol. ePrint Arch., 2020


HACLxN: Verified Generic SIMD Crypto (for all your favourite platforms).
Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020

2019
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider.
IACR Cryptol. ePrint Arch., 2019

Formally Verified Cryptographic Web Applications in WebAssembly.
IACR Cryptol. ePrint Arch., 2019

2017
HACL*: A Verified Modern Cryptographic Library.
IACR Cryptol. ePrint Arch., 2017

A messy state of the union: taming the composite state machines of TLS.
Commun. ACM, 2017

2015
FLEXTLS: A Tool for Testing TLS Implementations.
Proceedings of the 9th USENIX Workshop on Offensive Technologies, 2015


  Loading...