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 |