Research


Cryptography

My research interests mostly lie in Lattice-based crypto, from the mathematical point of view of the geometry of numbers, following the work of Gauss and Lagrange, to implementations related problems such as fault attacks on lattice-based schemes.

Verification

Formal verification is a vibrant field of research, where mathematics and logic are deeply bound to (dis)prove the correctness of programs. I enjoy working on these problematics with tools coming from probability theory, such as couplings or martingales.

| Drafts and Eprints

| Conference papers

*-liftings for Differential Privacy with G. Barthe, B. Gregoire, J. Hsu, T. Sato and P.Y Strub ICALP 17
Computing generator in cyclotomic integer rings with P-A. Fouque, A. Gélin and P. Kirchner, merged with Jean-François Biasse. EUROCRYPT 17
Proving uniformity and independence by self-composition and coupling with G. Barthe, B. Gregoire, J. Hsu and P.Y Strub LPAR 17
Loop abort faults on lattice-based fiat-shamir, Hash and Sign signatures with P.A. Fouque, B. Gerard, M. Tibouchi SAC 16
Synthesizing probabilistic invariants via doob’s decomposition with G. Barthe, J. Hsu, L.M. Fioriti CAV 16
Relational reasoning via probabilistic coupling with G. Barthe, B. Gregoire, J. Hsu and P.Y Strub LPAR 15
Higer order differentials mitm preimages attacks on blake, sha-1 with P.A. Fouque, P. Karpman CRYPTO 15

| Talks

Principal ideal problem in cyclotomic fields and cryptanalysis of FHE schemes. HEAT technical workshop Leuven, Belgium, 06/2017
Algebraic number theory and Side-Channel Attacks on BLISS signature scheme Lattice and Crypto meeting E.N.S. Lyon, France, 04/2017
Physical attacks against lattice-based schemes Invited talk at FOQUS workshop Paris, France, 04/2017
Solving the Principal Ideal Problem in cyclotomic fields. Lattice and Crypto meeting E.N.S. Lyon, France, 03/2017
A crash course in Algebraic number theory and application to cryptanalysis N.T.T. seminar Tokyo, Japan, 02/2017
Synthesizing probabilistic invariants via doob’s decomposition LIP 6 Seminar Paris, France, 12/2016
Loop abort faults on lattice-based fiat-shamir, Hash and Sign signatures SAC 16 Saint John's, Canada, 08/2016
Synthesizing probabilistic invariants via doob’s decomposition CAV 16 Toronto, Canada, 07/2016
Loop abort faults on lattice-based signatures WHEAT 16 Paris, France, 06/2016
Higer order differentials mitm preimages attacks on blake, sha-1 Crypto 15 Santa Barbara, U.S.A, 08/2015