| Formal verification of smart contracts: Short paper K Bhargavan, A Delignat-Lavaud, C Fournet, A Gollamudi, G Gonthier, ... Proceedings of the 2016 ACM workshop on programming languages and analysis …, 2016 | 838 | 2016 |
| Dependent types and multi-monadic effects in F N Swamy, C Hriţcu, C Keller, A Rastogi, A Delignat-Lavaud, S Forest, ... Proceedings of the 43rd annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016 | 498 | 2016 |
| A messy state of the union: Taming the composite state machines of TLS B Beurdouche, K Bhargavan, A Delignat-Lavaud, C Fournet, M Kohlweiss, ... Communications of the ACM 60 (2), 99-107, 2017 | 422 | 2017 |
| Triple handshakes and cookie cutters: Breaking and fixing authentication over TLS K Bhargavan, AD Lavaud, C Fournet, A Pironti, PY Strub 2014 IEEE Symposium on Security and Privacy, 98-113, 2014 | 293 | 2014 |
| Discovering concrete attacks on website authorization by formal analysis C Bansal, K Bhargavan, A Delignat-Lavaud, S Maffeis Journal of Computer Security 22 (4), 601-657, 2014 | 219 | 2014 |
| Verified low-level programming embedded in F J Protzenko, JK Zinzindohoué, A Rastogi, T Ramananandro, P Wang, ... Proceedings of the ACM on Programming Languages 1 (ICFP), 1-29, 2017 | 166 | 2017 |
| Implementing and proving the TLS 1.3 record layer A Delignat-Lavaud, C Fournet, M Kohlweiss, J Protzenko, A Rastogi, ... 2017 IEEE Symposium on Security and Privacy (SP), 463-482, 2017 | 148* | 2017 |
| 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), 983-1002, 2020 | 129 | 2020 |
| Everest: Towards a verified, drop-in replacement of HTTPS K Bhargavan, B Bond, A Delignat-Lavaud, C Fournet, C Hawblitzel, ... 2nd Summit on Advances in Programming Languages, 2017 | 98 | 2017 |
| Cinderella: Turning shabby X. 509 certificates into elegant anonymous credentials with the magic of verifiable computation A Delignat-Lavaud, C Fournet, M Kohlweiss, B Parno 2016 IEEE Symposium on Security and Privacy (SP), 235-254, 2016 | 97 | 2016 |
| {EverParse}: Verified secure {Zero-Copy} parsers for authenticated message formats T Ramananandro, A Delignat-Lavaud, C Fournet, N Swamy, T Chajed, ... 28th USENIX Security Symposium (USENIX Security 19), 1465-1482, 2019 | 85 | 2019 |
| Web PKI: Closing the Gap between Guidelines and Practices. A Delignat-Lavaud, M Abadi, A Birrell, I Mironov, T Wobber, Y Xie NDSS, 2014 | 60 | 2014 |
| Language-based defenses against untrusted browser origins K Bhargavan, A Delignat-Lavaud, S Maffeis 22nd USENIX Security Symposium (USENIX Security 13), 653-670, 2013 | 56 | 2013 |
| Keys to the cloud: Formal analysis and concrete attacks on encrypted web storage C Bansal, K Bhargavan, A Delignat-Lavaud, S Maffeis Principles of Security and Trust: Second International Conference, POST 2013 …, 2013 | 54 | 2013 |
| Toward confidential cloud computing M Russinovich, M Costa, C Fournet, D Chisnall, A Delignat-Lavaud, ... Communications of the ACM 64 (6), 54-61, 2021 | 49 | 2021 |
| State separation for code-based game-playing proofs C Brzuska, A Delignat-Lavaud, C Fournet, K Kohbrok, M Kohlweiss Advances in Cryptology–ASIACRYPT 2018: 24th International Conference on the …, 2018 | 47 | 2018 |
| {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 | 41 | 2015 |
| A formal treatment of accountable proxying over TLS K Bhargavan, I Boureanu, A Delignat-Lavaud, PA Fouque, C Onete 2018 IEEE Symposium on Security and Privacy (SP), 799-816, 2018 | 38 | 2018 |
| A security model and fully verified implementation for the IETF QUIC record layer A Delignat-Lavaud, C Fournet, B Parno, J Protzenko, T Ramananandro, ... 2021 IEEE Symposium on Security and Privacy (SP), 1162-1178, 2021 | 35 | 2021 |
| Transport Layer Security (TLS) session hash and extended master secret extension K Bhargavan, A Delignat-Lavaud, A Pironti, A Langley, M Ray | 31 | 2015 |
Cédric FournetMicrosoft ResearchVerified email at microsoft.com