Aurélien Francillon
IdRefMots clés
FR |
EN
Systèmes informatiques -- Mesures de sûreté
Sécurité
Systèmes embarqués (informatique)
Logiciels -- Vérification
Internet des objets
Exécution symbolique
Dataset
Ordinateurs -- Mémoires
Analyse de binaire
Modélisation
Vérification formelle
Systèmes embarqués
Sécurité logicielle
Analyse dynamique
Systèmes de détection d'intrusion (informatique)
Protection de l'information (informatique)
IoT
Système binaire (mathématiques)
Malware
Virus informatiques