Knowledge Tree

researcher / Jean-Yves Marion

Jean-Yves Marion

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Thesis:

Extension du systeme t de godel dans les domaines finis. Etude de la complexite algorithmique

Directed Thesis:

Analyse du flot de données pour la construction du graphe de flot de contrôle des codes obfusqués

Réflexion, calculs et logiques

Formal Approaches for Automatic Deobfuscation and Reverse-engineering of Protected Codes

Modèle de protection contre les codes malveillants dans un environnement distribué

Désassemblage et détection de logiciels malveillants auto-modifiants

Complexité d'ordre supérieur et analyse récursive

Analyse dynamique de logiciels malveillants

Analyse de programmes malveillants par abstraction de comportements

Analyse de codes auto-modifiants pour la sécurité logicielle

Des fondements de la virologie informatique vers une immunologie formelle

Linéarité : un outil analytique pour l'étude de la complexité et de la sémantique des langages de programmation

Analyse de la complexité des programmes par interprétation sémantique

Modèles de calcul sur les réels, résultats de comparaison

Completeness results and syntactic characterizations of complexity classes over arbitrary structures

Un modèle algorithmique de la généralisation de structures dans le processus d'acquisition du langage