Matthieu Rivain

About

I'm an entrepreneur and researcher 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. My main research topics are provable security for cryptographic ilmplementations, side-channel attacks and white-box cryptography.

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

News:

Jul 7, 2020: Attending Online Workshop on Threshold Schemes for NIST-approved ...
Jun 24, 2020: PhD defense of Junwei Wang
May 19, 2020: Paper on random probing security at CRYPTO
May 11, 2020: Tornado source code is online
Mar 31, 2020: Paper at TCHES on new attack techniques against WhibOx 2019 winners
Mar 31, 2020: Pyjamask paper accepted at ToSC
Jan 20, 2020: Tornado paper accepted at Eurocrypt
Jan 5-10, 2020: Attending HACS and RWC in NYC
Aug 30, 2019: Pyjamask selected to 2nd round of NIST call

Scientific Activities

Current projects:
- VERISICC: FUI funded project on formal verification of side-channel countermeasures
- IDECYS+: FUI funded project on simple and reliable electronic identity applications
- SWITECH: ANR funded project on white-box cryptography
- Pyjamask: a cipher submitted to NIST call for lightweight cryptography

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

Program committee member of EUROCRYPT 2021 Latin Crypt 2020 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

PhD advisor of
- 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

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 (CHES 2017 CTF) and edition 2 (CHES 2019 CTF)

Member of IACR since 2007

Publications

2020

Random Probing Security: Verification, Composition, Expansion and New Constructions - CRYPTO 2020
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 2020
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 2019
joint work with Andrey Bogdanov, Philip S. Vejre and Junwei Wang

2018

How to Securely Compute with Noisy Leakage in Quasilinear Complexity - ASIACRYPT 2018
joint work with Dahmun Goudarzi and Antoine Joux
Tight Private Circuits: Achieving Probing Security with the Least Refreshing - ASIACRYPT 2018
joint work with Sonia Belaïd and Dahmun Goudarzi
Secure Multiplication for Bitslice Higher-Order Masking: Optimisation and Comparison - COSADE 2018
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 2017
joint work with Dahmun Goudarzi, Damien Vergnaud, and Srinivas Vivek
How Fast Can Higher-Order Masking Be in Software? - EUROCRYPT 2017
joint work with Dahmun Goudarzi

2016

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

2015

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

2014

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

2013

Masking against Side Channel Attacks: a Formal Security Proof - EUROCRYPT 2013
joint work with Emmanuel Prouff
SCARE of Secret Ciphers with SPN Structures - ASIACRYPT 2013
joint work with Thomas Roche
White-Box Security Notions for Symmetric Encryption Schemes - SAC 2013
jont work with Cécile Delerablée, Tancrède Lepoint, and Pascal Paillier
Two Attacks on a White-Box AES Implementation - SAC 2013
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 2013
joint work with Jean-Sébastien Coron, Emmanuel Prouff, and Thomas Roche

2012

Higher-Order Masking Schemes for S-boxes - FSE 2012
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 2012
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

2010

Provably Secure Higher-Order Masking of AES - CHES 2010
joint work with Emmanuel Prouff
Affine Masking against Higher-Order Side Channel Analysis - SAC 2010
joint work with Guillaume Fumaroli, Ange Martinelli, and Emmanuel Prouff
Theoretical and Practical Aspects of Mutual Information Based Side Channel Analysis (Extended Version) - Int. J. of Applied Cryptography
joint work with Emmanuel Prouff

2009

Statistical Analysis of Second Order Differential Power Analysis - IEEE Transactions on Computers
joint work with Emmanuel Prouff and Régis Bévan
Higher-Order Masking and Shuffling for Software Implementations of Block Ciphers - CHES 2009
joint work with Emmanuel Prouff and Julien Doget
Differential Fault Analysis on DES Middle Rounds - CHES 2009
Securing RSA against Fault Analysis by Double Addition Chain Exponentiation - CT-RSA 2009
Theoretical and Practical Aspects of Mutual Information Based Side Channel Analysis - ACNS 2009
joint work with Emmanuel Prouff
On Second-Order Fault Analysis Resistance for CRT-RSA Implementations - WISTP 2009
joint work with Emmanuelle Dottax, Christophe Giraud, and Yannick Sierra - best paper award

2008

Attack and Improvement of a Secure S-Box Calculation Based on the Fourier Transform - CHES 2008
joint work with Jean-Sébastien Coron, Christophe Giraud, and Emmanuel Prouff - best paper award
Block Ciphers Implementations Provably Secure Against Second Order Side Channel Analysis - FSE 2008
joint work with Emmanuelle Dottax and Emmanuel Prouff
On the Exact Success Rate of Side Channel Analysis in the Gaussian Model - SAC 2008

2007

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

Preprints

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

Thesis

On the Physical Security of Cryptographic Implementations

PhD thesis defended on September 22nd 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

pdf file

Talks

Securing Cryptographic Modules: A Shades of Gray Story - slides
Keynote talk at ICMC19, 16 May 2019, Vancouver
Secure Computation in the Presence of Noisy Leakage - slides
Invited talk at Journées C2, 10 October 2018, Aussois (France)
White-Box Cryptography - slides
Invited talk at CARDIS 2017, 14 November 2017, Lugano
White-Box Cryptography - slides
Invited talk at Journées Nationales 2017 Pré-GDR Sécurité Informatique, 31 May 2017, Paris
White-Box Cryptography - slides
Keynote talk at PHISIC 2016, École des Mines de Saint-Étienne, Provence
From Obfuscation to White-Box Crypto: Relaxation and Security Notions - slides
WhibOx 2016, 14 August 2016, Santa Barbara
Lattice Attacks against Elliptic-Curve Signatures with Blinded Scalar Multiplication - slides
SAC 2016, 12 August 2016, St John's (Newfoundland, Canada)
Provable Security against Side-Channel Attacks - slides
MCrypt Seminar, 11 August 2014, Les Deux Alpes (France)
SCARE of Secret Ciphers with SPN Structures - slides
ASIACRYPT 2013, 3 December 2013, Bangalore
Masking against Side-Channel Attacks: a Formal Security Proof - slides
EUROCRYPT 2013, 27 May 2013, Athens
Higher-Order Masking Schemes for S-boxes - slides
FSE 2012, 21st March 2012, Washington DC
Provably Secure Higher-Order Masking of AES - slides
CHES 2010, 20 August 2010, Santa Barbara
On the Physical Security of Cryptographic Implementations - slides
PhD defense, 22 September 2009, University of Luxembourg
Securing RSA against Fault Analysis by Double Addition Chain Exponentiation - slides
CT-RSA 2009, 24 April 2009, San Francisco
Attack and Improvement of a Secure S-box Calculation Based on the Fourier Transform - slides
CHES 2008, 11 August 2008, Washington DC
Block Ciphers Implementations Provably Secure Against Second Order Side Channel Analysis - slides
FSE 2008, 11 February, Lausane
Side Channel Cryptanalysis of a Higher Order Masking Scheme - slides
CHES 2007, 11 September 2007, Vienna

Contact information

If you wish to contact me, send me an email: