PQ-TLS Ecole d'été 2024 - Sciencesconf.org

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

	Mon. 17	Tue. 18	Wed. 19	Thu. 20	Fri. 21
08:00 09:00 10:00 11:00 12:00 13:00 14:00 15:00 16:00 17:00	Error-correcting codes 14:00 - 15:30 (1h30) Error-correcting codes Nicolas Sendrier Multivariate cryptography 16:00 - 17:30 (1h30) Multivariate cryptography Brice Minaud	Error-correcting codes 8:30 - 10:00 (1h30) Error-correcting codes Nicolas Sendrier Multivariate cryptography 10:30 - 12:00 (1h30) Multivariate cryptography Brice Minaud Zero-Knowledge Proofs & Post-Quantum Signatures from MPC in the Head 14:00 - 15:30 (1h30) Zero-Knowledge Proofs & Post-Quantum Signatures from MPC in the Head Matthieu Rivain Quantum computing and cryptanalysis 16:00 - 17:30 (1h30) Quantum computing and cryptanalysis Xavier Bonnetain	Zero-Knowledge Proofs & Post-Quantum Signatures from MPC in the Head 8:30 - 10:00 (1h30) Zero-Knowledge Proofs & Post-Quantum Signatures from MPC in the Head Matthieu Rivain Quantum computing and cryptanalysis 10:15 - 11:45 (1h30) Quantum computing and cryptanalysis Xavier Bonnetain Isogeny 12:00 - 13:00 (1h) Isogeny Luca De Feo	Introduction to lattice-based cryptography 8:30 - 10:00 (1h30) Introduction to lattice-based cryptography Alice Pellet--Mary Isogeny 10:30 - 12:30 (2h) Isogeny Luca De Féo Introduction to lattice-based cryptography 14:00 - 15:30 (1h30) Introduction to lattice-based cryptography Alice Pellet--Mary Side-channel analysis of cryptographic implementations : evaluation and counter-measures 16:00 - 17:30 (1h30) Side-channel analysis of cryptographic implementations : evaluation and counter-measures Loïc Masure	Side-channel analysis of cryptographic implementations : evaluation and counter-measures 8:30 - 10:00 (1h30) Side-channel analysis of cryptographic implementations : evaluation and counter-measures Loïc Masure Formal verification of cryptographic protocols - how it works, what does formal guarantees even mean and why do we want that? 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