08:00
09:00
10:00
11:00
12:00
›8:30 (1h30)
8:30 - 10:00 (1h30)
Side-channel analysis of cryptographic implementations : evaluation and counter-measures
Loïc Masure
10:30 - 12:00 (1h30)
Formal verification of cryptographic protocols - how it works, what does formal guarantees even mean and why do we want that?
Charlie Jacomme
