09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
9:15 - 9:30 (15min)
Accueil
9:30 - 9:45 (15min)
Introduction
Amphi
Stéphanie Delaune
9:45 - 10:30 (45min)
Automatic verification of Finite Variant Property beyond convergent equational theories.
Amphi
Vincent Cheval
10:30 - 11:00 (30min)
Propositional Logics of Overwhelming Truth.
Amphi
Thibaut Antoine
11:00 - 11:15 (15min)
Pause café
11:15 - 11:45 (30min)
Towards verifiable postal voting
Amphi
Léo Louistisserand
11:45 - 12:15 (30min)
How efficient are replay attacks against vote privacy? A formal quantitative analysis
Amphi
Johannes Mueller
12:15 - 12:30 (15min)
Collaborations PEPR Cybersécurité X PTCC (Programme de transfert au Campus Cyber)
Amphi
Francois Teyssier
12:30 - 13:30 (1h)
Déjeuner
13:30 - 14:00 (30min)
A quantitative probabilistic relational Hoare logic
Benjamin Grégoire
14:00 - 14:30 (30min)
Password-Authenticated Key Agreement" et leurs preuves calculatoire
Guillaume Scerri
14:30 - 15:00 (30min)
A post-quantum sound CryptoVerif and applications to SSH and TLS
Charlie Jacomme
15:00 - 15:25 (25min)
Pause café
15:25 - 15:55 (30min)
Dealing with dynamic key compromise in CryptoVerif
Amphi
Bruno blanchet
15:55 - 16:25 (30min)
A definir
Amphi
Barbara Fila
16:30 - 17:00 (30min)
Buisness meeting
Stéphanie Delaune
