Antoine Delignat-Lavaud -

Not registered as user yet

Name:Antoine Delignat-Lavaud

Affiliation:Microsoft Research, n.n.

Contributions

CPP 2023	Author of ASN1*: Provably Correct, Non-Malleable Parsing for ASN.1 DER within the CPP 2023-track
ICFP 2017	Author of Verified Low-Level Programming Embedded in F* within the Research Papers-track
POPL 2016	Author of Dependent Types and Multi-Monadic Effects in F* within the Research Papers-track