Programme

Semaine Lun. 17 Mar. 18 Mer. 19 Jeu. 20 Ven. 21 Liste

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

Personnes connectées : 2

Vie privée