Antoine Delignat-Lavaud

Principal Researcher

출판물

자료 보기:

- ShieldFS: Trustworthy Filesystems for Confidential Computing
  
  Dimitra Giantsidi, Antoine Delignat-Lavaud, Cédric Fournet, Jinnan Guo, Heidi Howard, Tianjiao Huang, Kapil Vaswani, Stavros Volos
  
  48th IEEE Symposium on Security and Privacy | May 2027
  
  Preprint
- Scaling Verification of Cryptographic Software with Aeneas, Rust, and Lean
  
  Ho Son, Cédric Fournet, Jonathan Protzenko, Michael Naehrig, Joshua Clune, Patrick Longa, G. Boisseau, Fernando Leal Sánchez, Aymeric Fromherz, Antoine Delignat-Lavaud
  
  September 2026
  
  arXiv | September 2026
  
  Publication
- An Architecture for Trustworthy and Transparent Digital Supply Chains
  
  H. Birkholz, Antoine Delignat-Lavaud, Cédric Fournet, Yash Deshpande, S. Lasker
  
  RFC Editor | June 2026
  
  Publication
- CBOR Object Signing and Encryption (COSE) Receipts
  
  O. Steele, H. Birkholz, Antoine Delignat-Lavaud, Cédric Fournet
  
  RFC Editor | June 2026
  
  Publication
- Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software
  
  D. Ahman, Karthik Bhargavan, Barry Bond, Jay Bosamiya, Chris Brzuska, Antoine Delignat-Lavaud, Cédric Fournet, Aymeric Fromherz, Sydney Gibson, Chris Hawblitzel, Cătălin Hrițcu, Markulf Kohlweiss, Guido Martínez, Haobin Ni, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Exequiel Rivas, Nikhil Swamy, Santiago Zanella-Béguelin
  
  PLDI 2026 | April 2026
  
  DOI 프로젝트
- Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability
  
  Heidi Howard, Fritz Alder, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Markus Kuppe, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger
  
  Proceedings of the VLDB Endowment | October 2023, 제 17 권(2)
  
  Nominee for Best Paper Award
  
  Publication Preprint Author's Version 프로젝트
- ASN1*: Provably Correct Non-Malleable Parsing for ASN.1 DER
  
  Haobin Ni, Antoine Delignat-Lavaud, Cédric Fournet, Tahina Ramananandro, Nikhil Swamy
  
  Certified Programs and Proofs | January 2023
  
  Publication Author's Version 프로젝트
- IA-CCF: Individual Accountability for Permissioned Ledgers
  
  Alex Shamis, Peter Pietzuch, Burcu Canakci, Miguel Castro, Cédric Fournet, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Antoine Delignat-Lavaud, Matthew Kerner, Julien Maffre, Olga Vrousgou, Christoph M. Wintersteiger, Manuel Costa, Mark Russinovich
  
  19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22) | April 2022
  
  Publication 프로젝트
- A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer
  
  Antoine Delignat-Lavaud, Cédric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou
  
  IEEE Symposium on Security and Privacy | May 2021
  
  Publication 프로젝트
- Toward Confidential Cloud Computing
  
  Mark Russinovich, Manuel Costa, Cédric Fournet, David Chisnall, Antoine Delignat-Lavaud, Sylvan Clebsch, Kapil Vaswani, Vikas Bhatia
  
  January 2021
  
  acmqueue magazine | January 2021
  
  Publication
- EverCrypt: A Fast, Veriﬁed, Cross-Platform Cryptographic Provider
  
  Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Béguelin
  
  IEEE Symposium on Security and Privacy | May 2020
  
  Publication 동영상 액세스 Github 프로젝트
- EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats
  
  Tahina Ramananandro, Antoine Delignat-Lavaud, Cédric Fournet, Nikhil Swamy, Tej Chajed, Nadim Kobeissi, Jonathan Protzenko
  
  USENIX Security | August 2019
  
  Author's Version Github 프로젝트
- State Separation for Code-Based Game-Playing Proofs
  
  Chris Brzuska, Antoine Delignat-Lavaud, Cédric Fournet, Konrad Kohbrok, Markulf Kohlweiss
  
  Asiacrypt | December 2018
  
  PDF
- Implementing and Proving the TLS 1.3 Record Layer
  
  Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Béguelin, Karthikeyan Bhargavan , Jianyang Pan , Jean Karim Zinzindohoue
  
  SP '17 38th IEEE Symposium on Security and Privacy | May 2017
  
  PDF 출판 프로젝트
- Everest: Towards a Verified, Drop-In Replacement of HTTPS
  
  Karthikeyan Bhargavan, Barry Bond, Antoine Delignat-Lavaud, Cédric Fournet, Chris Hawblitzel, Catalin Hritcu, Samin Ishtiaq, Markulf Kohlweiss, Rustan Leino, Jacob R Lorch, Kenji Maillard, Jinyang Pang, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Ashay Rane, Aseem Rastogi, Nikhil Swamy, Laure Thompson, Peng Wang, Santiago Zanella-Béguelin, Jean-Karim Zinzindohoué
  
  SNAPL 2017 - 2nd Summit on Advances in Programming Languages | May 2017
  
  PDF Publication 출판 프로젝트
- Verified Low-Level Programming Embedded in F*
  
  Jonathan Protzenko, Jean Karim Zinzindohoue, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella-Béguelin, Antoine Delignat-Lavaud, Cătălin Hriţcu, Karthikeyan Bhargavan, Cédric Fournet, Nikhil Swamy
  
  22nd International Conference on Functional Programming (ICFP 2017) | May 2017
  
  Publication Publication Publication Github 액세스 프로젝트 프로젝트
- Formal Verification of Smart Contracts: Short Paper
  
  Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Anitha Gollamudi, Georges Gonthier, Nadim Kobeissi, Natalia Kulatova, Aseem Rastogi, Thomas Sibut-Pinote, Nikhil Swamy, Santiago Zanella-Béguelin
  
  PLAS '16 Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security | October 2016
  
  ISBN: 978-1-4503-4574-3
  
  PDF Publication 출판
- Towards a Provably Secure Implementation of TLS 1.3
  
  Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Jonathan Protzenko, Nikhil Swamy, Santiago Zanella-Béguelin
  
  TRON Workshop | July 2016
  
  PDF 프로젝트
- Cinderella: Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation
  
  Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Bryan Parno
  
  Proceedings of the IEEE Symposium on Security and Privacy | May 2016
  
  PDF 프로젝트
- Dependent Types and Multi-Monadic Effects in F*
  
  Nikhil Swamy, Cătălin Hriţcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cédric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean-Karim Zinzindohoue, Santiago Zanella-Béguelin
  
  POPL '16 Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2016
  
  ISBN: 978-1-4503-3549-2
  
  PDF Publication 출판
- A Messy State of the Union: Taming the Composite State Machines of TLS
  
  Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Jean Karim Zinzindohoue
  
  2015 IEEE Symposium on Security and Privacy | May 2015
  
  Distinguished Paper
  
  PDF 출판 출판
- Discovering concrete attacks on website authorization by formal analysis
  
  Chetan Bansal, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis
  
  Journal of Computer Security | July 2014, 제 22 권: pp. 601-657
  
  PDF 출판
- Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage
  
  Chetan Bansal, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis
  
  2nd Conference on Principles of Security and Trust (POST 2013) | January 2013
  
  PDF

- ShieldFS: Trustworthy Filesystems for Confidential Computing
  
  Dimitra Giantsidi, Antoine Delignat-Lavaud, Cédric Fournet, Jinnan Guo, Heidi Howard, Tianjiao Huang, Kapil Vaswani, Stavros Volos
  
  48th IEEE Symposium on Security and Privacy | May 2027
  
  Preprint
- Scaling Verification of Cryptographic Software with Aeneas, Rust, and Lean
  
  Ho Son, Cédric Fournet, Jonathan Protzenko, Michael Naehrig, Joshua Clune, Patrick Longa, G. Boisseau, Fernando Leal Sánchez, Aymeric Fromherz, Antoine Delignat-Lavaud
  
  September 2026
  
  arXiv | September 2026
  
  Publication
- CBOR Object Signing and Encryption (COSE) Receipts
  
  O. Steele, H. Birkholz, Antoine Delignat-Lavaud, Cédric Fournet
  
  RFC Editor | June 2026
  
  Publication
- An Architecture for Trustworthy and Transparent Digital Supply Chains
  
  H. Birkholz, Antoine Delignat-Lavaud, Cédric Fournet, Yash Deshpande, S. Lasker
  
  RFC Editor | June 2026
  
  Publication
- Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software
  
  D. Ahman, Karthik Bhargavan, Barry Bond, Jay Bosamiya, Chris Brzuska, Antoine Delignat-Lavaud, Cédric Fournet, Aymeric Fromherz, Sydney Gibson, Chris Hawblitzel, Cătălin Hrițcu, Markulf Kohlweiss, Guido Martínez, Haobin Ni, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Exequiel Rivas, Nikhil Swamy, Santiago Zanella-Béguelin
  
  PLDI 2026 | April 2026
  
  DOI 프로젝트
- Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability
  
  Heidi Howard, Fritz Alder, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Markus Kuppe, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger
  
  Proceedings of the VLDB Endowment | October 2023, 제 17 권(2)
  
  Nominee for Best Paper Award
  
  Publication Preprint Author's Version 프로젝트
- ASN1*: Provably Correct Non-Malleable Parsing for ASN.1 DER
  
  Haobin Ni, Antoine Delignat-Lavaud, Cédric Fournet, Tahina Ramananandro, Nikhil Swamy
  
  Certified Programs and Proofs | January 2023
  
  Publication Author's Version 프로젝트
- IA-CCF: Individual Accountability for Permissioned Ledgers
  
  Alex Shamis, Peter Pietzuch, Burcu Canakci, Miguel Castro, Cédric Fournet, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Antoine Delignat-Lavaud, Matthew Kerner, Julien Maffre, Olga Vrousgou, Christoph M. Wintersteiger, Manuel Costa, Mark Russinovich
  
  19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22) | April 2022
  
  Publication 프로젝트
- A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer
  
  Antoine Delignat-Lavaud, Cédric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou
  
  IEEE Symposium on Security and Privacy | May 2021
  
  Publication 프로젝트
- Toward Confidential Cloud Computing
  
  Mark Russinovich, Manuel Costa, Cédric Fournet, David Chisnall, Antoine Delignat-Lavaud, Sylvan Clebsch, Kapil Vaswani, Vikas Bhatia
  
  January 2021
  
  acmqueue magazine | January 2021
  
  Publication
- EverCrypt: A Fast, Veriﬁed, Cross-Platform Cryptographic Provider
  
  Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Béguelin
  
  IEEE Symposium on Security and Privacy | May 2020
  
  Publication 동영상 액세스 Github 프로젝트
- EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats
  
  Tahina Ramananandro, Antoine Delignat-Lavaud, Cédric Fournet, Nikhil Swamy, Tej Chajed, Nadim Kobeissi, Jonathan Protzenko
  
  USENIX Security | August 2019
  
  Author's Version Github 프로젝트
- State Separation for Code-Based Game-Playing Proofs
  
  Chris Brzuska, Antoine Delignat-Lavaud, Cédric Fournet, Konrad Kohbrok, Markulf Kohlweiss
  
  Asiacrypt | December 2018
  
  PDF
- Implementing and Proving the TLS 1.3 Record Layer
  
  Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Béguelin, Karthikeyan Bhargavan , Jianyang Pan , Jean Karim Zinzindohoue
  
  SP '17 38th IEEE Symposium on Security and Privacy | May 2017
  
  PDF 출판 프로젝트
- Everest: Towards a Verified, Drop-In Replacement of HTTPS
  
  Karthikeyan Bhargavan, Barry Bond, Antoine Delignat-Lavaud, Cédric Fournet, Chris Hawblitzel, Catalin Hritcu, Samin Ishtiaq, Markulf Kohlweiss, Rustan Leino, Jacob R Lorch, Kenji Maillard, Jinyang Pang, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Ashay Rane, Aseem Rastogi, Nikhil Swamy, Laure Thompson, Peng Wang, Santiago Zanella-Béguelin, Jean-Karim Zinzindohoué
  
  SNAPL 2017 - 2nd Summit on Advances in Programming Languages | May 2017
  
  PDF Publication 출판 프로젝트
- Verified Low-Level Programming Embedded in F*
  
  Jonathan Protzenko, Jean Karim Zinzindohoue, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella-Béguelin, Antoine Delignat-Lavaud, Cătălin Hriţcu, Karthikeyan Bhargavan, Cédric Fournet, Nikhil Swamy
  
  22nd International Conference on Functional Programming (ICFP 2017) | May 2017
  
  Publication Publication Publication Github 액세스 프로젝트 프로젝트
- Cinderella: Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation
  
  Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Bryan Parno
  
  Proceedings of the IEEE Symposium on Security and Privacy | May 2016
  
  PDF 프로젝트
- A Messy State of the Union: Taming the Composite State Machines of TLS
  
  Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Jean Karim Zinzindohoue
  
  2015 IEEE Symposium on Security and Privacy | May 2015
  
  Distinguished Paper
  
  PDF 출판 출판
- Discovering concrete attacks on website authorization by formal analysis
  
  Chetan Bansal, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis
  
  Journal of Computer Security | July 2014, 제 22 권: pp. 601-657
  
  PDF 출판
- Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage
  
  Chetan Bansal, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis
  
  2nd Conference on Principles of Security and Trust (POST 2013) | January 2013
  
  PDF
- ShieldFS: Trustworthy Filesystems for Confidential Computing
  
  Dimitra Giantsidi, Antoine Delignat-Lavaud, Cédric Fournet, Jinnan Guo, Heidi Howard, Tianjiao Huang, Kapil Vaswani, Stavros Volos
  
  48th IEEE Symposium on Security and Privacy | May 2027
  
  Preprint
- Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability
  
  Heidi Howard, Fritz Alder, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Markus Kuppe, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger
  
  Proceedings of the VLDB Endowment | October 2023, 제 17 권(2)
  
  Nominee for Best Paper Award
  
  Publication Preprint Author's Version 프로젝트
- EverCrypt: A Fast, Veriﬁed, Cross-Platform Cryptographic Provider
  
  Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Béguelin
  
  IEEE Symposium on Security and Privacy | May 2020
  
  Publication 동영상 액세스 Github 프로젝트
- Scaling Verification of Cryptographic Software with Aeneas, Rust, and Lean
  
  Ho Son, Cédric Fournet, Jonathan Protzenko, Michael Naehrig, Joshua Clune, Patrick Longa, G. Boisseau, Fernando Leal Sánchez, Aymeric Fromherz, Antoine Delignat-Lavaud
  
  September 2026
  
  arXiv | September 2026
  
  Publication
- Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software
  
  D. Ahman, Karthik Bhargavan, Barry Bond, Jay Bosamiya, Chris Brzuska, Antoine Delignat-Lavaud, Cédric Fournet, Aymeric Fromherz, Sydney Gibson, Chris Hawblitzel, Cătălin Hrițcu, Markulf Kohlweiss, Guido Martínez, Haobin Ni, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Exequiel Rivas, Nikhil Swamy, Santiago Zanella-Béguelin
  
  PLDI 2026 | April 2026
  
  DOI 프로젝트
- ASN1*: Provably Correct Non-Malleable Parsing for ASN.1 DER
  
  Haobin Ni, Antoine Delignat-Lavaud, Cédric Fournet, Tahina Ramananandro, Nikhil Swamy
  
  Certified Programs and Proofs | January 2023
  
  Publication Author's Version 프로젝트
- EverCrypt: A Fast, Veriﬁed, Cross-Platform Cryptographic Provider
  
  Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Béguelin
  
  IEEE Symposium on Security and Privacy | May 2020
  
  Publication 동영상 액세스 Github 프로젝트
- EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats
  
  Tahina Ramananandro, Antoine Delignat-Lavaud, Cédric Fournet, Nikhil Swamy, Tej Chajed, Nadim Kobeissi, Jonathan Protzenko
  
  USENIX Security | August 2019
  
  Author's Version Github 프로젝트
- Implementing and Proving the TLS 1.3 Record Layer
  
  Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Béguelin, Karthikeyan Bhargavan , Jianyang Pan , Jean Karim Zinzindohoue
  
  SP '17 38th IEEE Symposium on Security and Privacy | May 2017
  
  PDF 출판 프로젝트
- Everest: Towards a Verified, Drop-In Replacement of HTTPS
  
  Karthikeyan Bhargavan, Barry Bond, Antoine Delignat-Lavaud, Cédric Fournet, Chris Hawblitzel, Catalin Hritcu, Samin Ishtiaq, Markulf Kohlweiss, Rustan Leino, Jacob R Lorch, Kenji Maillard, Jinyang Pang, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Ashay Rane, Aseem Rastogi, Nikhil Swamy, Laure Thompson, Peng Wang, Santiago Zanella-Béguelin, Jean-Karim Zinzindohoué
  
  SNAPL 2017 - 2nd Summit on Advances in Programming Languages | May 2017
  
  PDF Publication 출판 프로젝트
- Verified Low-Level Programming Embedded in F*
  
  Jonathan Protzenko, Jean Karim Zinzindohoue, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella-Béguelin, Antoine Delignat-Lavaud, Cătălin Hriţcu, Karthikeyan Bhargavan, Cédric Fournet, Nikhil Swamy
  
  22nd International Conference on Functional Programming (ICFP 2017) | May 2017
  
  Publication Publication Publication Github 액세스 프로젝트 프로젝트
- Formal Verification of Smart Contracts: Short Paper
  
  Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Anitha Gollamudi, Georges Gonthier, Nadim Kobeissi, Natalia Kulatova, Aseem Rastogi, Thomas Sibut-Pinote, Nikhil Swamy, Santiago Zanella-Béguelin
  
  PLAS '16 Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security | October 2016
  
  ISBN: 978-1-4503-4574-3
  
  PDF Publication 출판
- Towards a Provably Secure Implementation of TLS 1.3
  
  Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Jonathan Protzenko, Nikhil Swamy, Santiago Zanella-Béguelin
  
  TRON Workshop | July 2016
  
  PDF 프로젝트
- Dependent Types and Multi-Monadic Effects in F*
  
  Nikhil Swamy, Cătălin Hriţcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cédric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean-Karim Zinzindohoue, Santiago Zanella-Béguelin
  
  POPL '16 Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2016
  
  ISBN: 978-1-4503-3549-2
  
  PDF Publication 출판
- Toward Confidential Cloud Computing
  
  Mark Russinovich, Manuel Costa, Cédric Fournet, David Chisnall, Antoine Delignat-Lavaud, Sylvan Clebsch, Kapil Vaswani, Vikas Bhatia
  
  January 2021
  
  acmqueue magazine | January 2021
  
  Publication

- CBOR Object Signing and Encryption (COSE) Receipts
  
  O. Steele, H. Birkholz, Antoine Delignat-Lavaud, Cédric Fournet
  
  RFC Editor | June 2026
  
  Publication
- An Architecture for Trustworthy and Transparent Digital Supply Chains
  
  H. Birkholz, Antoine Delignat-Lavaud, Cédric Fournet, Yash Deshpande, S. Lasker
  
  RFC Editor | June 2026
  
  Publication
- Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability
  
  Heidi Howard, Fritz Alder, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Markus Kuppe, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger
  
  Proceedings of the VLDB Endowment | October 2023, 제 17 권(2)
  
  Nominee for Best Paper Award
  
  Publication Preprint Author's Version 프로젝트
- Discovering concrete attacks on website authorization by formal analysis
  
  Chetan Bansal, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis
  
  Journal of Computer Security | July 2014, 제 22 권: pp. 601-657
  
  PDF 출판
- ShieldFS: Trustworthy Filesystems for Confidential Computing
  
  Dimitra Giantsidi, Antoine Delignat-Lavaud, Cédric Fournet, Jinnan Guo, Heidi Howard, Tianjiao Huang, Kapil Vaswani, Stavros Volos
  
  48th IEEE Symposium on Security and Privacy | May 2027
  
  Preprint
- Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software
  
  D. Ahman, Karthik Bhargavan, Barry Bond, Jay Bosamiya, Chris Brzuska, Antoine Delignat-Lavaud, Cédric Fournet, Aymeric Fromherz, Sydney Gibson, Chris Hawblitzel, Cătălin Hrițcu, Markulf Kohlweiss, Guido Martínez, Haobin Ni, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Exequiel Rivas, Nikhil Swamy, Santiago Zanella-Béguelin
  
  PLDI 2026 | April 2026
  
  DOI 프로젝트
- ASN1*: Provably Correct Non-Malleable Parsing for ASN.1 DER
  
  Haobin Ni, Antoine Delignat-Lavaud, Cédric Fournet, Tahina Ramananandro, Nikhil Swamy
  
  Certified Programs and Proofs | January 2023
  
  Publication Author's Version 프로젝트
- IA-CCF: Individual Accountability for Permissioned Ledgers
  
  Alex Shamis, Peter Pietzuch, Burcu Canakci, Miguel Castro, Cédric Fournet, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Antoine Delignat-Lavaud, Matthew Kerner, Julien Maffre, Olga Vrousgou, Christoph M. Wintersteiger, Manuel Costa, Mark Russinovich
  
  19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22) | April 2022
  
  Publication 프로젝트
- A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer
  
  Antoine Delignat-Lavaud, Cédric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou
  
  IEEE Symposium on Security and Privacy | May 2021
  
  Publication 프로젝트
- EverCrypt: A Fast, Veriﬁed, Cross-Platform Cryptographic Provider
  
  Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Béguelin
  
  IEEE Symposium on Security and Privacy | May 2020
  
  Publication 동영상 액세스 Github 프로젝트
- EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats
  
  Tahina Ramananandro, Antoine Delignat-Lavaud, Cédric Fournet, Nikhil Swamy, Tej Chajed, Nadim Kobeissi, Jonathan Protzenko
  
  USENIX Security | August 2019
  
  Author's Version Github 프로젝트
- State Separation for Code-Based Game-Playing Proofs
  
  Chris Brzuska, Antoine Delignat-Lavaud, Cédric Fournet, Konrad Kohbrok, Markulf Kohlweiss
  
  Asiacrypt | December 2018
  
  PDF
- Implementing and Proving the TLS 1.3 Record Layer
  
  Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Béguelin, Karthikeyan Bhargavan , Jianyang Pan , Jean Karim Zinzindohoue
  
  SP '17 38th IEEE Symposium on Security and Privacy | May 2017
  
  PDF 출판 프로젝트
- Everest: Towards a Verified, Drop-In Replacement of HTTPS
  
  Karthikeyan Bhargavan, Barry Bond, Antoine Delignat-Lavaud, Cédric Fournet, Chris Hawblitzel, Catalin Hritcu, Samin Ishtiaq, Markulf Kohlweiss, Rustan Leino, Jacob R Lorch, Kenji Maillard, Jinyang Pang, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Ashay Rane, Aseem Rastogi, Nikhil Swamy, Laure Thompson, Peng Wang, Santiago Zanella-Béguelin, Jean-Karim Zinzindohoué
  
  SNAPL 2017 - 2nd Summit on Advances in Programming Languages | May 2017
  
  PDF Publication 출판 프로젝트
- Verified Low-Level Programming Embedded in F*
  
  Jonathan Protzenko, Jean Karim Zinzindohoue, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella-Béguelin, Antoine Delignat-Lavaud, Cătălin Hriţcu, Karthikeyan Bhargavan, Cédric Fournet, Nikhil Swamy
  
  22nd International Conference on Functional Programming (ICFP 2017) | May 2017
  
  Publication Publication Publication Github 액세스 프로젝트 프로젝트
- Formal Verification of Smart Contracts: Short Paper
  
  Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Anitha Gollamudi, Georges Gonthier, Nadim Kobeissi, Natalia Kulatova, Aseem Rastogi, Thomas Sibut-Pinote, Nikhil Swamy, Santiago Zanella-Béguelin
  
  PLAS '16 Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security | October 2016
  
  ISBN: 978-1-4503-4574-3
  
  PDF Publication 출판
- Towards a Provably Secure Implementation of TLS 1.3
  
  Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Jonathan Protzenko, Nikhil Swamy, Santiago Zanella-Béguelin
  
  TRON Workshop | July 2016
  
  PDF 프로젝트
- Cinderella: Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation
  
  Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Bryan Parno
  
  Proceedings of the IEEE Symposium on Security and Privacy | May 2016
  
  PDF 프로젝트
- Dependent Types and Multi-Monadic Effects in F*
  
  Nikhil Swamy, Cătălin Hriţcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cédric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean-Karim Zinzindohoue, Santiago Zanella-Béguelin
  
  POPL '16 Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2016
  
  ISBN: 978-1-4503-3549-2
  
  PDF Publication 출판
- A Messy State of the Union: Taming the Composite State Machines of TLS
  
  Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Jean Karim Zinzindohoue
  
  2015 IEEE Symposium on Security and Privacy | May 2015
  
  Distinguished Paper
  
  PDF 출판 출판
- Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage
  
  Chetan Bansal, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Sergio Maffeis
  
  2nd Conference on Principles of Security and Trust (POST 2013) | January 2013
  
  PDF
- Scaling Verification of Cryptographic Software with Aeneas, Rust, and Lean
  
  Ho Son, Cédric Fournet, Jonathan Protzenko, Michael Naehrig, Joshua Clune, Patrick Longa, G. Boisseau, Fernando Leal Sánchez, Aymeric Fromherz, Antoine Delignat-Lavaud
  
  September 2026
  
  arXiv | September 2026
  
  Publication
- Toward Confidential Cloud Computing
  
  Mark Russinovich, Manuel Costa, Cédric Fournet, David Chisnall, Antoine Delignat-Lavaud, Sylvan Clebsch, Kapil Vaswani, Vikas Bhatia
  
  January 2021
  
  acmqueue magazine | January 2021
  
  Publication

Antoine Delignat-Lavaud

출판물

ShieldFS: Trustworthy Filesystems for Confidential Computing

Scaling Verification of Cryptographic Software with Aeneas, Rust, and Lean

An Architecture for Trustworthy and Transparent Digital Supply Chains

CBOR Object Signing and Encryption (COSE) Receipts

Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software

Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability

ASN1*: Provably Correct Non-Malleable Parsing for ASN.1 DER

IA-CCF: Individual Accountability for Permissioned Ledgers

A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer

Toward Confidential Cloud Computing

EverCrypt: A Fast, Veriﬁed, Cross-Platform Cryptographic Provider

EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats

State Separation for Code-Based Game-Playing Proofs

Implementing and Proving the TLS 1.3 Record Layer

Everest: Towards a Verified, Drop-In Replacement of HTTPS

Verified Low-Level Programming Embedded in F*

Formal Verification of Smart Contracts: Short Paper

Towards a Provably Secure Implementation of TLS 1.3

Cinderella: Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation

Dependent Types and Multi-Monadic Effects in F*

A Messy State of the Union: Taming the Composite State Machines of TLS

Discovering concrete attacks on website authorization by formal analysis

Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage

ShieldFS: Trustworthy Filesystems for Confidential Computing

Scaling Verification of Cryptographic Software with Aeneas, Rust, and Lean

CBOR Object Signing and Encryption (COSE) Receipts

An Architecture for Trustworthy and Transparent Digital Supply Chains

Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software

Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability

ASN1*: Provably Correct Non-Malleable Parsing for ASN.1 DER

IA-CCF: Individual Accountability for Permissioned Ledgers

A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer

Toward Confidential Cloud Computing

EverCrypt: A Fast, Veriﬁed, Cross-Platform Cryptographic Provider

EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats

State Separation for Code-Based Game-Playing Proofs

Implementing and Proving the TLS 1.3 Record Layer

Everest: Towards a Verified, Drop-In Replacement of HTTPS

Verified Low-Level Programming Embedded in F*

Cinderella: Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation

A Messy State of the Union: Taming the Composite State Machines of TLS

Discovering concrete attacks on website authorization by formal analysis

Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage

ShieldFS: Trustworthy Filesystems for Confidential Computing

Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability

EverCrypt: A Fast, Veriﬁed, Cross-Platform Cryptographic Provider

Scaling Verification of Cryptographic Software with Aeneas, Rust, and Lean

Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software

ASN1*: Provably Correct Non-Malleable Parsing for ASN.1 DER

EverCrypt: A Fast, Veriﬁed, Cross-Platform Cryptographic Provider

EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats

Implementing and Proving the TLS 1.3 Record Layer

Everest: Towards a Verified, Drop-In Replacement of HTTPS

Verified Low-Level Programming Embedded in F*

Formal Verification of Smart Contracts: Short Paper

Towards a Provably Secure Implementation of TLS 1.3

Dependent Types and Multi-Monadic Effects in F*

Toward Confidential Cloud Computing

CBOR Object Signing and Encryption (COSE) Receipts

An Architecture for Trustworthy and Transparent Digital Supply Chains

Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability

Discovering concrete attacks on website authorization by formal analysis

ShieldFS: Trustworthy Filesystems for Confidential Computing

Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software

ASN1*: Provably Correct Non-Malleable Parsing for ASN.1 DER

IA-CCF: Individual Accountability for Permissioned Ledgers

A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer

EverCrypt: A Fast, Veriﬁed, Cross-Platform Cryptographic Provider

EverParse: Verified Secure Zero-Copy Parsers for Authenticated Message Formats

State Separation for Code-Based Game-Playing Proofs

Implementing and Proving the TLS 1.3 Record Layer

Everest: Towards a Verified, Drop-In Replacement of HTTPS

Verified Low-Level Programming Embedded in F*

Formal Verification of Smart Contracts: Short Paper

Towards a Provably Secure Implementation of TLS 1.3

Cinderella: Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation

Dependent Types and Multi-Monadic Effects in F*

A Messy State of the Union: Taming the Composite State Machines of TLS