Abstraction de comportements  Algorithme séquentiel  Algorithmes  Analyse binaire  Analyse comportemental  Analyse comportementale  Analyse dynamique  Analyse dynamique de malware  Analyse informatique  Analyse récursive  Analyse statique  Apprentissage automatique  Apprentissage automatique en ligne  Arbres  Asm  Auto-Modification  Auto-modification  Auto-référence  Automates à états finis  Calculabilité  Calculabilité réelle  Chiffrement  Classification  Code exécutable  Code source  Codes malveillants  Comparaison de graphes  Complexité  Complexité de calcul  Complexité implicite  Comportement  Contrôle des ressources  Courriels  Criminalité informatique  Désobfuscation  Détection  Détection d'intrusion  Détection de codes malveillants  Détection de malware  Détection des comportements des malwares  Extraction du format des messages  Exécution Symbolique  Flots  Fonctions calculables  Fonctions récursives  Fonctions élémentaires  Formalisation  General Purpose Computer  Google Android  Graphe de flot de contrôle  Helmholtz, Équation d'  Hiérarchie de Grzgorczyk  Interprétation abstraite  Interprétations  Isomorphisme de Curry-Howard  L'algèbre de Frobenius  La logique classique  La sémantique catégorique  Lambda-calcul  Langage impératif  Langages de programmation -- Sémantique  Langages formels  Langages temporels  Linguistique -- Informatique  Logiciel malveillant  Logiciels -- Vérification  Logique  Logique catégorique  Logique informatique  Logique linéaire  Logique mathématique  Malware Android  Mathématiques -- Informatique  Mesures de sûreté  Model checking  Modèle symbolique  Méthodes formelles  Méthodes formelles  Obfuscation  Obfuscation des comportements des malwares  Ordinateurs -- Programmation  Ordre supérieur  Politique de sécurité  Politiques de sécurité  Primitif récursif  Problème inverse de diffusion  Problèmes inverses  Programmation récursive  Programmes malveillants  Protection  Protection de l'information  Protocoles de réseaux d'ordinateurs  Recherche de vulnérabilités  Reconstruction de modèles  Réflexion  Réseaux d'information  Réseaux d'intéractions  Rétro-Ingénierie  Rétro-ingénierie  Réécriture de mots  Réécriture de termes  Réécriture, Systèmes de  Simulation  Simulation, Méthodes de  Sous-programmes  Suivi de flux d’information  Systèmes d'exploitation  Systèmes de types  Systèmes informatiques -- Mesures de sûreté  Systèmes virtuels  Sécurité  Sécurité Android  Sécurité des protocoles cryptographiques  Sémantique  Sémantique denotationelle  Sémantique des contextes  Sémantique des langages  Temps polynomial  Thèses et écrits académiques  Théorie de la démonstration  Tomographie en océanographie  Traitement automatique du langage naturel  Types intersection  Virologie  Virtualisation  Virus informatique  Virus informatiques  Vérification de programmes  Vérification formelle  

Jean-Yves Marion a rédigé la thèse suivante :


Jean-Yves Marion a dirigé les 14 thèses suivantes :

Informatique
Soutenue le 06-10-2017
Thèse soutenue


Jean-Yves Marion a été président de jury des 3 thèses suivantes :


Jean-Yves Marion a été rapporteur des 4 thèses suivantes :


Jean-Yves Marion a été membre de jury des 2 thèses suivantes :

Informatique
Soutenue le 02-12-2016
Thèse soutenue