Antoine Delignat-Lavaud
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 4 in the filters
on a stage with
all 33 in the filters
who talks about the same things
- Nick Sullivan11 talks
- Kenneth White3 talks
- Tom Van Goethem9 talks
- Damian Poddebniak7 talks
- Mark Nottingham2 talks
- Karthikeyan Bhargavan5 talks
| title | conference | date |
|---|---|---|
| Project Everest: Perspectives from Developing Industrial-Grade High-Assurance(…) | PLDI 2026 | 2026-06-15 |
Project Everest produces a verified TLS stack and crypto suite rather than promises: it yields 1.3 million lines of F source that build in two hours, emits… | ||
| ASN1*: Provably Correct, Non-Malleable Parsing for ASN.1 DER | CPP 2023 | 2023-01-16 |
Claims a first formalization of ASN.1 DER with a mechanized proof of non-malleability and a verified compiler in F that uses the EverParse framework to produce… | ||
| IA-CCF: Individual Accountability for Permissioned Ledgers | 19th USENIX Symposium on Networked Systems Design and Implementation (NSDI '22) | 2022-04-04 |
A permissioned ledger implementation called IA-CCF signs and logs BFT protocol messages into the ledger and issues Merkle-tree receipts that clients can audit… | ||
| The BEAST Wins Again: Why TLS Keeps Failing to Protect HTTP | Black Hat USA 2014 | 2014-08-02 |
Demonstrates three concrete exploits that bypass HTTPS assumptions: a renegotiation-style attack re-enabled by implementation quirks, a truncation exploit that… | ||
| nothing matches | ||