svp2025 : PEPR-SVP-2025 : Journée du PEPR cybersécurité SVP 28/01/2025

28-28 janv. 2025 Paris (France)

FR EN

Programme

Semaine Mar. 28 Liste

mardi 28 janvier 2025

09:00

10:00

11:00

12:00

13:00

14:00

15:00

16:00

17:00

›9:15 (15min)

Accueil

›9:30 (15min)

Introduction
Stéphanie Delaune

› Amphi

›9:45 (45min)

Automatic verification of Finite Variant Property beyond convergent equational theories.
Vincent Cheval

› Amphi

›10:30 (30min)

Propositional Logics of Overwhelming Truth.
Thibaut Antoine

› Amphi

›11:00 (15min)

Pause café

›11:15 (30min)

Towards verifiable postal voting
Léo Louistisserand

› Amphi

›11:45 (30min)

How efficient are replay attacks against vote privacy? A formal quantitative analysis
Johannes Mueller

› Amphi

›12:15 (15min)

Collaborations PEPR Cybersécurité X PTCC (Programme de transfert au Campus Cyber)
Francois Teyssier

› Amphi

›12:30 (1h)

Déjeuner

›13:30 (30min)

A quantitative probabilistic relational Hoare logic
Benjamin Grégoire

›14:00 (30min)

Password-Authenticated Key Agreement" et leurs preuves calculatoire
Guillaume Scerri

›14:30 (30min)

A post-quantum sound CryptoVerif and applications to SSH and TLS
Charlie Jacomme

›15:00 (25min)

Pause café

›15:25 (30min)

Dealing with dynamic key compromise in CryptoVerif
Bruno blanchet

› Amphi

›15:55 (30min)

A definir
Barbara Fila

› Amphi

›16:30 (30min)

Buisness meeting
Stéphanie Delaune

Session

Discours

Logistique

Pause

Sortie

Personnes connectées : 1

Vie privée