Jean-Yves Marion
Mots clés
FR |
EN
Virus informatiques
Systèmes informatiques -- Mesures de sûreté
Complexité implicite
Sécurité
Logique linéaire
Apprentissage automatique
Complexité de calcul (informatique)
Logiciel malveillant
Analyse statique
Lambda-calcul
Langages de programmation -- Sémantique
Logiciels -- Vérification
Détection
Analyse binaire
Rétro-ingénierie (informatique)
Exécution symbolique
Analyse des données
Virus informatique
Programmes malveillants
Analyse informatique