- 09:30 — Café d’accueil
- 10:00 — Ouverture de la journée
- 10:20 — Quelques mots par Hubert Comon, directeur de thèse de Véronique
- 10:30 — Stéphanie Delaune – Reducing the number of session: a long-standing research question
- 11:20 — Pause café
- 11:40 — Bruno Blanchet – Dealing with Key Compromise in CryptoVerif
- 12:30 — Repas
- 14:00 — Alexandre Debant – Reversing, Breaking, and Fixing the French Legislative Election E-Voting Protocol
- 14:50 — Olivier Pereira – How to Verifiably Encrypt Many Bits for an Election?
- 15:40 — Pause café
- 16:00 — Pierrick Gaudry – Belenios: 10 years of evolution
- 16:50 — Conclusion suivie d’un cocktail