Jean-Christophe Léchenet

From MaRDI portal
Person:682364

Available identifiers

zbMath Open lechenet.jean-christopheMaRDI QIDQ682364

List of research outcomes





PublicationDate of PublicationType
Formally verifying Kyber. Episode V: machine-checked IND-CCA security and correctness of ML-KEM in Easycrypt2024-12-04Paper
Efficient computation of arbitrary control dependencies2023-08-01Paper
A Fast Verified Liveness Analysis in SSA Form2022-11-09Paper
Cut branches before looking for bugs: certifiably sound verification on relaxed slices2018-02-02Paper
Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices2016-04-21Paper

Research outcomes over time

This page was built for person: Jean-Christophe Léchenet

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:682364&oldid=7240302"
Powered by MediaWiki