Antoine Delignat-Lavaud
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
17
Venues
9
Active years
2014–2023
Best venue rank
A*
Where they publish
Papers
17 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | CPP | ASN1*: Provably Correct, Non-malleable Parsing for ASN.1 DER. | Haobin Ni, Antoine Delignat-Lavaud, Cdric Fournet, Tahina Ramananandro, Nikhil Swamy |
| 2022 | ASIACRYPT | Key-Schedule Security for the TLS 1.3 Standard. | Chris Brzuska, Antoine Delignat-Lavaud, Christoph Egger, Cdric Fournet, Konrad Kohbrok, Markulf Kohlweiss |
| 2022 | NSDI | IA-CCF: Individual Accountability for Permissioned Ledgers. | Alex Shamis, Peter R. Pietzuch, Burcu Canakci, Miguel Castro, Cdric Fournet, Edward Ashton, Amaury Chamayou, Sylvan Clebsch, Antoine Delignat-Lavaud, Matthew Kerner, Julien Maffre, Olga Vrousgou, Christoph M. Wintersteiger, Manuel Costa, Mark Russinovich |
| 2021 | SP | A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer. | Antoine Delignat-Lavaud, Cdric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou |
| 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 |
| 2018 | ASIACRYPT | State Separation for Code-Based Game-Playing Proofs. | Chris Brzuska, Antoine Delignat-Lavaud, Cdric Fournet, Konrad Kohbrok, Markulf Kohlweiss |
| 2018 | SP | A Formal Treatment of Accountable Proxying Over TLS. | Karthikeyan Bhargavan, Ioana Boureanu, Antoine Delignat-Lavaud, Pierre-Alain Fouque, Cristina Onete |
| 2017 | FC | Formal Modeling and Verification for Domain Validation and ACME. | Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Nadim Kobeissi |
| 2017 | SP | Implementing and Proving the TLS 1.3 Record Layer. | Antoine Delignat-Lavaud, Cdric Fournet, Markulf Kohlweiss, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Bguelin, Karthikeyan Bhargavan, Jianyang Pan, Jean Karim Zinzindohoue |
| 2016 | CCS | Formal Verification of Smart Contracts: Short Paper. | Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cdric Fournet, Anitha Gollamudi, Georges Gonthier, Nadim Kobeissi, Natalia Kulatova, Aseem Rastogi, Thomas Sibut-Pinote, Nikhil Swamy, Santiago Zanella-Bguelin |
| 2016 | POPL | Dependent types and multi-monadic effects in F. | Nikhil Swamy, Catalin Hritcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cdric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean Karim Zinzindohoue, Santiago Zanella-Bguelin |
| 2016 | SP | Cinderella: Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation. | Antoine Delignat-Lavaud, Cdric Fournet, Markulf Kohlweiss, Bryan Parno |
| 2015 | NDSS | Verified Contributive Channel Bindings for Compound Authentication. | Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Alfredo Pironti |
| 2015 | WWW | Network-based Origin Confusion Attacks against HTTPS Virtual Hosting. | Antoine Delignat-Lavaud, Karthikeyan Bhargavan |
| 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 |
| 2014 | NDSS | Web PKI: Closing the Gap between Guidelines and Practices. | Antoine Delignat-Lavaud, Martn Abadi, Andrew Birrell, Ilya Mironov, Ted Wobber, Yinglian Xie |
| 2014 | SP | Triple Handshakes and Cookie Cutters: Breaking and Fixing Authentication over TLS. | Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cdric Fournet, Alfredo Pironti, Pierre-Yves Strub |