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

9:15 - 9:30 (15min)

Accueil

9:30 - 9:45 (15min)

Introduction

Amphi

Stéphanie Delaune

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 - 11:15 (15min)

Pause café

11:15 - 11:45 (30min)

Towards verifiable postal voting

Amphi

Léo Louistisserand

11:45 - 12:15 (30min)

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

Amphi

Johannes Mueller

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 - 14:00 (30min)

A quantitative probabilistic relational Hoare logic

Benjamin Grégoire

14:00 - 14:30 (30min)

Password-Authenticated Key Agreement" et leurs preuves calculatoire

Guillaume Scerri

14:30 - 15:00 (30min)

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

Charlie Jacomme

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 - 17:00 (30min)

Buisness meeting

Stéphanie Delaune