Analyse de l'accessibilité  Analyse de sécurité et de performance  Analyse informatique  Auto-Modification  CTL  Chiffrement  Chiffrement  Code auto-modifiant  Code binaire  Codes malveillants  Comparaison de graphes  Compilateurs  Complexité de calcul  Complexité implicite  Courriels  Cryptographie  Cyber Situational Awareness  Cybersécurité  Dissimulation d'informations  Détection  Détection de malware  Détection des comportements des malwares  Environnement virtuels collaboratifs  Exposant de Lyapunov  Extraction du format des messages  Flots  Formalisation  Graphe de flot de contrôle  Image médicale  Internet  Iterations chaotiques  LTL  Langages de programmation -- Syntaxe  Langages de programmation -- Sémantique  Logiciels -- Vérification  Logiciels de groupe  Logique temporelle  Modèles mathématiques  Obfuscation des comportements des malwares  Observatoire virtuel  Preuve de sécurité  Programmes malveillants  Protection  Protection de l'information  Protection des documents numériques  Pushdown system  Robustesse  Réécriture, Systèmes de  Sous-programmes  Stéganalyse  Stéganographie  Stégo-sécurité  Syqstèlesss dynamiques discrets  Systèmes d'exploitation  Systèmes informatiques -- Mesures de sûreté  Sécurité de l'information  Sécurité des données  Sécurité informatique  Sécurité topologique  Tatouage numérique  Tests applicatifs  Théorie du chaos  Topologie  Vie privée  Virus informatique  Virus informatiques  Vérification de modèles  Étalement de spectre  

Guillaume Bonfante a rédigé la thèse suivante :


Guillaume Bonfante a dirigé les 2 thèses suivantes :


Guillaume Bonfante a été rapporteur des 5 thèses suivantes :

Informatique
Soutenue le 30-09-2019
Thèse soutenue

Guillaume Bonfante a été membre de jury des 2 thèses suivantes :