Description générale

Dans cette UE, on se propose de présenter les moyens algorithmiques permettant de sécuriser les données numériques (chiffrement, signature, authentification etc.) à l'aide des cryptosystèmes à clé publique les plus récents ou largement utilisés dans l'industrie. Les algorithmes les plus efficaces permettant leur évaluation (cryptanalyse) seront aussi présentés et des versions plus simples seront mises en pratique. Par exemple, on étudiera l'utilisation des courbes elliptiques en cryptographie et les meilleurs algorithmes permettant de résoudre le problème mathématique sous-jacent. Aussi, en restant à un haut niveau, nous présenterons l'utilisation de tels cryptosystèmes pour résoudre des problèmes courants de la sécurité informatique : authentification forte par carte à puce, les protocoles du RFID/NFC, le paiement sécurisé, etc. Des implémentations utilisant ces outils seront réalisées.

Intervenants

Guénaël Renault (UPMC) pour les aspects algorithmiques de ce cours et Luk Bettale (Oberthur Technologies) présentera des applications cryptographiques possibles avec la technologie JavaCard.

Logiciels

Lors des TME des applications liées à la cryptanalyse seront développées. Des langages de bas niveau ou script (C, Python, Magma) seront utilisés. Afin de tester les briques algorithmiques le plus rapidement possible, le langage de calcul formel Magma est mis à la disposition des étudiants sous la forme d'une machine virtuelle pouvant être obtenue lors des séances de TME.

Planning des interventions

Date Titre Intervenant
9/22/2016 Bases Cryptologiques Guénaël Renault
9/29/2016 Cryptanalyse RSA 1 Guénaël Renault
10/06/2016 Cryptanalyse RSA 2 Guénaël Renault
10/13/2016 Cryptanalyse ECC 1 Guénaël Renault
10/20/2016 Crypanalyse ECC 2 Guénaël Renault
10/27/2016 Réseaux euclidiens Guénaël Renault
11/03/2016 Semaine blanche
11/10/2016 Semaine blanche
11/17/2016 Semaine blanche
11/24/2016 JavaCard Luk Bettale (Oberthur CS)
12/01/2016 Crypto Avancée: Coppersmith vs RSA Rina Zeitoun (Oberthur CS) & Guénaël Renault
12/08/2016 TP SOLO
12/15/2016 Semaine Blanche
01/05/2017 Obfuscation Ninon Eyrolles (QuarksLab)
01/12/2017 Obfuscation Ninon Eyrolles (QuarksLab)
01/19/2017 Révisions
01/26/2017 EXAMEN MACHINES