11:00
12:00
13:00
14:00
15:00
16:00
17:00
18:00
11:30 - 12:45 (1h15)
Déjeuner
Hall
12:45 - 13:00 (15min)
Accueil
Amphi 49
13:00 - 14:00 (1h)
Keynote - Sandrine Blazy
Amphi 49
› Verified compilation: towards zero-defect software
- Sandrine Blazy, Univ Rennes, Inria, CNRS, IRISA
13:00-14:00 (1h)
›14:00 (45min)
14:00 - 14:45 (45min)
Prix de thèse
› Symmetric cryptanalysis: from primitives to modes
- Rachelle Heim Boissier, Université catholique de Louvain
14:00-14:45 (45min)
14:45 - 15:15 (30min)
Pause café
Hall
›15:15 (45min)
15:15 - 16:00 (45min)
Plénière - José Lopes Esteves
› Electromagnetic interaction: threats for cybersecurity
- José Lopes Esteves, Wireless Security Lab, French Network and Information Security Agency
15:15-16:00 (45min)
16:00 - 16:45 (45min)
Plénière - Stéphanie Delaune
Amphi 49
› Formal verification of security protocols: the Squirrel prover
- Stéphanie Delaune, Institut de Recherche en Informatique et Systèmes Aléatoires
16:00-16:45 (45min)
16:45 - 17:00 (15min)
Mini pause
Hall
17:00 - 18:30 (1h30)
Assemblée générale
Amphi 49
