FR
EN
Cryptographie avancéeSystèmes embarqués et IOT (STI)
Cryptographie avancée
Unité d'enseignement Systèmes embarqués et IOT · S09T_ 2SU1 | Code EC S09O_2SU1-2
8ECTS (UE)
1Coefficient
21:20Heures
Séquencement
Objectifs pédagogiques
Le module est séparé en deux parties :
-Un partie sur les protocoles cryptographiques, et les méthodes de preuves de sécurité calculatoires. Le but de cette partie est de comprendre la représentation formelle de la sécurité des protocoles cryptographiques, et d'être capable de démontrer la sécurité de protocoles simples par réduction. Célène : https://celene.insa-cvl.fr/course/view.php?id=482
-Une partie sur la blockchain.
Pré-requis
| Module | Unité d'enseignement | Semestre |
|---|---|---|
| Algorithmique et Complexité | Principes de la programmation | S5 |
| Calculabilité, complexité, Résolution de problèmes | EA Sécurité Fondamentale | S8 |
| Cryptographie | Développement et Mathématiques pour l'ingénieur | S6 |
| Mathématiques 4,3 | PO STI 2 | S4 |
| Algorithmique et programmation 3 | Sciences de base 3 | S3 |
| Algorithmique et programmation 1 | Eléments constitutifs Facultatifs 1 | S1 |
Programme
Partie protocoles cryptographiques :
- Introduction aux modèles de sécurité;
- Rappels sur les chiffrements à clé publique (basé sur le problème du logarithme discret);
- Modèles de sécurité pour les chiffrements (OW-CPA, IND-CPA, OW-CCA et IND-CCA);
- Preuves de sécurité par réduction;
Partie Blockchain avancée :
- étude, utilisation et déploiement de blockchain
- attaque sur les Blockchains
Modalités d'évaluation
Partie protocoles cryptographiques : -Un devoir maison pouvant rapporter des points bonus -Un devoir sur table (sans documents, sans calculatrice)
Références bibliographiques
A Graduate Course in Applied Cryptography (Dan Boneh and Victor Shoup) http://toc.cryptobook.us/
Compétences
2| Réf. | Verbe | Description | Niveau |
|---|---|---|---|
| C2_1 | mettre en place | Utiliser les réductions dans le cadre de la cryptographie | 3 |
| C2_2 | prouver | Prouver la sécurité fromellement | 2 |
Compétences SecNumEdu
| Compétence | Heures cours | Heures pratique | Niveau entrée | Niveau sortie |
|---|---|---|---|---|
| Cryptologie | 4 | 4 | 2 | 2 |
| Analyser formellement la sécurité d'un outil cryptographique | ||||
| Sécurité des réseaux et protocoles | 1 | 1 | 2 | 3 |
| Évaluer si un protocole cryptographique a les garanties de sécurité nécessaires à une application pratique | ||||
| Cryptologie | 5 | 5 | 2 | 2 |
| Partie Blockchain avancée : étude, utilisation et déploiement de blockchain, attaque sur les Blockchains. | ||||