Objectifs pédagogiques

Acquis d'apprentissage
À l'issue de ce module, l'élève sera capable de:
- Les outils mathématiques pour la cryptographie
- Les primitives avancées de la cryptographie avec des techniques de preuves de sécurité
- Les techniques pour obtenir la sécurité post-quantique

Compétences de rattachement (et justification)
- BC7.1 – Identifier, analyser et caractériser les éléments de sécurité permettant d’atteindre un objectif cible (disponibilité, intégrité, authentification, confidentialité, traçabilité) en vue de gérer la sécurité des systèmes numériques; Justification : Les outils mathématiques et techniques de preuves de sécurité sont traités dans ce cours.
- BC7.4 – Innover dans le domaine de la sécurité en intégrant l’ensemble des concepts scientifiques et techniques (par exemple la cryptographie) afin d’en anticiper les évolutions; Justification : Le besoin de protéger la ""Privacy"" sur les nouvelles plateformes (cloud computing, big data) est central dans les techniques avancées de cryptographie présentées dans ce cours (par exemple, Functional Encryption, Fully Homomorphic Encryption).