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