Journées Nationales 2025 du GDR Sécurité Informatique

11:30 - 12:45 (1h15)

Lunch

Hall

12:45 - 13:00 (15min)

Welcome

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

PhD Award

› Symmetric cryptanalysis: from primitives to modes - Rachelle Heim Boissier, Université catholique de Louvain 14:00-14:45 (45min)

14:45 - 15:15 (30min)

Coffee break

Hall

15:15 - 16:00 (45min)

Plenary - 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)

Plenary - 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)

Small break

Hall

17:00 - 18:30 (1h30)

Annual General Meeting

Amphi 49

Planning