Le moteur de recherche
des thèses françaises
Fabien Dagnat
IdRefMots clés
FR |
EN
Systèmes informatiques -- Mesures de sûreté
Obfuscation
Offuscation (informatique)
Langages de programmation
Ingénierie dirigée par les modèles
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