J. Bootle, C. Delaplace, Th. Espitau, P.‑A. Fouque, M. Tibouchi : “LWE Without Modular Reduction and Improved Side-Channel Attacks Against BLISS”, ASIACRYPT 2018 - 24th 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 - 37th 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)
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)
G. Barthe, Th. Espitau, L. María Ferrer Fioriti, J. Hsu : “Synthesizing Probabilistic Invariants via Doob’s Decomposition”, 28th International Conference on Computer Aided Verification , vol. 9779, Lecture Notes in Computer Science, Toronto, Canada, pp. 43-61, (Springer) (2016)