International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

François Dupressoir

Publications

Year
Venue
Title
2017
EUROCRYPT
Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model 📺
Gilles Barthe François Dupressoir Sebastian Faust Benjamin Grégoire François-Xavier Standaert Pierre-Yves Strub
2016
FSE
Verifiable Side-Channel Security of Cryptographic Implementations: Constant-Time MEE-CBC ★
José Bacelar Almeida Manuel Barbosa Gilles Barthe François Dupressoir
2015
EUROCRYPT
Verified Proofs of Higher-Order Masking
Gilles Barthe Sonia Belaïd François Dupressoir Pierre-Alain Fouque Benjamin Grégoire Pierre-Yves Strub
2014
CHES
Making RSA-PSS Provably Secure against Non-random Faults
Gilles Barthe François Dupressoir Pierre-Alain Fouque Benjamin Grégoire Mehdi Tibouchi Jean-Christophe Zapalowicz

Program Committees

Crypto 2022
CHES 2021
CHES 2019

Coauthors

José Bacelar Almeida (1)
Manuel Barbosa (1)
Gilles Barthe (4)
Sonia Belaïd (1)
Sebastian Faust (1)
Pierre-Alain Fouque (2)
Benjamin Grégoire (3)
François-Xavier Standaert (1)
Pierre-Yves Strub (2)
Mehdi Tibouchi (1)
Jean-Christophe Zapalowicz (1)