09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
18:00
19:00
20:00
21:00
›9:00 (1h)
9:00 - 10:00 (1h)
Keynote: DY Fuzzing: Putting a Dolev-Yao attacker in the fuzzing loop
Steve Kremer
›10:00 (30min)
10:00 - 10:30 (30min)
Coffee break
›10:30 (1h40)
10:30 - 12:10 (1h40)
Formal methods and cryptography
Charlie Jacomme (session chair)
› Proving e-voting mixnets in the CCSA model: zero-knowledge proofs and rewinding
- Margot Catinaud, Laboratoire Méthodes Formelles
10:30-10:55 (25min)
› A Probabilistic Logic for Concrete Security
- Théo Vignon, Laboratoire Méthodes Formelles
10:55-11:20 (25min)
› Secrecy by typing in the computational model
- Clément Hérouard, Institut de Recherche en Informatique et Systèmes Aléatoires
11:20-11:45 (25min)
› Verification of security protocols : using SMT solvers in the Squirrel prover
- Stanislas Riou, Université de Rennes
11:45-12:10 (25min)
›12:10 (1h50)
12:10 - 14:00 (1h50)
Lunch
›14:00 (4h)
14:00 - 18:00 (4h)
Visite chateau d'Oléron
›18:30 (1h)
18:30 - 19:30 (1h)
Cocktail
›19:30 (1h30)
19:30 - 21:00 (1h30)
Banquet
