ACSL  ACSL  Abstraction de données  Aide au développement  Analyse binaire dynamique  Analyse de code  Analyse de code binaire  Analyse de couverture  Analyse de dépendances  Analyse de teinte  Analyse des risques  Analyse dynamique  Analyse statique  Antivirus  Applications temps réel  Architectures de sécurité  Arithmétique des courbes elliptiques  Assembleur  Assistants de preuve  Attaque par faute  B  B  Binaire  Bogue  Bureautique  C  Calcul Multi Parties Sécurisé  Canal auxiliaire  Carte à puce  Cartes combinatoires  Certificats  Code exécutable  Commande automatique  Compilation  Compilation certifiée  Compilation recivable  Confiance  Coq  Coq  Corps finis  Correcte par construction  Courbes elliptiques  Cryptographie  Cryptologie  Cyber sécurité  Cybersécurité  Dynamique  Débogage  Déduction  Déduction automatique  Déobfuscation binaire  Détection d'intrusion réseau - NIDS  Exploitabilité  Exécution symbolique  Fausse alarme  Filtrage  Filtres  Flots de données synchrones  Flux d'information  Frama-C  Framac  Frelatage  Génération de tests  Génération de tests guidée par les alarmes  Helmholtz, Équation d'  IEC 61850  Igc  Implantation haute performance logicielle et matérielle  Induction, co-induction  Infrastructures à clés publiques  Inférence  Injection de faute  Injection de fautes  Injections de fautes  Interprétation abstraite  Invariants de données  Langage C  Langages de programmation -- Sémantique  Langages de programmation  Langages fonctionnels  Langages formels  Lazart  Logiciels -- Vérification  Logiciels critiques  Lustre  Lustres  Mesure de complexité  Mesures de sécurité  Mesures de sûreté  Modèle  Modèle de faute  Modèle de fautes  Modèle haut niveau  Modèle à base de composants  Modèles  Modélisation  Mécanismes cryptographiques  Méthode B  Méthodes formelles  Méthodes formelles  Non-Interference  Offuscation de codes  Opérateurs arithmétiques sur les corps finis  Ordinateurs -- Mémoires  Paradigme time-triggered  Preuve de correction  Preuve de programmes  Preuves déductives  Preuves modulaires  Problème inverse de diffusion  Problèmes inverses  Productique  Programmation automatique  Programmation parallèle  Programmes avec pointeurs  Programmes impératifs  Protection de l'information  Protocole GOOSE  Pvs  Raffinement  Reconstruction de modèles  Représentations intermédiaires  Responsabilité  Règles de l'Atelier B  Réseaux d'ordinateurs -- Mesures de sûreté  Réseaux logiques programmables par l'utilisateur  Scada  Security  Services  Simulation  Slicing  Smart grid  Spécification formelle  Superdéduction  Système de détection d'intrusion  Système distribué  Systèmes de contrôle industriel - ICS  Systèmes de détection d'intrusion  Systèmes de transitions  Systèmes distribués  Systèmes embarqués  Systèmes industriels  Systèmes informatiques -- Mesures de sûreté -- Examens  Systèmes informatiques -- Mesures de sûreté  Sécurité  Sémantique formelle  Tas  Temps réel  Temps-réel  Test structurel, erreur à l’exécution  Thèses et écrits académiques  Tomographie en océanographie  Traitement du signal -- Techniques numériques -- Appareils et matériel  Transformations source-à-source  Validation  Verification  Vues  Vulnérabilité  Vulnérabilités  Vulnérabilités logicielles  Vérification  Vérification de programmes  Vérification déductive  Web  

Marie-Laure Potet a rédigé la thèse suivante :


Marie-Laure Potet dirige actuellement les 5 thèses suivantes :

Informatique
En préparation depuis le 24-10-2018
Thèse en préparation

Informatique
En préparation depuis le 22-10-2018
Thèse en préparation

Vérification automatique de code bas-niveau: C, assembleur et binaire

par Frédéric Recoules sous la direction de Marie-Laure Potet , Laurent Mounier et de Richard Bonichon . - Université Grenoble Alpes (ComUE)

Informatique
En préparation depuis le 20-04-2017
Thèse en préparation

Mathématiques et Informatique
Soutenue le 13-02-2020
Thèse en préparation


Marie-Laure Potet a dirigé les 6 thèses suivantes :


Marie-Laure Potet a été président de jury des 9 thèses suivantes :


Marie-Laure Potet a été rapporteur des 4 thèses suivantes :

Informatique
Soutenue le 06-09-2013
Thèse soutenue

Marie-Laure Potet a été membre de jury des 4 thèses suivantes :

Informatique
Soutenue le 02-12-2016
Thèse soutenue

Informatique. Systèmes et communications
Soutenue en 2000
Thèse soutenue