ABV  AES  Algorithmes  Analyse dynamique  Apprentissage automatique  Appretissage machine  Attaques  Attaques par canaux auxiliaires  Carte à puce  Cartes à mémoire  Composants logiciels  Correction de la mise à jour dynamique des programmes  Criminalité informatique  Cross sire scripting  Cryptographie  Cryptographie en boîte blanche  Cyberterrorisme  Detection d'intrusion  Dispositifs de sécurité  Défenses  Détection de vulnérabilité  Détection temps réel  Embarqué  EmbedDSU  Event-B  Fichiers  Flux d'information  Incongruité  Infrastructure à clé publique  Infrastructures à clés publiques  Injection de faute  Injection de fautes  Java Card  Java Card  JavaCard  LSI  Logiciels -- Vérification  Logiciels malveillants  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  Mutation de spécification  Méthodes formelles  Méthodes formelles  Nanoélectronique  Non-Interference  Outils statistiques  PSL  PageRank  ProB  Protection de l'information  Protocoles de réseaux d'ordinateurs  RTL  Raffinement  Réduction de dimension  Réseaux d'ordinateurs -- Mesures de sûreté  Security  Serveur Web embarqué  Signature électronique  Signatures électroniques  Simple Real Time Java  Simulateurs  Smart Card  Software Security  SystemC  Système distribué  Systèmes de détection d'intrusion  Systèmes distribués  Systèmes embarqués  Systèmes informatiques -- Mesures de sûreté  Systèmes sur puce  Sécurité  Sécurité embarquée  TF-IDF  TLM  Temps réel  Test d'intrusion  Test à base de modèle  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  

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


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

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

Jean-Louis Lanet a été président de jury de la thèse suivante :


Jean-Louis Lanet a été rapporteur des 5 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 :