Valérie Viêt Triêm Tông
IdRefMots clés
FR |
EN
Sécurité
Systèmes informatiques -- Mesures de sûreté
Systèmes de détection d'intrusion (informatique)
Virus informatiques
Logiciels -- Vérification
Analyse des données
Rétro-ingénierie (informatique)
Cryptographie
Méthodes formelles (informatique)
Graphe de flot de contrôle
Réseaux d'ordinateurs -- Mesures de sûreté
Internet des objets
Vote électronique
Offuscation (informatique)
Méthodes formelles
Systèmes embarqués (informatique)
Modèles de Markov cachés
Malware
Google Android Studio (environnement de développement d'applications)
APT (informatique)