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) [Barthe 2018a]
G. Barthe, Th. Espitau, M. Gaboardi, B. Grégoire, J. Hsu, P.‑Y. Strub : “An Assertion-Based Program Logic for Probabilistic Programs”, Lecture Notes in Computer Science, Proceedings of ESOP 2018 - 27th European Symposium on Programming, Thessaloniki, Greece, pp. 117-144, (Springer) [Barthe 2018b]
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) [Bootle 2018]