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 implementations, side-channel attacks and white-box cryptography.

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



News:

Dec 10, 2021: Paper IronMask: Versatile Verification of Masking Security accepted at S&P  
Aug 24, 2021: Paper Dynamic Random Probing Expansion with Quasi Linear Asymptotic Complexity accepted at ASIACRYPT  
Aug 16, 2021:Jury member for the PhD defense of Melissa Azouaoui  
Apr 13, 2021: Announcement of the CHES 2021 Challenge featuring two tracks: HACK@CHES (hardware security) & WhibOx (white-box cryptography)  
Mar 16, 2021: Paper on Probing Security through Input-Output Separation and Revisited Quasilinear Masking accepted at TCHES  

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

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   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: