Concepedia

Antoine Delignat-Lavaud

AD

Statistics

Publications

22

Citations

1.8K

H-Index

18

Active since

2013

Affiliations

Microsoft Research (United Kingdom)(Current)

Institut national de recherche en sciences et technologies du numérique

State Key Laboratory of Cryptology

Microsoft (United States)

IMDEA Software Institute

Antoine Delignat-Lavaud is an author at Microsoft Research (United Kingdom) specializing in computing, computer science, and computer security.

Publications per year

2013–2023

22

Publications

22

Formal Verification of Smart Contracts

Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet et al. · 2016 · 620 citations · Full text

Computing, Computer Science, Cybersecurity +13

Dependent types and multi-monadic effects in F*

Nikhil Swamy, Cătălin Hriţcu, Chantal Keller et al. · 2016 · 292 citations · Full text

Computing, Computer Science, Formal Methods +16

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

Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud et al. · 2015 · 216 citations · Full text

Computing, Computer Engineering, Computer Science +17

Verified low-level programming embedded in F*

Jonathan Protzenko, Jean-Karim Zinzindohoué, Aseem Rastogi et al. · Proceedings of the ACM on Programming Languages · 2017 · 102 citations · Full text

Computing, Computer Engineering, Computer Science +15

Implementing and Proving the TLS 1.3 Record Layer

Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss et al. · 2017 · 82 citations · Full text

Computing, Computer Science, Authentication +16

1–5 of 22