gdr-secu-jn2021 : Journées Nationales 2021 du GDR Sécurité Informatique
30 juin-2 juil. 2021 Virtuel (France)
FR
EN
Connexion
Mot de passe oublié ?
Créer un compte
Navigation
Accueil
Inscription
Programme
Remerciements
Liens vers les présentations
SUPPORT
@ Contact
Programme
Semaine
Mer. 30
Jeu. 01
Ven. 02
Liste
‹
vendredi 2 juillet 2021
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
›9:00 (1h30)
GT MFS
9:00 - 10:30 (1h30)
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)
›10:30 (30min)
Pause café
› Gather Town
10:30 - 11:00 (30min)
Pause café
Gather Town
›11:00 (45min)
GT MFS
11:00 - 11:45 (45min)
GT MFS
› Foundations for the New Spectre Era
- Tamara Rezk, INRIA Sophia Antipolis
11:00-11:45 (45min)
›11:45 (30min)
REDOCS
11:45 - 12:15 (30min)
REDOCS
› Token generation and security (sujet entreprise Be Ys)
- Diane Leblanc-Albarel, irisa
11:45-12:15 (30min)
›12:15 (30min)
Club des partenaires
12:15 - 12:45 (30min)
Club des partenaires
›12:45 (45min)
Conférence plénière
Language-Based Fuzzing - Andreas Zeller, CISPA
12:45 - 13:30 (45min)
Conférence plénière
Language-Based Fuzzing - Andreas Zeller, CISPA
›13:30 (15min)
Clôture
Caroline Fontaine
13:30 - 13:45 (15min)
Clôture
Caroline Fontaine
›13:45 (3h15)
Pause
› Gather Town
13:45 - 17:00 (3h15)
Pause
Gather Town
Session
Discours
Logistique
Pause
Sortie
Personnes connectées :
2
Vie privée
Chargement...