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

Generalized Howgrave-Graham–Szydlo and Side-Channel Attacks Against BLISS with P.A. Fouque, B. Gerard, M. Tibouchi
Proving uniformity and independence by self-composition and coupling with G. Barthe, B. Gregoire, J. Hsu and P.Y Strub
Relational expectation properties by probabilistic coupling with G. Barthe, B. Gregoire, J. Hsu and P.Y Strub
Formal verification of randomized algorithms with G. Barthe, M. Gaboardi, B. Gregoire, J. Hsu and P.Y Strub
Adaptive precision LLL and Potential-LLL
reductions with Interval arithmetic
with A. Joux

| Conference papers

Computing generator in cyclotomic integer rings with P-A. Fouque, A. Gélin and P. Kirchner, merged with Jean-François Biasse. EUROCRYPT 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