Program
 |
Monday, March 21, 2022 ›
|
|
07:00
08:00
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
18:00
19:00
20:00
21:00
22:00
23:00
|
›8:45 (15min)
Welcome
Sébastien Bardin et Jannik Dreier
›10:30 (1h)
GT MFS
Protocol Verification 1 - Chair: Joseph Lallemand
›11:50 (40min)
GT MFS
Cryptographic Implementations - Chair: Caroline Fontaine
›15:30 (1h)
GT MFS
Static Analysis 1 - Chair: Michael Marcozzi
›17:00 (1h)
GT MFS
Program Verification 1 - Chair: Julien Signoles
|
|
Session |
|
Speech |
|
Logistics |
|
Break |
|
Tour |
|
Loading...