| The transport layer security (TLS) protocol version 1.3 E Rescorla | 2602 | 2018 |
| 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 | 420 | 2015 |
| HACL*: A Verified Modern Cryptographic Library JK Zinzindohoué, K Bhargavan, J Protzenko, B Beurdouche ACM CCS 2017, 2017 | 335 | 2017 |
| The Messaging Layer Security (MLS) Protocol - RFC 9420 R Barnes, B Beurdouche, R Robert, J Millican, E Omara, K Cohn-Gordon Internet Engineering Task Force, 2023 | 161* | 2023 |
| Evercrypt: A fast, verified, cross-platform cryptographic provider J Protzenko, B Parno, A Fromherz, C Hawblitzel, M Polubelova, ... 2020 IEEE Symposium on Security and Privacy (SP), 634-653, 2019 | 126 | 2019 |
| 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 | 62 | 2019 |
| 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 | 42 | 2015 |
| The Messaging Layer Security (MLS) Architecture B Beurdouche, E Rescorla, E Omara, S Inguva, A Kwon, A Duric Internet Engineering Task Force, 2024 | 37* | 2024 |
| HACLxN: Verified Generic SIMD Crypto M Polubelova, K Bhargavan, J Protzenko, B Beurdouche, A Fromherz, ... | 30* | 2020 |
| Formal Models and Verified Protocols for Group Messaging: Attacks and Proofs for IETF MLS K Bhargavan, B Beurdouche, P Naldurg Inria Paris, 2020 | 19 | 2020 |
| TreeSync: Authenticated Group Management for Messaging Layer Security T Wallez, J Protzenko, B Beurdouche, K Bhargavan Usenix Security 2023, 2022 | 17 | 2022 |
| Verified Cryptography for Firefox 57 B Beurdouche, T Taubert, F Kiefer https://blog.mozilla.org/security/2017/09/13/verified-cryptography-firefox-57/, 2017 | 4* | 2017 |
| Ph.D. Dissertation - Formal Verification for High Assurance Security Software in FStar (Application to communication protocols and cryptographic primitives) B Beurdouche Université PSL, 2020 | 1* | 2020 |
| MLS Architecture: analysis of the security, privacy and functional requirements B Beurdouche | | 2020 |
| [FR] 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 |
| 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 |
| [FR] 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 |
| [FR] 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 |
Karthikeyan BhargavanINRIAVerified email at inria.fr
