Karine Heydemann
Mots clés
FR |
EN
Systèmes embarqués (informatique)
Systèmes informatiques -- Mesures de sûreté
Cryptographie
Analyse statique
Sécurité
Attaques par injection de fautes
Logiciels -- Vérification
Attaque par faute
Compilation (informatique)
Compilation
Systèmes de détection d'intrusion (informatique)
Mesures de sûreté
Injection de fautes
Systèmes embarqués
Optimisation mathématique
Protection de l'information (informatique)
Attaques par canaux auxiliaires
Chiffrement (informatique)
Contremesures
Détection des anomalies (informatique)