PQ-TLS Summer school 2024

17-21 Jun 2024 Anglet (France)

FR EN

Planning

Week Mon. 17 Tue. 18 Wed. 19 Thu. 20 Fri. 21 List

‹ Friday, June 21, 2024

08:00

09:00

10:00

11:00

12:00

›8:30 (1h30)

Side-channel analysis of cryptographic implementations : evaluation and counter-measures
Loïc Masure

›10:30 (1h30)

Formal verification of cryptographic protocols - how it works, what does formal guarantees even mean and why do we want that?
Charlie Jacomme

Session

Speech

Logistics

Break

Tour

Online user: 1

Privacy

Loading...