Programme
| Heures |
événement |
|
|
14:00 - 15:30
|
Codes correcteurs d'erreurs - Nicolas Sendrier |
|
|
16:00 - 17:30
|
Cryptographie multivariée - Brice Minaud |
|
| 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 |
|
| 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 |
|
| 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 |
|
| 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 |
|
|
