Patricia Mouy
Mots clés
FR |
EN
Systèmes embarqués (informatique)
Informatique
Logiciels -- Développement
Logiciels
Génie logiciel
Sécurité
Attaques en faute
Analyse de robustesse
Méthodes formelles
Vulnérabilités
Systèmes embarqués
Détection des anomalies (informatique)
Systèmes de détection d'intrusion (informatique)
Codage
Chiffrement (informatique)
Isolation mémoire
Vérification formelle
Systèmes d’exploitation (ordinateurs)
Internet des objets
Microcontrôleurs