Programme

vendredi 24 mars 2023

Heures événement  
09:15 - 09:30 Accueil (JL Lions 2)  
09:30 - 09:45 Welcome - SVP in a nutshell (JL Lions 2) - Stephanie Delaune  
09:45 - 10:15 Indistinguishability Beyond Diff-Equivalence in ProVerif (JL Lions 2) - Vincent Cheval  
10:15 - 10:45 Enhencing tamarin-prover automation (JL Lions 2) - Maiwenn Racouchot  
10:45 - 11:00 Pause café (JL Lions 2)  
11:00 - 11:30 Formally verifying Kyber (JL Lions 2) - Vincent Laporte  
11:45 - 13:30 Déjeuner (restaurant le repaire)  
13:30 - 14:00 Precise bounds for the computationally complete symbolic attacker, the key to verifying an unbounded number of sessions ? (JL Lions 2) - Guillaume Scerri  
14:00 - 14:30 A systematic study of Bluetooth key agreements with Tamarin (JL Lions 2) - Tristan Claverie  
14:30 - 15:00 Sound Verification of Security Protocols: From Design to Interoperable Implementations (JL Lions 2) - Joseph Lallemand  
15:00 - 15:30 Pause café (JL Lions 2)  
15:30 - 16:00 cybersécurité (JL Lions 2) - Benjamin Gregoire  
16:00 - 16:30 StarMalloc: A Modern, Security-Oriented Verified Memory Allocator (JL Lions 2) - Aymeric Fromherz  
16:30 - 17:15 fonctionnement général du projet - Point administratif sur le rapport d'activité  
  
Personnes connectées : 3 Vie privée
Chargement...