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