François Dupressoir

From MaRDI portal
Person:2948339

Available identifiers

zbMath Open dupressoir.francoisMaRDI QIDQ2948339

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
Machine-checked security for XMSS as in RFC 8391 and SPHINCS\textsuperscript{+}2024-02-06Paper
https://portal.mardi4nfdi.de/entity/Q52199332020-03-09Paper
Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC2018-05-09Paper
Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model2017-06-13Paper
Verified Proofs of Higher-Order Masking2015-09-30Paper
Making RSA–PSS Provably Secure against Non-random Faults2015-07-21Paper
EasyCrypt: A Tutorial2015-05-27Paper

Research outcomes over time

This page was built for person: François Dupressoir

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