ABV  AES  Algorithmes  Analyse dynamique  Apprentissage Automatique  Apprentissage automatique  Appretissage machine  Attaques  Attaques de flot de contrôle  Attaques par canaux auxiliaires  Attaques physiques  Carte à puce  Cartes à mémoire  Cartes à puces  Code injection  Composants logiciels  Control flow attacks  Correction de la mise à jour dynamique des programmes  Criminalité informatique  Cross sire scripting  Cryptographie  Cryptographie en boîte blanche  Cyberdéfense  Cyberterrorisme  Detection d'intrusion  Dispositifs de sécurité  Doxware  Défenses  Détection  Détection de vulnérabilité  Détection temps réel  Embarqué  EmbedDSU  Embedded systems  Event-B  Fichiers  Flux d'information  Incongruité  Infrastructure à clé publique  Infrastructures à clés publiques  Injection de code  Injection de faute  Injection de fautes  Injections de fautes  Java Card  Java Card  JavaCard  LSI  Linux  Logiciels -- Vérification  Logiciels malveillants  Logs système et réseaux  Mesures de sûreté  Micro-controlleurs  Microcontrôleurs  Microélectronique  Mise à jour dynamique  Mise à jour dynamique des programmes  Mobiles  Model checking  Modèle de faute  Modèles de fuites  Monnaie électronique  Moteur d’exécution symbolique dynamique  Mutation de spécification  Méthodes formelles  Méthodes formelles  Nanoélectronique  Non-Interference  Obfuscation  Offuscation  Outils statistiques  PSL  PageRank  ProB  Protection de l'information  Protocoles de réseaux d'ordinateurs  Prédicat  Prédicats Opaques  RTL  Raffinement  Rançon  Rançongiciel  Réduction de dimension  Réseaux d'ordinateurs -- Mesures de sûreté  Réseaux de capteurs  Security  Serveur Web embarqué  Signature électronique  Signatures électroniques  Simple Real Time Java  Simulateurs  Smart Card  Software Security  Solveur SMT  Solveurs  SystemC  Système distribué  Systèmes de détection d'intrusion  Systèmes distribués  Systèmes embarqués  Systèmes embarqués  Systèmes informatiques -- Mesures de sûreté  Systèmes sur puce  Sécurité  Sécurité des systèmes  Sécurité embarquée  TF-IDF  TLM  Temps réel  Test d'intrusion  Test à base de modèle  Traitement Automatique du Langage Naturel  Traitement automatique du langage naturel  Traitement réparti  Téléphonie mobile  Validation à long terme  Verification  Virus  Vulnérabilités  Vérification  Vérification de code intermédiaire  Vérification de modèles  Wireless sensor networks  Émissions électromagnétiques  

Jean-Louis Lanet a rédigé la thèse suivante :


Jean-Louis Lanet a dirigé les 13 thèses suivantes :

Informatique
Soutenue le 04-03-2019
Thèse soutenue

Jean-Louis Lanet a été président de jury des 2 thèses suivantes :


Jean-Louis Lanet a été rapporteur des 7 thèses suivantes :

Electronique et communications
Soutenue le 05-12-2018
Thèse soutenue


Jean-Louis Lanet a été membre de jury des 3 thèses suivantes :