Fabien Dagnat
IdRefMots clés
FR |
EN
Systèmes informatiques -- Mesures de sûreté
Obfuscation
Offuscation (informatique)
Langages de programmation
Chaînes de compilation
Langage dédié
Typage
Sémantiques formelles
Compilation (informatique)
Moteur d’exécution symbolique dynamique
Solveur SMT
Prédicats Opaques
Solveurs (logiciels)
Prédicat (logique)
Détournement de flot de contrôle
Sécurité à la conception
Sensibilité aux attaques
Analyse de binaires
Logiciels -- Développement
Cyberdéfense