Stabilité numérique des algorithmes de réduction de réseaux

Publications 2016-2020

• 2020
  • Th. Espitau, A. Joux : “Certified lattice reduction”, Advances in Mathematics of Communications, vol. 14 (1), pp. 137-159, (AIMS) (2020)
• 2018
  • Th. Espitau, P.‑A. Fouque, B. Gérard, M. Tibouchi : “Loop-Abort Faults on Lattice-Based Signatures and Key Exchange Protocols”, IEEE Transactions on Computers, vol. 67 (11), pp. 1535-1549, (Institute of Electrical and Electronics Engineers) (2018)
  • J. Bootle, C. Delaplace, Th. Espitau, P.‑A. Fouque, M. Tibouchi : “LWE Without Modular Reduction and Improved Side-Channel Attacks Against BLISS”, ASIACRYPT 2018 - 24^th International Conference on the Theory and Application of Cryptology and Information Security, vol. 11272, Lecture Notes in Computer Science, Brisbane, QLD, Australia, pp. 494-524, (IEEE) (2018)
  • G. Barthe, S. Belaid, Th. Espitau, P.‑A. Fouque, B. Grégoire, M. Rossi, M. Tibouchi : “Masking the GLP Lattice-Based Signature Scheme at Any Order”, Eurocrypt 2018 - 37^th Annual International Conference on the Theory and Applications of Cryptographic Techniques, vol. 10821, Lecture Notes in Computer Science, Tel Aviv, Israel, pp. 354-384, (Springer) (2018)
• 2017
  • J.‑F. Biasse, Th. Espitau, P.‑A. Fouque, A. Gélin, P. Kirchner : “Computing generator in cyclotomic integer rings: A subfield algorithm for the Principal Ideal Problem in Ll∆Kl(1/2) and application to cryptanalysis of a FHE scheme”, 36^th Annual International Conference on the Theory and Applications of Cryptographic Techniques (EUROCRYPT 2017), vol. 10210, Lecture Notes in Computer Science, Paris, France, pp. 60-88 (2017)
  • G. Barthe, Th. Espitau, J. Hsu, T. Sato, P.‑Y. Strub : “Liftings for Differential Privacy”, ICALP 2017, Varsovie, Poland (2017)
  • G. Barthe, Th. Espitau, B. Grégoire, J. Hsu, P.‑Y. Strub : “Proving uniformity and independence by self-composition and coupling”, LPAR 2017 - International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, LPAR 2017 - International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, pp. 19 (2017)
  • Th. Espitau, P.‑A. Fouque, B. Gérard, M. Tibouchi : “Side-Channel Attacks on BLISS Lattice-Based Signatures: Exploiting Branch Tracing against strongSwan and Electromagnetic Emanations in Microcontrollers”, 2017 ACM Conference on Computer and Communications Security (CCS 2017), Dallas, TX, USA, pp. 1857-1874, (ACM) (2017)
• 2016
  • Th. Espitau, P.‑A. Fouque, B. Gérard, M. Tibouchi : “Loop abort Faults on Lattice-Based Fiat-Shamir & Hash’n Sign signatures”, 23^rd Conference on Selected Area In Cryptography, Saint John's, Canada (2016)
  • G. Barthe, Th. Espitau, L. María Ferrer Fioriti, J. Hsu : “Synthesizing Probabilistic Invariants via Doob’s Decomposition”, 28^th International Conference on Computer Aided Verification , vol. 9779, Lecture Notes in Computer Science, Toronto, Canada, pp. 43-61, (Springer) (2016)