Franois Dupressoir
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
9
Active years
2013–2025
Best venue rank
A*
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ASIACRYPT | How Hard can it be to Formalize a Proof? - Lessons from Formalizing CryptoBox Three Times in EasyCrypt. | Franois Dupressoir, Andreas Hlsing, Cameron Low, Matthias Meijers, Charlotte Mylog, Sabine Oechsner |
| 2024 | ASIACRYPT | A Tight Security Proof for SPHINCS | Manuel Barbosa, Franois Dupressoir, Andreas Hlsing, Matthias Meijers, Pierre-Yves Strub |
| 2024 | CRYPTO | Formally Verifying Kyber - Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt. | Jos Bacelar Almeida, Santiago Arranz-Olmos, Manuel Barbosa, Gilles Barthe, Franois Dupressoir, Benjamin Grgoire, Vincent Laporte, Jean-Christophe Lchenet, Cameron Low, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Pierre-Yves Strub |
| 2023 | CRYPTO | Machine-Checked Security for rmXMSS as in RFC 8391 and $\mathrm {SPHINCS^{+}} $. | Manuel Barbosa, Franois Dupressoir, Benjamin Grgoire, Andreas Hlsing, Matthias Meijers, Pierre-Yves Strub |
| 2023 | ESORICS | Machine-Checked Proofs of Accountability: How to sElect Who is to Blame. | Constantin Catalin Dragan, Franois Dupressoir, Kristian Gjsteen, Thomas Haines, Peter B. Rnne, Morten Rotvold Solberg |
| 2020 | ICDCS | Augmenting an Internet Voting System with Selene Verifiability using Permissioned Distributed Ledger. | Muntadher Sallal, Steve Schneider, Matthew Casey, Franois Dupressoir, Helen Treharne, Constantin Catalin Dragan, Luke Riley, Phil Wright |
| 2019 | CCS | Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3. | Jos Bacelar Almeida, Ccile Baritel-Ruet, Manuel Barbosa, Gilles Barthe, Franois Dupressoir, Benjamin Grgoire, Vincent Laporte, Tiago Oliveira, Alley Stoughton, Pierre-Yves Strub |
| 2017 | CCS | A Fast and Verified Software Stack for Secure Function Evaluation. | Jos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Franois Dupressoir, Benjamin Grgoire, Vincent Laporte, Vitor Pereira |
| 2017 | EuroCrypt | Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model. | Gilles Barthe, Franois Dupressoir, Sebastian Faust, Benjamin Grgoire, Franois-Xavier Standaert, Pierre-Yves Strub |
| 2017 | SP | Machine-Checked Proofs of Privacy for Electronic Voting Protocols. | Vronique Cortier, Constantin Catalin Dragan, Franois Dupressoir, Benedikt Schmidt, Pierre-Yves Strub, Bogdan Warinschi |
| 2016 | CCS | Strong Non-Interference and Type-Directed Higher-Order Masking. | Gilles Barthe, Sonia Belad, Franois Dupressoir, Pierre-Alain Fouque, Benjamin Grgoire, Pierre-Yves Strub, Rbecca Zucchini |
| 2016 | FSE | Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC. | Jos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Franois Dupressoir |
| 2015 | EuroCrypt | Verified Proofs of Higher-Order Masking. | Gilles Barthe, Sonia Belad, Franois Dupressoir, Pierre-Alain Fouque, Benjamin Grgoire, Pierre-Yves Strub |
| 2014 | CCS | Synthesis of Fault Attacks on Cryptographic Implementations. | Gilles Barthe, Franois Dupressoir, Pierre-Alain Fouque, Benjamin Grgoire, Jean-Christophe Zapalowicz |
| 2014 | CHES | Making RSA-PSS Provably Secure against Non-random Faults. | Gilles Barthe, Franois Dupressoir, Pierre-Alain Fouque, Benjamin Grgoire, Mehdi Tibouchi, Jean-Christophe Zapalowicz |
| 2013 | CCS | Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations. | Jos Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Franois Dupressoir |