ABV  Algorithmes  Analyse dynamique  Apprentissage automatique  Appretissage machine  Attaques  Carte à puce  Cartes à mémoire  Composants logiciels  Correction de la mise à jour dynamique des programmes  Criminalité informatique  Cross sire scripting  Cryptographie  Cyberterrorisme  Detection d'intrusion  Dispositifs de sécurité  Défenses  Détection temps réel  Embarqué  EmbedDSU  Event-B  Fichiers  Flux d'information  Incongruité  Infrastructure à clé publique  Infrastructures à clés publiques  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  Modèle de faute  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é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  

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


Jean-Louis Lanet a dirigé les 9 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 4 thèses suivantes :


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