|
Monday, June 17, 2024
| Time | Event | (+) |
| 14:00 - 15:30 | Error-correcting codes - Nicolas Sendrier | |
| 16:00 - 17:30 | Multivariate cryptography - Brice Minaud |
Tuesday, June 18, 2024
| 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 |
Wednesday, June 19, 2024
| 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 |
Thursday, June 20, 2024
| 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 |
Friday, June 21, 2024
| 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 |
|
|