Program

  • 09:30 — Welcome coffe
  • 10:00 — Opening
  • 10:20 — A few words by Hubert Comon, Véronique’s PhD advisor
  • 10:30 — Stéphanie Delaune – Reducing the number of session: a long-standing research question
  • 11:20 — Coffee break
  • 11:40 — Bruno Blanchet – Dealing with Key Compromise in CryptoVerif
  • 12:30 — Lunch
  • 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 — Coffee break
  • 16:00 — Pierrick Gaudry – Belenios: 10 years of evolution
  • 16:50 — Conclusion followed by a cocktail

Comments are closed.