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