Volumes horaires
- CM 21.0
- Projet -
- TD 6.0
- Stage -
- TP 6.0
Crédits ECTS
Crédits ECTS 0.0
Objectif(s)
L'objectif de ce cours est de permettre aux étudiants d'avoir une vision large de la sécurité des systèmes embarqués en se focalisant sur le rôle et l'importance de la cible matérielle pour la sécurité du système.
Les étudiants étudieront les principes et la mise en oeuvre pratique des principales attaques matérielles ainsi que le développement des contremesures associés.
Les schémas sécuritaires reposant sur des briques matérielles seront détaillés en présentant les concepts mais aussi les problématiques liées à une integration efficace dans des systèmes embarqués contraints.
Responsable(s)
David HELY, Amir-Pasha MIRBAHA
Contenu(s)
- Introduction à la sécurité des systèmes embarqués
- Attaques par Canaux Auxiliaires
- Principes et objectifs
- Les différentes attaques par canaux auxilliaires
- Mise en oeuvre pratique de ces attaques
- Conception et intégration de contremesures contre les attaques par canaux auxiliaires
- Travaux pratiques: Mise oeuvre d'attaques CPA contre une implementation logicielle d'un AES puis insertion de contremesures.
- Attaques par injection de fautes
- Principes et objectifs
- Les différents moyens d'injection de fautes et leurs effets
- Etudes de cas d'injection de fautes contres des systèmes matériels et logiciels
- Travaux Pratiques: Mise en oeuvre d'attaques par glitch d'horloge et conception de contre mesures.
- Confiance dans les circuits
- Cycle de vie des circuits intégrés
- Test et sécurité
- Chevaux de Troie matériels
- Contrefaçon et vol de Propriété Intellectuelle
- Fonction Physique non clonable (PUF)
- Principes
- Conception Evaluation et Integration des PUFs
- Schémas sécuritaires à base de PUF
- Travaux Pratiques: Evaluation d'une fonction physique non clonable
- Support matériel pour la sécurité logicielle
- Intégrité du flot de contrôle
- Isolation Mémoire
- Trusted Execution Environment
- Integration logicielle de systèmes de sécurité matériels
computer architecture, digital electronics, VHDL/Verilog, signal processing, C programming, embedded system design and test
Contrôle des connaissances
contrôle continu = moyenne (TP + examens intermédiaires)
Examen final de 1h30 sans documents et sans calculatrices
L'examen existe uniquement en anglais 
Calendrier
Le cours est programmé dans ces filières :
- Cursus ingénieur - Master MISTRE - Semestre 9 (ce cours est donné uniquement en anglais
) - Cursus ingénieur - Filière EIS - Semestre 9 (ce cours est donné uniquement en anglais )
- Cursus ingénieur - Filière EIS (Apprenti) - Semestre 9 (ce cours est donné uniquement en anglais )
Informations complémentaires
Code de l'enseignement : 5AMSE518
Langue(s) d'enseignement :
Le cours est rattaché aux structures d'enseignement suivantes :
Vous pouvez retrouver ce cours dans la liste de tous les cours.
Bibliographie
- Candaele, B., Soudris, D., & Anagnostopoulos, I. (Eds.). (2015). Trusted computing for embedded systems. Cham: Springer International Publishing.
- Verbauwhede, Ingrid MR, ed. Secure integrated circuits and systems. Boston: Springer, 2010.
- Sadeghi, Ahmad-Reza, and David Naccache. Towards hardware-intrinsic security. Springer Berlin Heidelberg, 2010.
- Gebotys, Catherine H. Security in embedded devices. Springer Science & Business Media, 2009.
