Scholar
Antoine Delignat-Lavaud
Google Scholar ID: gMHUpVcAAAAJ
Microsoft Research
security
programming languages
cryptographic protocols
software verification
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
2,405
H-index
19
i10-index
27
Publications
20
Co-authors
25
list available
Publications
3 items
Scaling Verification of Cryptographic Software with Aeneas, Rust, and Lean
2026
Cited
0
Securing Filesystems for Confidential Computing
2026
Cited
0
Transparent Attested DNS for Confidential Computing Services
2025
Cited
0
Co-authors
9 total
Cédric Fournet
Microsoft Research
Santiago Zanella-Béguelin
Microsoft Research
Markulf Kohlweiss
Univeristy of Edinburgh
Pierre-Yves Strub
Research Scientist, PQShield
Cătălin Hrițcu
Tenured Faculty at MPI-SP
Tahina Ramananandro
Microsoft Research
Sergio Maffeis
Associate Professor in Computer Security, Imperial College London
Bryan Parno
Carnegie Mellon University
