Le moteur de recherche
des thèses françaises
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)
Code source (informatique)
Codes malveillants
Désobfuscation
Exécution Symbolique
Rétro-Ingénierie
Obfuscation
Offuscation (informatique)
Interprétation abstraite
Vulnérabilités
Débogage
Bogues (informatique)
Exécution symbolique
Code binaire