Sébastien Bardin
IdRefMots clés
FR |
EN
Systèmes informatiques -- Mesures de sûreté
Logiciels -- Vérification
Méthodes formelles (informatique)
Rétro-ingénierie (informatique)
Sécurité
Méthodes formelles
Protection de l'information (informatique)
Codes malveillants
Désobfuscation
Exécution Symbolique
Rétro-Ingénierie
Code source (informatique)
Interprétation abstraite
Vulnérabilités
Débogage
Bogues (informatique)
Exécution symbolique
Programmes malveillants
Auto-Modification
Graphe de flot de contrôle