Antoine Delignat-Lavaud

Principal Researcher, Microsoft

Joined

July 2019

Names

Emails

****@microsoft.com (Confirmed)

Personal Links

DBLP

Career & Education History

Principal Researcher

Microsoft (microsoft.com)

2015 – Present

PhD student

INRIA (inria.fr)

2012 – 2015

MS student

Ecole Normale Supérieure de Cachan (ens-cachan.fr)

2008 – 2012

Advisors, Relations & Conflicts

PhD Advisor

Karthikeyan Bhargavan

2012 – 2015

Expertise

cryptographic protocols

Present

confidential computing

Present

formal methods

Present

software verification

Present

privacy-preserving machine learning

Present

Publications

IA-CCF: Individual Accountability for Permissioned Ledgers
Alex Shamis, Peter R. Pietzuch, Burcu Canakci, Miguel Castro, Cédric Fournet, Edward Ashton, Amaury Chamayou, Sylvan Clebsch, Antoine Delignat-Lavaud, Matthew Kerner, Julien Maffre, Olga Vrousgou, Christoph M. Wintersteiger, Manuel Costa, Mark Russinovich
- 2022 (modified: 02 Sept 2022)
- NSDI 2022
- Readers: Everyone
Toward confidential cloud computing
Mark Russinovich, Manuel Costa, Cédric Fournet, David Chisnall, Antoine Delignat-Lavaud, Sylvan Clebsch, Kapil Vaswani, Vikas Bhatia
- 2021 (modified: 02 Sept 2022)
- Commun. ACM 2021
- Readers: Everyone
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
- 2021 (modified: 02 Sept 2022)
- IEEE Symposium on Security and Privacy 2021
- Readers: Everyone
Toward Confidential Cloud Computing: Extending hardware-enforced cryptographic protection to data while in use
Mark Russinovich, Manuel Costa, Cédric Fournet, David Chisnall, Antoine Delignat-Lavaud, Sylvan Clebsch, Kapil Vaswani, Vikas Bhatia
- 2021 (modified: 02 Sept 2022)
- ACM Queue 2021
- Readers: Everyone
Key-schedule Security for the TLS 1.3 Standard
Chris Brzuska, Antoine Delignat-Lavaud, Christoph Egger, Cédric Fournet, Konrad Kohbrok, Markulf Kohlweiss
- 2021 (modified: 02 Sept 2022)
- IACR Cryptol. ePrint Arch. 2021
- Readers: Everyone
PAC: Practical Accountability for CCF
Alex Shamis, Peter R. Pietzuch, Miguel Castro, Edward Ashton, Amaury Chamayou, Sylvan Clebsch, Antoine Delignat-Lavaud, Cédric Fournet, Matthew Kerner, Julien Maffre, Manuel Costa, Mark Russinovich
- 2021 (modified: 02 Sept 2022)
- CoRR 2021
- Readers: Everyone
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, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella Béguelin
- 2020 (modified: 02 Sept 2022)
- IEEE Symposium on Security and Privacy 2020
- Readers: Everyone
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
- 2020 (modified: 02 Sept 2022)
- IACR Cryptol. ePrint Arch. 2020
- Readers: Everyone
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
- 2019 (modified: 02 Sept 2022)
- USENIX Security Symposium 2019
- Readers: Everyone
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, Cédric Fournet, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella Béguelin
- 2019 (modified: 02 Sept 2022)
- IACR Cryptol. ePrint Arch. 2019
- Readers: Everyone

View all 36 publications

Co-Authors

View all 71 co-authors