Program
| Time |
Event |
(+)
|
|
08:45 - 09:00
|
Opening - Sébastien Bardin & Stéphanie Delaune |
|
|
09:00 - 10:30
|
Software vulnerabilities - Laurent Mounier |
|
|
11:00 - 12:30
|
Security protocols (part I) - Jannik Dreier & Lucca Hirschi |
|
|
14:00 - 15:30
|
Software vulnerabilities - TP - Laurent Mounier |
|
|
14:00 - 15:30
|
Tamarin - TP - Jannik Dreier & Lucca Hirschi |
|
|
16:00 - 17:00
|
Student session |
|
Tuesday, February 9, 2021
| Time |
Event |
(+)
|
|
09:00 - 10:30
|
Differential analysis - Marine Minier |
|
|
11:00 - 12:30
|
Cryptographic Constant-Time Verification (part I) - David Pichardie |
|
|
14:00 - 15:30
|
Tamarin - TP - Jannik Dreier & Lucca Hirschi |
|
|
14:00 - 15:30
|
Software vulnerabilities - TP - Laurent Mounier |
|
|
16:00 - 17:00
|
Student session |
|
|
18:00 - 19:30
|
Social Event - Escape game online (specific registration required) |
|
Wednesday, February 10, 2021
| Time |
Event |
(+)
|
|
09:00 - 10:30
|
Security protocols (part II) - Jannik Dreier & Lucca Hirschi |
|
|
11:00 - 12:30
|
Cryptographic Constant-Time Verification (part II) - David Pichardie |
|
Thursday, February 11, 2021
| Time |
Event |
(+)
|
|
09:00 - 10:30
|
Formal security proofs of assembly cryptographic implementations - Benjamin Grégoire |
|
|
11:00 - 12:30
|
Frama-C - Julien Signoles |
|
|
14:00 - 15:30
|
EasyCrypt - TP - Benjamin Grégoire & Pierre-Yves Strub |
|
|
14:00 - 15:30
|
Frama-C - TP - Julien Signoles |
|
|
16:00 - 16:30
|
Sponsor: ANSSI - Patricia Mouy |
|
|
16:30 - 17:00
|
Sponsor: Facebook - Jules Villard |
|
Friday, February 12, 2021
| Time |
Event |
(+)
|
|
09:00 - 10:30
|
Malware analysis - Jean-Yves Marion |
|
|
11:00 - 12:30
|
Attaques en faute - Karine Heydemann |
|
|
12:30 - 12:45
|
Ending - Sébastien & Stéphanie |
|
|
14:00 - 15:30
|
Frama-C - TP - Julien Signoles |
|
|
14:00 - 15:30
|
EasyCrypt - TP - Benjamin Grégoire & Pierre-Yves Strub |
|
|
