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 — Bogdan Warinschi (to be confirmed)
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
