Matthieu Rivain

About

I'm a researcher and entrepreneur in cryptography, currently CEO at CryptoExperts, a service and technology company in cryptography. In a previous life, I've been cryptography engineer at Oberthur Technologies (smart card manufacturer, now Idemia) and PhD student at University of Luxembourg (2006-2009).

My current work involves many aspects of practical cryptography and its applications. I have a particular research interest for provable security againts side-channel attacks, white-box cryptography and zero-knowledge proofs.

This webpage contains information about my scientific activities, publications, thesis, and talks.

News:

Sep 22, 2022: VeriSiCC seminar about verification and generation of side-channel countermeasures
Sep 18, 2022: Tutorial on white-box cryptography at CHES 2022 (slides, lab)
Sep 9, 2022: Paper Shared Permutation for Syndrome Decoding: New Zero-Knowledge Protocol and Code-Based Signature accepted at Designs, Codes and Cryptography
Aug 25, 2022: Paper Zero-Knowledge Protocols for the Subset Sum Problem from MPC-in-the-Head with Rejection accepted at Asiacrypt
Jul 7 & 19, 2022: Keynote talks at Cyber in Nancy and Africacrypt about a quest for provable security against side-channel attacks
Jun 21, 2022: Defense of my habilitation thesis

Scientific Activities

On-going collaborative projects:
– VERISICC: FUI funded project on formal verification of side-channel countermeasures
– SWITECH: ANR funded project on white-box cryptography
– SWAP: ANR funded project on symmetric cryptography primitives

Designs & tools:
– IronMask: a formal and versatile verification tool for the probing and random probing security of masked implementations
– VRAPS: a formal verification tool for the random probing security of masked implementations
– Tornado: a compiler producing masked bitsliced implementations proven secure in the probing model
– Pyjamask: a cipher submitted to NIST call for lightweight cryptography
– tightPROVE: a formal verification tool for the tight probing security of masked implementations

PhD advisor of
– Abdul Rahman Taleb (2020-present) Secure and Verified Cryptographic Implementations in the Random Probing Model
     co-supervised with Sonia Belaïd and Damien Vergnaud
– Thibauld Feneuil (2020-present) Interactive Proofs in Post-Quantum Cryptography
     co-supervised with Jean-Claude Bajard and Antoine Joux
– Junwei Wang (2017-2020) On the Practical Security of White-Box Cryptography
     co-supervised with Jean-Sébastien Coron, Sihem Mesnager and Pascal Paillier
– Dahmun Goudarzi (2015-2018) Secure Implementation of Block Ciphers against Physical Attacks
     co-supervised with Damien Vergnaud

Program co-chair of CHES 2018 with Dan Page (co-editors-in-chief of IACR TCHES Vol. 2018)

Program committee member of CHES 2022 Latin Crypt 2021 EUROCRYPT 2021 JC2 2020 CHES 2019 ASIACRYPT 2017 CHES 2017 COSADE 2017 TIs 2016 SPACE 2016 CHES 2016 EUROCRYPT 2016 COSADE 2016 GREHACK 2015 CHES 2015 COSADE 2015 CHES 2014 FDTC 2014 COSADE 2014 CARDIS 2013 CHES 2013 FDTC 2013 COSADE 2013 CARDIS 2012 CHES 2012 FDTC 2012 HOST 2012 CARDIS 2011 HOST 2011 HOST 2010

General co-chair of CHES 2015 with Emmanuel Prouff and Guénaël Renault – French press on the event: Les rois du cryptage à Saint-Malo

Co-organiser of ECRYPT-CSA workshops WISE 2015, AWACS 2016, WhibOx 2016, wr0ng 2017

Co-organiser of the WhibOx contest edition 1 (2017), edition 2 (2019) and edition 3 (2021)

Member of CHES Steering Committee since 2018

Member of IACR since 2007

Publications

2022

Zero-Knowledge Protocols for the Subset Sum Problem from MPC-in-the-Head with Rejection - ASIACRYPT
joint work with Thibauld Feneuil, Jules Maire and Damien Vergnaud
Syndrome Decoding in the Head: Shorter Signatures from Zero-Knowledge Proofs - CRYPTO
joint work with Thibauld Feneuil and Antoine Joux
IronMask: Versatile Verification of Masking Security - S&P
joint work with Sonia Belaïd, Darius Mercadier and Abdul Rahman Taleb

2021

Dynamic Random Probing Expansion with Quasi Linear Asymptotic Complexity - ASIACRYPT
joint work with Sonia Belaïd, Abdul Rahman Taleb and Damien Vergaud
On the Power of Expansion: More Efficient Constructions in the Random Probing Model - EUROCRYPT
joint work with Sonia Belaïd and Abdul Rahman Taleb
Probing Security through Input-Output Separation and Revisited Quasilinear Masking - TCHES
joint work with Dahmun Goudarzi, Thomas Prest and Damien Vergnaud

2020

Random Probing Security: Verification, Composition, Expansion and New Constructions - CRYPTO
joint work with Sonia Belaïd, Jean-Sébastien Coron, Emmanuel Prouff and Abdul Rahman Taleb
Defeating State-of-the-Art White-Box Countermeasures with Advanced Gray-Box Attacks - TCHES
joint work with Louis Goubin and Junwei Wang
Pyjamask: Block Cipher and Authenticated Encryption with Highly Efficient Masked Implementation - ToSC
joint work with Dahmun Goudarzi, Jérémy Jean, Stefan Kölbl, Thomas Peyrin, Yu Sasaki and Siang Meng Sim
Tornado: Automatic Generation of Probing-Secure Masked Bitsliced Implementations - EUROCRYPT
joint work with Sonia Belaïd, Pierre-Evariste Dagand, Darius Mercadier and Raphaël Wintersdorff
How to Reveal the Secrets of an Obscure White-Box Implementation - J. of Cryptographic Engineering
joint work with Louis Goubin, Pascal Paillier and Junwei Wang

2019

Analysis and Improvement of Differential Computation Attacks against Internally-Encoded White-Box Implementations - TCHES
joint work with Junwei Wang
Higher-Order DCA against Standard Side-Channel Countermeasures - COSADE
joint work with Andrey Bogdanov, Philip S. Vejre and Junwei Wang

2018

How to Securely Compute with Noisy Leakage in Quasilinear Complexity - ASIACRYPT
joint work with Dahmun Goudarzi and Antoine Joux
Tight Private Circuits: Achieving Probing Security with the Least Refreshing - ASIACRYPT
joint work with Sonia Belaïd and Dahmun Goudarzi
Secure Multiplication for Bitslice Higher-Order Masking: Optimisation and Comparison - COSADE
joint work with Dahmun Goudarzi, Anthony Journault and François-Xavier Standaert

2017

Generalized Polynomial Decomposition for S-boxes with Application to Side-Channel Countermeasures - CHES
joint work with Dahmun Goudarzi, Damien Vergnaud, and Srinivas Vivek
How Fast Can Higher-Order Masking Be in Software? - EUROCRYPT
joint work with Dahmun Goudarzi

2016

On the Multiplicative Complexity of Boolean Functions and Bitsliced Higher-Order Masking - CHES
joint work with Dahmun Goudarzi
Lattice Attacks against Elliptic-Curve Signatures with Blinded Scalar Multiplication - SAC
joint work with Dahmun Goudarzi and Damien Vergnaud

2015

Algebraic Decomposition for Probing Security - CRYPTO
joint work with Claude Carlet, Emmanuel Prouff, and Thomas Roche

2014

How to Estimate the Success Rate of Higher-Order Side-Channel Attacks - CHES
joint work with Victor Lomné, Emmanuel Prouff, Thomas Roche, and Adrian Thillard
On Double Exponentiation for Securing RSA against Fault Analysis - CT-RSA
joint work with Duc-Phong Le and Chik How Tan
On the Practical Security of a Leakage Resilient Masking Scheme - CT-RSA
joint work with Emmanuel Prouff and Thomas Roche

2013

Masking against Side Channel Attacks: a Formal Security Proof - EUROCRYPT
joint work with Emmanuel Prouff
SCARE of Secret Ciphers with SPN Structures - ASIACRYPT
joint work with Thomas Roche
White-Box Security Notions for Symmetric Encryption Schemes - SAC
jont work with Cécile Delerablée, Tancrède Lepoint, and Pascal Paillier
Two Attacks on a White-Box AES Implementation - SAC
joint work with Tancrède Lepoint, Yoni De Mulder, Peter Roelse, and Bart Preneel
extended abstract of this paper merged with another paper
Higher-Order Side Channel Security and Mask Refreshing - FSE
joint work with Jean-Sébastien Coron, Emmanuel Prouff, and Thomas Roche

2012

Higher-Order Masking Schemes for S-boxes - FSE
joint work with Claude Carlet, Louis Goubin, Emmanuel Prouff, and Michael Quisquater
Conversion of Security Proofs from One Leakage Model to Another: a New Issue - COSADE
joint work with Jean-Sébastien Coron, Christophe Giraud, Emmanuel Prouff, Soline Renner, and Praveen Kumar Vadnala
Differential Fault Analysis of DES
book chapter in Fault Analysis in Cryptography

2011

Mutual Information Analysis: a Comprehensive Study - J. of Cryptology
joint work with Lejla Batina, Benedikt Gierlichs, Emmanuel Prouff, François-Xavier Standaert, and Nicolas Veyrat-Charvillon
Scalar Multiplication on Weierstraß Elliptic Curves from Co-Z Arithmetic - J. of Cryptographic Engineering
joint work with Raveen R. Goundar, Marc Joye, Atsuko Miyaji, and Alexandre Venelli
Univariate Side-Channel Attacks and Leakage Modeling - J. of Cryptographic Engineering
joint work with Julien Doget, Emmanuel Prouff, and François-Xavier Standaert
short version presented at COSADE 2011

2007

Side Channel Cryptanalysis of a Higher Order Masking Scheme - CHES
joint work with Jean-Sébastien Coron and Emmanuel Prouff - best paper award
A Generic Method for Secure SBox Implementation - WISA
joint work with Emmanuel Prouff

Preprints

Shared Permutation for Syndrome Decoding: New Zero-Knowledge Protocol and Code-Based Signature - 2021
joint work with Thibauld Feneuil and Antoine Joux
High Order Countermeasures for Elliptic-Curve Implementations with Noisy Leakage Security - 2021
joint work with Sonia Belaïd
Trap Me If You Can - Million Dollar Curve - 2015
joint work with Thomas Baignères, Cécile Delerablée, Matthieu Finiasz, Louis Goubin and Tancrède Lepoint
Another Nail in the Coffin of White-Box AES Implementations - 2013
joint work with Tancrède Lepoint
Fast and Regular Algorithms for Scalar Multiplication over Elliptic Curves - 2011

Habilitation Thesis

On the Provable Security of Cryptographic Implementations

Defended on June 21, 2022 at École Normale Supérieure (Paris).

Habilitation jury: Anne Canteaut, Jean-Sebastien Coron, Pierre-Alain Fouque, Yuval Ishai, Elisabeth Oswald, David Pointcheval, Bart Preneel, Emmanuel Prouff, Francois-Xavier Standaert

manuscript

PhD Thesis

On the Physical Security of Cryptographic Implementations

Defended on September 22, 2009 at University of Luxembourg.

PhD advisor: Jean-Sébastien Coron

PhD committee: Alex Biryukov, Jean-Sébastien Coron, Louis Goubin, Marc Joye, Franck Leprévost, François-Xavier Standaert