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 - 11:00 (1h15)
session 1
Amphi
Chair Stéphanie Delaune
› Automatic verification of Finite Variant Property beyond convergent equational theories.
- Vincent Cheval
09:45-10:30 (45min)
› Propositional Logics of Overwhelming Truth
- Antoine Thibaut
10:30-11:00 (30min)
11:00 - 11:15 (15min)
Pause café
11:15 - 12:15 (1h)
Session 2
Amphi
Chair Adrien Koustos
› Towards verifiable postal voting
- Léo Louistisserand
11:15-11:45 (30min)
› How efficient are replay attacks against vote privacy? A formal quantitative analysis
- Johannes Mueller
11:45-12:15 (30min)
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 - 15:00 (1h30)
Session 3
Amphi
Chair Véronique Cortier
› Preservation of Speculative Constant-Time by Compilation
- Benjamin Grégoire
13:30-14:00 (30min)
› Password-Authenticated Key Agreement" et leurs preuves calculatoire
- Guillaume Scerri
14:00-14:30 (30min)
› A post-quantum sound CryptoVerif and applications to SSH and TLS
- Charlie Jacomme
14:30-15:00 (30min)
15:00 - 15:25 (25min)
Pause café
15:25 - 16:25 (1h)
Session 4
Amphi
Chair Benjamin Grégoire
› HACL-rs: Porting verified C code to safe Rust
- Aymeric Fromherz
15:25-15:55 (30min)
› Modeling ceremonies using transformations
- Barbara Fila
15:55-16:25 (30min)
16:30 - 17:00 (30min)
Buisness meeting
Amphi
Stéphanie Delaune
