Module Sheet
FISE
STI
Sécurité et Technologies Informatiques
Unité d'Enseignement :
Semestre : 9
Crédits ECTS : 8
Systèmes embarqués et IOT
Code UE : S09T_ 2SU1
Elément Constitutif :
Coefficient : 1
Cryptographie avancée et Blockchain
Code EC :
Option Sécurité des Systèmes Embarqués et du Cloud
L'UE
Systèmes embarqués et IOT
:
5
L'UE Systèmes embarqués et IOT : 5
Volume horaire : 21:20
| Type | Nombre | Durée |
|---|---|---|
| Cours | 8 | 01:20 |
| TD | 8 | 01:20 |
Evaluations : 1
| Type | Coefficient |
|---|---|
| Contrôle Continu | 1 |
Enseignants : 3
| Enseignant | Type |
|---|---|
| Bultel Xavier | Responsable |
| Eichler Cedric | Responsable |
| Bultel Xavier | Intervenant |
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 :
| UE | Semestre | Module |
|---|---|---|
| Principes de la programmation | 5 | Algorithmique et Complexité |
| EA Sécurité Fondamentale | 8 | Calculabilité, complexité, Résolution de problèmes |
| Développement et Mathématiques pour l'ingénieur | 6 | Cryptographie |
| PO STI 2 | 4 | Mathématiques 4,3 |
| Sciences de base 3 | 3 | Algorithmique et programmation 3 |
| Sciences de base 1 | 1 | Algorithmique et programmation 1 |
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
Partie protocoles cryptographiques : -Un devoir maison pouvant rapporter des points bonus -Un devoir sur table (sans documents, sans calculatrice)
A Graduate Course in Applied Cryptography (Dan Boneh and Victor Shoup) http://toc.cryptobook.us/
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. | ||||
Compétences :
| Ref. | 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 |