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