gdr-secu-jn2021 : Journées Nationales 2021 du GDR Sécurité Informatique
30 Jun-2 Jul 2021 Virtuel (France)
FR
EN
Login
Lost password ?
Create account
Main menu
Home
Registration
Planning
Thanks to...
Slides
HELP
@ Contact
Planning
Week
Wed. 30
Thu. 01
Fri. 02
List
‹
Friday, July 2, 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)
Coffee break
› Gather Town
10:30 - 11:00 (30min)
Coffee break
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)
Partner Club
12:15 - 12:45 (30min)
Partner Club
›12:45 (45min)
Plenary Talk
Language-Based Fuzzing - Andreas Zeller, CISPA
12:45 - 13:30 (45min)
Plenary Talk
Language-Based Fuzzing - Andreas Zeller, CISPA
›13:30 (15min)
Ending
Caroline Fontaine
13:30 - 13:45 (15min)
Ending
Caroline Fontaine
›13:45 (3h15)
Break
› Gather Town
13:45 - 17:00 (3h15)
Break
Gather Town
Session
Speech
Logistics
Break
Tour
Online user:
16
Privacy
Loading...
Loading... 
Gather Town
