| 2026 | PKC | DAKE: Bandwidth-Efficient (U)AKE from Double-KEM. | Hugo Beguinet, Cline Chevalier, Guirec Lebrun, Thomas Legavre, Thomas Ricosset, Maxime Romas, ric Sageloli |
| 2024 | CRYPTO | Polytopes in the Fiat-Shamir with Aborts Paradigm. | Henry Bambury, Hugo Beguinet, Thomas Ricosset, ric Sageloli |
| 2023 | ACNS | GeT a CAKE: Generic Transformations from Key Encaspulation Mechanisms to Password Authenticated Key Exchanges. | Hugo Beguinet, Cline Chevalier, David Pointcheval, Thomas Ricosset, Mlissa Rossi |
| 2023 | VECoS | Formal Verification of a Post-quantum Signal Protocol with Tamarin. | Hugo Beguinet, Cline Chevalier, Thomas Ricosset, Hugo Senet |
| 2020 | INDOCRYPT | Transciphering, Using FiLIP and TFHE for an Efficient Delegation of Computation. | Clment Hoffmann, Pierrick Maux, Thomas Ricosset |
| 2020 | PQCrypto | Isochronous Gaussian Sampling: From Inception to Implementation. | James Howe, Thomas Prest, Thomas Ricosset, Mlissa Rossi |
| 2017 | ACNS | Sampling from Arbitrary Centered Discrete Gaussians for Lattice-Based Cryptography. | Carlos Aguilar Melchor, Martin R. Albrecht, Thomas Ricosset |