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

GT MFS

› DY*: Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code - Ralf Kuesters, University of Stuttgart 09:00-09:45 (45min)

› Formal Verification of the Tezos Code Base - Zaynah Dargaye, Nomadic Labs 09:45-10:30 (45min)

Pause café

Gather Town

GT MFS

› Foundations for the New Spectre Era - Tamara Rezk, INRIA Sophia Antipolis 11:00-11:45 (45min)

REDOCS

› Token generation and security (sujet entreprise Be Ys) - Diane Leblanc-Albarel, irisa 11:45-12:15 (30min)

Club des partenaires

Conférence plénière

Language-Based Fuzzing - Andreas Zeller, CISPA

Clôture

Caroline Fontaine

Pause

Gather Town