Emmanuelle Encrenaz
IdRefMots clés
FR |
EN
Systèmes informatiques -- Mesures de sûreté
Méthodes formelles (informatique)
Systèmes embarqués (informatique)
Microprocesseurs multi-coeurs
Sécurité
Systèmes embarqués
Gestionnaires d’énergie
Gestionnaires de température
Attaque par déni de service
Attaque par canaux auxiliaires
Systèmes virtuels (informatique)
Chiffrement (informatique)
Compilation (informatique)
Vulnérabilités
Simulation
Langages de programmation
Méthodes formelles
Dynamique holomorphe
Protection de l'information (informatique)
Exploration de l'espace des solutions