Benjamin Beurdouche
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
2015–2020
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | CCS | HACLxN: Verified Generic SIMD Crypto (for all your favourite platforms). | Marina Polubelova, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche, Aymeric Fromherz, Natalia Kulatova, Santiago Zanella-Bguelin |
| 2020 | SP | 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, Cdric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Bguelin |
| 2019 | SP | Formally Verified Cryptographic Web Applications in WebAssembly. | Jonathan Protzenko, Benjamin Beurdouche, Denis Merigoux, Karthikeyan Bhargavan |
| 2017 | CCS | HACL*: A Verified Modern Cryptographic Library. | Jean Karim Zinzindohou, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche |
| 2015 | SP | A Messy State of the Union: Taming the Composite State Machines of TLS. | Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cdric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Jean Karim Zinzindohoue |