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
›7:45 (1h)
›8:45 (15min)
Welcome
Sébastien Bardin et Jannik Dreier
›10:00 (30min)
›10:30 (1h)
GT MFS
Protocol Verification 1 - Chair: Joseph Lallemand
›11:30 (20min)
›11:50 (40min)
GT MFS
Cryptographic Implementations - Chair: Caroline Fontaine
›12:30 (1h30)
›15:00 (30min)
›15:30 (1h)
GT MFS
Static Analysis 1 - Chair: Michael Marcozzi
›16:30 (30min)
›17:00 (1h)
GT MFS
Program Verification 1 - Chair: Julien Signoles
›20:00 (3h)
Session
Speech
Logistics
Break
Tour