| 2020 | ICISC | (Quantum) Cryptanalysis of Misty Schemes. | Aline Gouget, Jacques Patarin, Ambre Toulemonde |
| 2012 | SEC | Formal Verification of the mERA-Based eServices with Trusted Third Party Protocol. | Maria Christofi, Aline Gouget |
| 2010 | FC | Multiple Denominations in E-cash with Compact Transaction Data. | Sbastien Canard, Aline Gouget |
| 2010 | FC | SPAKE: A Single-Party Public-Key Authenticated Key Exchange Protocol for Contact-Less Applications. | Jean-Sbastien Coron, Aline Gouget, Pascal Paillier, Karine Villegas |
| 2008 | ACNS | Anonymity in Transferable E-cash. | Sbastien Canard, Aline Gouget |
| 2008 | CARDIS | Recent Advances in Electronic Cash Design. | Aline Gouget |
| 2008 | FC | Improvement of Efficiency in (Unconditional) Anonymous Transferable E-Cash. | Sbastien Canard, Aline Gouget, Jacques Traor |
| 2008 | ProvSec | How to Use Merkle-Damgrd - On the Security Relations between Signature Schemes and Their Inner Hash Functions. | Emmanuel Bresson, Benot Chevallier-Mames, Christophe Clavier, Aline Gouget, Pascal Paillier, Thomas Peyrin |
| 2007 | EuroCrypt | Divisible E-Cash Systems Can Be Truly Anonymous. | Sbastien Canard, Aline Gouget |
| 2006 | ACNS | A Handy Multi-coupon System. | Sbastien Canard, Aline Gouget, Emeline Hufschmitt |
| 2006 | EuroCrypt | How to Strengthen Pseudo-random Generators by Using Compression. | Aline Gouget, Herv Sibert |
| 2005 | FSE | Analysis of the Bit-Search Generator and Sequence Compression Techniques. | Aline Gouget, Herv Sibert, Cme Berbain, Nicolas T. Courtois, Blandine Debraize, Chris J. Mitchell |
| 2002 | ASIACRYPT | An Upper Bound on the Number of m-Resilient Boolean Functions. | Claude Carlet, Aline Gouget |