|
09:15 - 09:30
|
Accueil |
|
|
09:30 - 09:45
|
Introduction (Amphi) - Stéphanie Delaune |
|
|
09:45 - 10:30
|
Automatic verification of Finite Variant Property beyond convergent equational theories. (Amphi) - Vincent Cheval |
|
|
10:30 - 11:00
|
Propositional Logics of Overwhelming Truth. (Amphi) - Thibaut Antoine |
|
|
11:00 - 11:15
|
Pause café |
|
|
11:15 - 11:45
|
Towards verifiable postal voting (Amphi) - Léo Louistisserand |
|
|
11:45 - 12:15
|
How efficient are replay attacks against vote privacy? A formal quantitative analysis (Amphi) - 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 - 14:00
|
A quantitative probabilistic relational Hoare logic - 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 - 15:55
|
Dealing with dynamic key compromise in CryptoVerif (Amphi) - Bruno blanchet |
|
|
15:55 - 16:25
|
A definir (Amphi) - Barbara Fila |
|
|
16:30 - 17:00
|
Buisness meeting - Stéphanie Delaune |
|
