Alias de pointeurs  Arbres  Arbres  Automates d'arbres  Certificat  Chiffrement  Code d'octet [bytecode]  Code fantôme  Code source  Codes malveillants  Commutation, Théorie de la  Cryptographie  Désobfuscation  Détection d'intrusion  Exécution Symbolique  Homologie  Homotopie  Informatique  Interconnexion de réseaux  Langage de programmation  Langages formels  Langages temporels  Logiciels -- Vérification  Logique  Logique mathématique  Machine virtuelle Java [JVM]  Machines séquentielles, Théorie des  Mesures de sûreté  Modèle mémoire  Méthodes formelles  Méthodes formelles  Parallélisme  Permissions  Politiques de sécurité  Preuve électronique  Programmation impérative  Programmation par contraintes  Proof-Carrying Code [PCC]  Protection de l'information  Protocoles cryptographiques  Protocoles de réseaux d'ordinateurs  Raffinement de données  Régions  Réseaux de communication  Rétro-Ingénierie  Rétro-ingénierie  Signatures électroniques  Structures de données  Structures de données informatiques  Système de types  Systèmes informatiques -- Mesures de sûreté  Systèmes virtuels  Sécurité  Séparation  Sûreté de typage  Théorie des machines séquentielles  Théorie des types  Topologie algébrique  Topologie algébrique dirigée  Typage  Virtualisation  Vote électronique  Vraie concurrence  Vérification de types  Vérification déductive  Vérification déductive des programmes  Vérification formelle  Vérification légère  Why3  Équations, Théorie des  

Jean Goubault-Larrecq a dirigé les 10 thèses suivantes :


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