Roberto Giacobazzi
IdRefMots clés
FR |
EN
Systèmes informatiques -- Mesures de sûreté
Interprétation abstraite
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)
Rétro-ingénierie (informatique)
Voies de signalisation
Modélisation par règles de réécritures
Réduction de modèles
Bisimulations
Flot d’information
Programmation logique
Analyse statique
Structures de données complexes
Abstraction de tableaux