Vincent Laporte
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| 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 Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming | 2017-05-10 | Paper |
| Verified abstract interpretation techniques for disassembling low-level self-modifying code Journal of Automated Reasoning | 2016-05-26 | Paper |
| Plan B, a buffered memory model for Java Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-11-27 | Paper |
| Verified abstract interpretation techniques for disassembling low-level self-modifying code Interactive Theorem Proving | 2014-09-08 | Paper |
| On the equality of probabilistic terms Logic for Programming, Artificial Intelligence, and Reasoning | 2011-01-07 | Paper |
| scientific article; zbMATH DE number 440582 (Why is no real title available?) | 1993-11-28 | Paper |
Research outcomes over time
This page was built for person: Vincent Laporte
