Vincent Laporte

Available identifiers

zbMath Open laporte.vincentMaRDI QIDQ287367

List of research outcomes

Publication	Date of Publication	Type
Formally verifying Kyber. Episode V: machine-checked IND-CCA security and correctness of ML-KEM in Easycrypt	2024-12-04	Paper
An abstract memory functor for verified C static analyzers	2017-05-10	Paper
Verified abstract interpretation techniques for disassembling low-level self-modifying code	2016-05-26	Paper
Plan B	2014-11-27	Paper
Verified Abstract Interpretation Techniques for Disassembling Low-level Self-modifying Code	2014-09-08	Paper
On the Equality of Probabilistic Terms	2011-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q3140737	1993-11-28	Paper

Research outcomes over time

This page was built for person: Vincent Laporte