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. My main research topics are provable security for cryptographic implementations, side-channel attacks and white-box cryptography.

This webpage contains information about my scientific activities, publications, PhD 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  
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  
May 19, 2022: Paper Syndrome Decoding in the Head: Shorter Signatures from Zero-Knowledge Proofs accepted at CRYPTO  
Dec 10, 2021: Paper IronMask: Versatile Verification of Masking Security accepted at S&P  

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

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

Preprints

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

Contact information

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