Planning
Time |
Event |
|
14:00 - 15:30
|
Error-correcting codes - Nicolas Sendrier |
|
16:00 - 17:30
|
Multivariate cryptography - Brice Minaud |
|
Time |
Event |
|
08:30 - 10:00
|
Error-correcting codes - Nicolas Sendrier |
|
10:30 - 12:00
|
Multivariate cryptography - Brice Minaud |
|
14:00 - 15:30
|
Zero-Knowledge Proofs & Post-Quantum Signatures from MPC in the Head - Matthieu Rivain |
|
16:00 - 17:30
|
Quantum computing and cryptanalysis - Xavier Bonnetain |
|
Time |
Event |
|
08:30 - 10:00
|
Zero-Knowledge Proofs & Post-Quantum Signatures from MPC in the Head - Matthieu Rivain |
|
10:15 - 11:45
|
Quantum computing and cryptanalysis - Xavier Bonnetain |
|
12:00 - 13:00
|
Isogeny - Luca De Feo |
|
Time |
Event |
|
08:30 - 10:00
|
Introduction to lattice-based cryptography - Alice Pellet--Mary |
|
10:30 - 12:30
|
Isogeny - Luca De Féo |
|
14:00 - 15:30
|
Introduction to lattice-based cryptography - Alice Pellet--Mary |
|
16:00 - 17:30
|
Side-channel analysis of cryptographic implementations : evaluation and counter-measures - Loïc Masure |
|
Time |
Event |
|
08:30 - 10:00
|
Side-channel analysis of cryptographic implementations : evaluation and counter-measures - Loïc Masure |
|
10:30 - 12:00
|
Formal verification of cryptographic protocols - how it works, what does formal guarantees even mean and why do we want that? - Charlie Jacomme |
|
|