François Dupressoir

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
How hard can it be to formalize a proof? Lessons from formalizing \texttt{CryptoBox} three times in EasyCrypt	2026-03-31	Paper
Formally verifying Kyber. Episode V: machine-checked IND-CCA security and correctness of ML-KEM in Easycrypt	2024-12-04	Paper
Machine-checked security for XMSS as in RFC 8391 and SPHINCS\textsuperscript{+} Advances in Cryptology – CRYPTO 2023	2024-02-06	Paper
scientific article; zbMATH DE number 7178368 (Why is no real title available?)	2020-03-09	Paper
Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBC Fast Software Encryption	2018-05-09	Paper
Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model Lecture Notes in Computer Science	2017-06-13	Paper
Verified Proofs of Higher-Order Masking Advances in Cryptology -- EUROCRYPT 2015	2015-09-30	Paper
Making RSA–PSS Provably Secure against Non-random Faults Advanced Information Systems Engineering	2015-07-21	Paper
EasyCrypt: a tutorial Foundations of Security Analysis and Design VII	2015-05-27	Paper

Research outcomes over time

This page was built for person: François Dupressoir