lundi 17 juin 2024
Heures | événement | |
14:00 - 15:30 | Codes correcteurs d'erreurs - Nicolas Sendrier | |
16:00 - 17:30 | Cryptographie multivariée - Brice Minaud |
mardi 18 juin 2024
Heures | événement | |
08:30 - 10:00 | Codes correcteurs d'erreurs - Nicolas Sendrier | |
10:30 - 12:00 | Cryptographie multivariée - Brice Minaud | |
14:00 - 15:30 | Schéma de signature issue des techniques de calculs distribués (MPC in the Head) - Matthieu Rivain | |
16:00 - 17:30 | Informatique quantique et cryptanalyse - Xavier Bonnetain |
mercredi 19 juin 2024
Heures | événement | |
08:30 - 10:00 | Schéma de signature issue des techniques de calculs distribués (MPC in the Head) - Matthieu Rivain | |
10:15 - 11:45 | Informatique quantique et cryptanalyse - Xavier Bonnetain | |
12:00 - 13:00 | Isogénie - Luca De Feo |
jeudi 20 juin 2024
Heures | événement | |
08:30 - 10:00 | Introduction à la cryptoraphy à base de réseaux euclidiens - Alice Pellet--Mary | |
10:30 - 12:30 | Isogénie - Luca De Féo | |
14:00 - 15:30 | Introduction à la cryptographie à base de réseaux euclidiens - Alice Pellet--Mary | |
16:00 - 17:30 | Analyse side-channel des implémentations cryptographiques : évaluation & contre-mesures - Loïc Masure |
vendredi 21 juin 2024
Heures | événement | |
08:30 - 10:00 | Analyse side-channel des implémentations cryptographiques : évaluation & contre-mesures - Loïc Masure | |
10:30 - 12:00 | Vérification formelle des protocoles cryptographiques - comment cela fonctionne-t-il ? que signifient les garanties formelles et pourquoi les voulons-nous ? - Charlie Jacomme |