Fabien Dagnat
Mots clés
FR |
EN
Systèmes informatiques -- Mesures de sûreté
Obfuscation
Offuscation (informatique)
Langages de programmation
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
Chaînes de compilation
Langage dédié
Typage
Sémantiques formelles
Compilation (informatique)