Robin David
IdRefMots clés
FR |
EN
Systèmes informatiques -- Mesures de sûreté
Rétro-ingénierie (informatique)
Codes malveillants
Désobfuscation
Méthodes formelles
Exécution Symbolique
Rétro-Ingénierie
Protection de l'information (informatique)
Code source (informatique)
Méthodes formelles (informatique)
Déobfuscation binaire
Analyse binaire dynamique
Exécution symbolique
Vulnérabilités 1-jour
Signature sémantiques de patch
Détection de correctif