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