Physical Security: Embedded, Smart Card, Quantum & Biometrics - WMM9SY05

Embedded Systems et smart card :
Principes de conception des systèmes embarqués ; cartes-à-puce, structure et attaques physiques ; Design for Test et attaques aux structures de test ; attaques par canaux auxiliaires ; attaques par fautes ; contre-mesures aux attaques citées ; Sécurité logicielle dans l'embarqué : trustzone, memory protection unit, sécuriser un code embarqué ; Hardware Trojan et physical unclonable functions (PUF).
Quantique:

• les postulats de la mécanique quantique
• comment utiliser l'information quantique pour faire des calculs : circuits et algorithmes quantiques
• description de l'information quantique : matrices de densités, mesures POVM, Fidélité , entropie
• codes correcteurs d'erreur quantiques
• un peu de complexité de communication quantique
• utiliser l'information quantique pour faire de la cryptographie théoriquement "secure" : protocole d’échange de clé BB84

Primitives cryptographiques, bases de conception numérique, algorithmique ; bases d'algèbre linéaire
Basic Python for lab work

La note finale sera calculée à partir des travaux pratique (TP), et du contrôle continu (CC), et de l'examen final (EX) ; ce dernier sera focalisé sur les 4 axes du module (architectures matérielles, cartes à puce, biométrie et cryptographie quantique)

N = 50% EX + 25% TP + 25% CC

L'examen existe uniquement en anglais

Le cours est programmé dans ces filières :

• Cursus ingénieur - Master Informatique - Semestre 9 (ce cours est donné uniquement en anglais )
• Cursus ingénieur - Master Math. et Applications - Semestre 9 (ce cours est donné uniquement en anglais )

Code de l'enseignement : WMM9SY05
Langue(s) d'enseignement :

Vous pouvez retrouver ce cours dans la liste de tous les cours.

Not strictly required. Some optional references:

• Mangard, Stefan, Oswald, Elisabeth, Popp, Thomas: Power Analysis Attacks (Springer, 2007)