International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Benjamin Grégoire

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
2015
EPRINT
Verified Proofs of Higher-Order Masking
Gilles Barthe Sonia Belaïd François Dupressoir Pierre-Alain Fouque Benjamin Grégoire Pierre-Yves Strub
2015
EPRINT
Compositional Verification of Higher-Order Masking: Application to a Verifying Masking Compiler
Gilles Barthe Sonia Belaïd François Dupressoir Pierre-Alain Fouque Benjamin Grégoire
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

Coauthors

Gilles Barthe (5)
Sonia Belaïd (3)
François Dupressoir (5)
Sebastian Faust (1)
Pierre-Alain Fouque (4)
François-Xavier Standaert (1)
Pierre-Yves Strub (3)
Mehdi Tibouchi (1)
Jean-Christophe Zapalowicz (1)