Antoine Delignat-Lavaud

Identifiers

• name variant Antoine Delignat-Lavaud 0.60 · backfill

Papers (5)

1. Transparent Attested DNS for Confidential Computing Services cs.CR · 2025 · author #1
2. Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability cs.CR · 2023 · author #7
3. Dropbear: Machine Learning Marketplaces made Trustworthy with Byzantine Model Agreement cs.DC · 2022 · author #3
4. IA-CCF: Individual Accountability for Permissioned Ledgers cs.DC · 2021 · author #8
5. Verified Low-Level Programming Embedded in F* cs.PL · 2017 · author #7

Mentions

• 2503.14611 #1 · arxiv_oai · confidence 0.70 Antoine Delignat-Lavaud
• 2310.11559 #7 · arxiv_oai · confidence 0.70 Antoine Delignat-Lavaud
• 1703.00053 #7 · arxiv_oai · confidence 0.70 Antoine Delignat-Lavaud
• 2205.15757 #3 · arxiv_oai · confidence 0.70 Antoine Delignat-Lavaud
• 2105.13116 #8 · arxiv_oai · confidence 0.70 Antoine Delignat-Lavaud

Frequent Coauthors

• Manuel Costa 4 shared papers
• C\'edric Fournet 3 shared papers
• Sylvan Clebsch 3 shared papers
• Alex Shamis 2 shared papers
• Amaury Chamayou 2 shared papers
• Christoph M. Wintersteiger 2 shared papers
• Edward Ashton 2 shared papers
• Julien Maffre 2 shared papers
• Mark Russinovich 2 shared papers
• Matthew Kerner 2 shared papers
• Peter Pietzuch 2 shared papers
• Andrew Jeffery 1 shared papers
• Andrew Paverd 1 shared papers
• Aseem Rastogi 1 shared papers
• Catalin Hritcu 1 shared papers
• Cedric Fournet 1 shared papers
• Fotios Kounelis 1 shared papers
• Fritz Alder 1 shared papers
• Heidi Howard 1 shared papers
• Jean-Karim Zinzindohou\'e 1 shared papers