Antoine Delignat-Lavaud
From MaRDI portal
Person:1710671
Available identifiers
zbMath Open delignat-lavaud.antoineMaRDI QIDQ1710671
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Key-schedule security for the TLS 1.3 standard | 2023-08-25 | Paper |
| Formal Modeling and Verification for Domain Validation and ACME | 2021-03-17 | Paper |
| State separation for code-based game-playing proofs | 2019-01-23 | Paper |
| Dependent types and multi-monadic effects in F* | 2016-10-24 | Paper |
| Algèbres tropicales et plus court chemin | 2011-08-25 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Antoine Delignat-Lavaud
