François Dupressoir

ORCID

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 32

Top Venues

IACR Cryptol. ePrint Arch.

CSF

CCS

J. Comput. Secur.

Open University, Milton Keynes, UK (PHD)

Education History

Open University, Milton Keynes, UK

PHD

Publications

Constantin Catalin Dragan, François Dupressoir, Ehsan Estaji, Kristian Gjøsteen, Thomas Haines, Peter Y. A. Ryan, Peter B. Rønne, Morten Rotvold Solberg
Machine-checked proofs of privacy against malicious boards for Selene & Co. J. Comput. Secur. 31 (5) (2023)
Constantin Catalin Dragan, François Dupressoir, Kristian Gjøsteen, Thomas Haines, Peter B. Rønne, Morten Rotvold Solberg
Machine-Checked Proofs of Accountability: How to sElect Who is to Blame. ESORICS (3) (2023)
Manuel Barbosa, François Dupressoir, Benjamin Grégoire, Andreas Hülsing, Matthias Meijers, Pierre-Yves Strub
Machine-Checked Security for $\mathrm{XMSS}$ as in RFC 8391 and $\mathrm{SPHINCS}^{+}$. IACR Cryptol. ePrint Arch. 2023 (2023)
Constantin Catalin Dragan, François Dupressoir, Ehsan Estaji, Kristian Gjøsteen, Thomas Haines, Peter Y. A. Ryan, Peter B. Rønne, Morten Rotvold Solberg
Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co. IACR Cryptol. ePrint Arch. 2022 (2022)
Manuel Barbosa, François Dupressoir, Benjamin Grégoire, Andreas Hülsing, Matthias Meijers, Pierre-Yves Strub
Machine-Checked Security for rmXMSS as in RFC 8391 and $\mathrm {SPHINCS^{+}} $. CRYPTO (5) (2022)
François Dupressoir, Konrad Kohbrok, Sabine Oechsner
Bringing State-Separating Proofs to EasyCrypt A Security Proof for Cryptobox. CSF (2022)
Constantin Catalin Dragan, François Dupressoir, Ehsan Estaji, Kristian Gjøsteen, Thomas Haines, Peter Y. A. Ryan, Peter B. Rønne, Morten Rotvold Solberg
Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co. CSF (2022)
Ioana Boureanu, Constantin Catalin Dragan, François Dupressoir, David Gérault, Pascal Lafourcade
Mechanised Models and Proofs for Distance-Bounding. CSF (2021)
François Dupressoir, Sara Zain
Machine-Checking Unforgeability Proofs for Signature Schemes with Tight Reductions to the Computational Diffie-Hellman Problem. CSF (2021)
François Dupressoir, Konrad Kohbrok, Sabine Oechsner
Bringing State-Separating Proofs to EasyCrypt - A Security Proof for Cryptobox. IACR Cryptol. ePrint Arch. 2021 (2021)
Muntadher Sallal, Steve Schneider, Matthew Casey, François Dupressoir, Helen Treharne, Constantin Catalin Dragan, Luke Riley, Phil Wright
Augmenting an Internet Voting System with Selene Verifiability using Permissioned Distributed Ledger. ICDCS (2020)
Ioana Boureanu, Constantin Catalin Dragan, François Dupressoir, David Gérault, Pascal Lafourcade
Precise and Mechanised Models and Proofs for Distance-Bounding and an Application to Contactless Payments. IACR Cryptol. ePrint Arch. 2020 (2020)
Gilles Barthe, Sonia Belaïd, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire, François-Xavier Standaert, Pierre-Yves Strub
Improved parallel mask refreshing algorithms: generic solutions with parametrized non-interference and automated optimizations. J. Cryptogr. Eng. 10 (1) (2020)
José Bacelar Almeida, Cécile Baritel-Ruet, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Alley Stoughton, Pierre-Yves Strub
Machine-Checked Proofs for Cryptographic Standards. IACR Cryptol. ePrint Arch. 2019 (2019)
José Bacelar Almeida, Cécile Baritel-Ruet, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Tiago Oliveira, Alley Stoughton, Pierre-Yves Strub
Machine-Checked Proofs for Cryptographic Standards: Indifferentiability of Sponge and Secure High-Assurance Implementations of SHA-3. CCS (2019)
Muntadher Sallal, Steve A. Schneider, Matthew Casey, Constantin Catalin Dragan, François Dupressoir, Luke Riley, Helen Treharne, Joe Wadsworth, Phil Wright
VMV: Augmenting an Internet Voting System with Selene Verifiability. CoRR (2019)
Gilles Barthe, Sonia Belaïd, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire, François-Xavier Standaert, Pierre-Yves Strub
Improved Parallel Mask Refreshing Algorithms: Generic Solutions with Parametrized Non-Interference & Automated Optimizations. IACR Cryptol. ePrint Arch. 2018 (2018)
Cécile Baritel-Ruet, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire
Formal Security Proof of CMAC and Its Variants. CSF (2018)
Véronique Cortier, Constantin Catalin Dragan, François Dupressoir, Bogdan Warinschi
Machine-Checked Proofs for Electronic Voting: Privacy and Verifiability for Belenios. CSF (2018)
Véronique Cortier, Constantin Catalin Dragan, François Dupressoir, Benedikt Schmidt, Pierre-Yves Strub, Bogdan Warinschi
Machine-Checked Proofs of Privacy for Electronic Voting Protocols. IEEE Symposium on Security and Privacy (2017)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Vitor Pereira
A Fast and Verified Software Stack for Secure Function Evaluation. IACR Cryptol. ePrint Arch. 2017 (2017)
Gilles Barthe, François Dupressoir, Benjamin Grégoire
A Note on 'Further Improving Efficiency of Higher-Order Masking Scheme by Decreasing Randomness Complexity'. IACR Cryptol. ePrint Arch. 2017 (2017)
Gilles Barthe, François Dupressoir, Sebastian Faust, Benjamin Grégoire, François-Xavier Standaert, Pierre-Yves Strub
Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model. EUROCRYPT (1) (2017)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Vitor Pereira
A Fast and Verified Software Stack for Secure Function Evaluation. CCS (2017)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir, Michael Emmi
Verifying Constant-Time Implementations. USENIX Security Symposium (2016)
Gilles Barthe, François Dupressoir, Sebastian Faust, Benjamin Grégoire, François-Xavier Standaert, Pierre-Yves Strub
Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model. IACR Cryptol. ePrint Arch. 2016 (2016)
Gilles Barthe, Sonia Belaïd, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire, Pierre-Yves Strub, Rébecca Zucchini
Strong Non-Interference and Type-Directed Higher-Order Masking. CCS (2016)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir
Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC. FSE (2016)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir
Verifiable side-channel security of cryptographic implementations: constant-time MEE-CBC. IACR Cryptol. ePrint Arch. 2015 (2015)
Gilles Barthe, Sonia Belaïd, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire
Compositional Verification of Higher-Order Masking: Application to a Verifying Masking Compiler. IACR Cryptol. ePrint Arch. 2015 (2015)
Gilles Barthe, Sonia Belaïd, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire, Pierre-Yves Strub
Verified Proofs of Higher-Order Masking. IACR Cryptol. ePrint Arch. 2015 (2015)
Gilles Barthe, Sonia Belaïd, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire, Pierre-Yves Strub
Verified Proofs of Higher-Order Masking. EUROCRYPT (1) (2015)
François Dupressoir, Andrew D. Gordon, Jan Jürjens, David A. Naumann
Guiding a general-purpose C verifier to prove cryptographic protocols. J. Comput. Secur. 22 (5) (2014)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Guillaume Davy, François Dupressoir, Benjamin Grégoire, Pierre-Yves Strub
Verified Implementations for Secure and Verifiable Computation. IACR Cryptol. ePrint Arch. 2014 (2014)
Gilles Barthe, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire, Mehdi Tibouchi, Jean-Christophe Zapalowicz
Making RSA-PSS Provably Secure against Non-random Faults. CHES (2014)
Gilles Barthe, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire, Mehdi Tibouchi, Jean-Christophe Zapalowicz
Making RSA-PSS Provably Secure Against Non-Random Faults. IACR Cryptol. ePrint Arch. 2014 (2014)
Gilles Barthe, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire, Jean-Christophe Zapalowicz
Synthesis of Fault Attacks on Cryptographic Implementations. IACR Cryptol. ePrint Arch. 2014 (2014)
Gilles Barthe, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire, Jean-Christophe Zapalowicz
Synthesis of Fault Attacks on Cryptographic Implementations. CCS (2014)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir
Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations. CCS (2013)
José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, François Dupressoir
Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations. IACR Cryptol. ePrint Arch. 2013 (2013)
François Dupressoir, Andrew D. Gordon, Jan Jürjens, David A. Naumann
Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols. CoRR (2013)
Gilles Barthe, François Dupressoir, Benjamin Grégoire, César Kunz, Benedikt Schmidt, Pierre-Yves Strub
EasyCrypt: A Tutorial. FOSAD (2013)
Mihhail Aizatulin, François Dupressoir, Andrew D. Gordon, Jan Jürjens
Verifying Cryptographic Code in C: Some Experience and the Csec Challenge. Formal Aspects in Security and Trust (2011)
François Dupressoir, Andrew D. Gordon, Jan Jürjens, David A. Naumann
Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols. CSF (2011)

François Dupressoir.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

François Dupressoir