Program

Week Mon. 08 Tue. 09 Wed. 10 Thu. 11 Fri. 12 List

‹ Thursday, February 11, 2021 ›

09:00

10:00

11:00

12:00

13:00

14:00

15:00

16:00

17:00

›9:00 (1h30)

Formal security proofs of assembly cryptographic implementations
Benjamin Grégoire

›11:00 (1h30)

Frama-C
Julien Signoles

›14:00 (1h30)

EasyCrypt - TP
Benjamin Grégoire & Pierre-Yves Strub

›14:00 (1h30)

Frama-C - TP
Julien Signoles

›16:00 (30min)

Sponsor: ANSSI
Patricia Mouy

›16:30 (30min)

Sponsor: Facebook
Jules Villard

Session

Speech

Logistics

Break

Tour

Online user: 2

Privacy