Marie-Laure Potet
Marie-Laure Potet a rédigé la thèse suivante :
Preuves et stratégies pour la synthèse déductive de programmes
par Marie-Laure Potet sous la direction de Paul Jacquet - Grenoble INPG
Informatique
Soutenue en 1988
Marie-Laure Potet dirige actuellement les 4 thèses suivantes :
Contre-mesures robustes à l'injection de fautes et Compilation
par Abderrahmane Bouguern sous la direction de Marie-Laure Potet et de David Monniaux . - Université Grenoble Alpes
Informatique
En préparation depuis le 01-01-2023
Analise de vulnérabilité logicielle guidée par les contre-mesures et le modèle de d'attaquant
par Thomas Vigouroux sous la direction de Marie-Laure Potet et de Laurent Mounier . - Université Grenoble Alpes
Informatique
En préparation depuis le 01-09-2021
Aller de la sûreté à la sécurité en analyse de code: le model attaquant
par Soline Ducousso sous la direction de Marie-Laure Potet - Université Grenoble Alpes
Informatique
En préparation depuis le 13-10-2020
Outils pour l'analyse de code et de contre-mesures pour l'injection de fautes multiples
par Etienne Boespflug sous la direction de Marie-Laure Potet et de Laurent Mounier . - Université Grenoble Alpes
Informatique
En préparation depuis le 24-10-2018
Soutenance prévue le 28-04-2023
Marie-Laure Potet a dirigé les 10 thèses suivantes :
Optimiser l'identification et l'exploitation de vulnérabilités à l'injection de faute sur microcontrôleurs
par Vincent Werner sous la direction de Marie-Laure Potet - Université Grenoble Alpes
Informatique
Soutenue le 24-01-2022
Vérification automatique de code bas-niveau : C, assembleur et binaire
par Frédéric Recoules sous la direction de Marie-Laure Potet - Université Grenoble Alpes
Informatique
Soutenue le 30-09-2021
Procédures de décision pour l'analyse de vulnérabilités
par Benjamin Farinier sous la direction de Marie-Laure Potet et de Sébastien Bardin . - Université Grenoble Alpes
Mathématiques et informatique
Soutenue le 24-06-2020
L’usage de l’exécution symbolique pour la déobfuscation binaire en milieu industriel
par Jonathan Salwan sous la direction de Marie-Laure Potet et de Sébastien Bardin . - Université Grenoble Alpes
Mathématiques et informatique
Soutenue le 13-02-2020
Sécurité des systèmes industriels : filtrage applicatif et recherche de scénarios d'attaques
par Maxime Puys sous la direction de Marie-Laure Potet - Université Grenoble Alpes (ComUE)
Informatique
Soutenue le 05-02-2018
Finding the needle in the heap : combining binary analysis techniques to trigger use-after-free
par Josselin Feist sous la direction de Marie-Laure Potet et de Laurent Mounier . - Université Grenoble Alpes (ComUE)
Informatique
Soutenue le 29-03-2017
Analyse de code et processus d'évaluation des composants sécurisés contre l'injection de faute
par Louis Dureuil sous la direction de Marie-Laure Potet - Université Grenoble Alpes (ComUE)
Informatique
Soutenue le 12-10-2016
Méthode pour la spécification de responsabilité pour les logiciels : Modelisation, Tracabilité et Analyse de dysfonctionnements
par Eduardo Sampaio Elesbao Mazza (Sampaio elesbao mazza) sous la direction de Marie-Laure Potet - Grenoble
Informatique
Soutenue le 26-06-2012
Modélisation d'architectures DSP pour le reciblage de compilateurs
par Thomas Deruyter sous la direction de Marie-Laure Potet et de Jean-Claude Fernandez . - Grenoble INPG
Système et logiciel
Soutenue en 2007
Systèmes de transitions symboliques et hiérarchiques pour la conception et la validation de modèles B raffinés
par Nicolas Stouls sous la direction de Marie-Laure Potet - Grenoble INPG
Systèmes et logiciels
Soutenue en 2007
Marie-Laure Potet a été président de jury des 15 thèses suivantes :
Guidage du test en frelatage de codes binaires pour la détection de vulnérabilités logicielles complexes
par Manh-Dung Nguyen sous la direction de Roland Groz - Université Grenoble Alpes
Informatique
Soutenue le 30-03-2021
Evaluation de la sécurité physique des SoC
par Thomas Trouchkine sous la direction de Jessy Clédière et de Guillaume Bouffard . - Université Grenoble Alpes
Nanoélectronique et nanotechnologie
Soutenue le 24-03-2021
Cybersecurity risk assessment for Unmanned Aircraft Systems
par Trung Duc Tran sous la direction de Jean-Marc Thiriet et de Nicolas Marchand . - Université Grenoble Alpes
Automatique et productique
Soutenue le 02-02-2021
Protocoles de calculs externalisés efficaces et sécurisés pour l'algèbre linéaire
par David Lucas sous la direction de Clément Pernet et de Jean-Guillaume Dumas . - Université Grenoble Alpes
Mathématiques et informatique
Soutenue le 10-07-2020
Etude et implémentation de mécanismes de protection d'exécution d'applications embarquées
par Abderrahmane Sensaoui sous la direction de Oum-El-Kheir Aktouf et de David Hély . - Université Grenoble Alpes
Informatique
Soutenue le 24-01-2020
Evaluation des méthodes d'obscurcissement de binaire
par Matthieu Tofighi Shirazi sous la direction de Philippe Elbaz-Vincent - Université Grenoble Alpes (ComUE)
Mathématiques et informatique
Soutenue le 16-12-2019
Evaluation de la confiance dans les architectures de sécurité
par Jean-Baptiste Orfila sous la direction de Jean-Guillaume Dumas - Université Grenoble Alpes (ComUE)
Mathématiques et Informatique
Soutenue le 03-07-2018
Des systèmes à base de composants aux implémentations cadencées par le temps : une approche correcte par conception
par Hela Guesmi sous la direction de Saddek Bensalem - Université Grenoble Alpes (ComUE)
Informatique
Soutenue le 27-10-2017
Cyber sécurité des systèmes industriels pour les smart-grids : détection d'intrusion dans les réseaux de communication IEC 61850
par Maëlle Kabir-Querrec sous la direction de Jean-Marc Thiriet et de Stéphane Mocanu . - Université Grenoble Alpes (ComUE)
Automatique - productique
Soutenue le 28-06-2017
Information Flow Security in Component-Based Models : From verification to Implementation
par Najah Ben Said sous la direction de Saddek Bensalem et de Dorel Marius Bozga . - Université Grenoble Alpes (ComUE)
Informatique
Soutenue le 07-11-2016
Distributed Implementations of Timed Component-based Systems
par Ahlem Triki sous la direction de Saddek Bensalem - Université Grenoble Alpes (ComUE)
Informatique
Soutenue le 09-06-2015
Inférence automatique de modèles d'applications Web et protocoles pour la détection de vulnérabilités
par Karim Hossen sous la direction de Roland Groz - Grenoble
Informatique
Soutenue le 15-12-2014
Analyse de dépendances ML pour les évaluateurs de logiciels critiques.
par Vincent Benayoun sous la direction de Catherine Dubois - Paris, CNAM
Informatique
Soutenue le 16-05-2014
Recherche de vulnérabilités logicielles par combinaison d'analyses de code binaire et de frelatage (Fuzzing)
par Sofia Bekrar sous la direction de Roland Groz et de Laurent Mounier . - Grenoble
Informatique
Soutenue le 10-10-2013
Automatisation des preuves pour la vérification des règles de l'Atelier B
par Mélanie Jacquel sous la direction de Catherine Dubois , David Delahaye et de Karim Berkani . - Paris, CNAM
Informatique
Soutenue le 23-04-2013
Marie-Laure Potet a été rapporteur des 13 thèses suivantes :
Contrôle vérifié de flux d'information appliqué aux systèmes cyber-physiques
par Jean-Joseph Marty sous la direction de Jean-Pierre Talpin et de Thomas Jensen . - Rennes 1
Informatique
Soutenue le 17-11-2022
Comprendre les menaces sophistiquées : Intentions, moyens, manières et connaissances convergentes des adversaires
par Aïmad Berady sous la direction de Valérie Viêt Triêm Tông , Gilles Guette et de Mathieu Jaume . - CentraleSupélec
Informatique
Soutenue le 10-11-2022
Défense contre les attaques à l'aune des nouvelles formes de virtualisation des infrastructures
par Maxime Bélair sous la direction de Jean-Marc Menaud et de Sylvie Laniepce . - Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire
Informatique
Soutenue le 08-12-2021
Optimizing Property-Preserving Compilation
par Son Tuan Vu sous la direction de Karine Heydemann et de Albert Henri Cohen . - Sorbonne université
Informatique
Soutenue le 02-04-2021
Conception et génération de tests par altération de données pour les systèmes de contrôle et de surveillance des transports : application aux domaines aérien et maritime
par Aymeric Cretin sous la direction de Bruno Legeard , Fabien Peureux et de Alexandre Vernotte . - Bourgogne Franche-Comté
Informatique
Soutenue le 15-03-2021
Sensibilité de logiciels au détournement de flot de contrôle
par Etienne Louboutin sous la direction de Fabien Dagnat - Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire
Informatique
Soutenue le 11-01-2021
Protections des processeurs contre les cyber-attaques par vérification de l’intégrité du flot d’exécution
par Michaël Timbert sous la direction de Jean-Luc Danger et de Sylvain Guilley . - Institut polytechnique de Paris
Informatique, données, IA
Soutenue le 15-09-2020
Quantification de la sécurité des applications en présence d'attaques physiques et détection de chemins d'attaques
par Jean-Baptiste Bréjon sous la direction de Karine Heydemann et de Emmanuelle Encrenaz . - Sorbonne université
Informatique
Soutenue le 26-06-2020
Développement et évaluation d'obfuscations de protocoles basées sur la spécification
par Julien Duchene sous la direction de Vincent Nicomette , Eric Alata et de Colas Le Guernic . - Toulouse, INSA
Réseaux, Télécoms, Systèmes et Architecture
Soutenue le 20-12-2018
Vérification formelle de programmes de génération de données structurées
par Richard Genestier sous la direction de Olga Kouchnarenko et de Alain Giorgetti . - Besançon
Informatique
Soutenue le 01-12-2016
Méthodes logicielles formelles pour la sécurité des implémentations de systèmes cryptographiques
par Pablo Rauzy sous la direction de Sylvain Guilley et de Jean-Luc Danger . - Paris, ENST
Informatique et réseaux
Soutenue le 13-07-2015
Preuves par raffinement de programmes avec pointeurs
par Asma Tafat sous la direction de Claude Marché - Paris 11
Informatique
Soutenue le 06-09-2013
Classification de menaces d’erreurs par analyse statique, simplification syntaxique et test structurel de programmes
par Omar Chebaro sous la direction de Jacques Julliand , Alain Giorgetti , Nikolaï Kosmatov et de Fatiha Zaïdi . - Besançon
Informatique
Soutenue le 13-12-2011
Marie-Laure Potet a été membre de jury des 8 thèses suivantes :
Conception d'un noyau sécurisé pour objets contraints
par Nicolas Dejon sous la direction de Gilles Grimaud et de Julien Iguchi-Cartigny . - Université de Lille (2022-....)
Informatique et applications
Soutenue le 14-12-2022
Sécurité matérielle des objets connectés
par Alexandre Menu sous la direction de Jean-Max Dutertre et de Jean-Luc Danger . - Lyon
Microélectronique
Soutenue le 29-11-2021
Approches, Stratégies, et Implémentations de Protections Mémoire dans les Systèmes Embarqués Critiques et Contraints
par Cyril Bresch sous la direction de Ioannis Parissis , David Hély et de Stéphanie Chollet . - Université Grenoble Alpes
Nanoélectronique et nanotechnologie
Soutenue le 16-10-2020
Sécurisation à la compilation de logiciels contre les attaques en fautes
par Thierno Barry sous la direction de Bruno Robisson - Lyon
Microélectronique
Soutenue le 24-11-2017
Binary level static analysis
par Adel Djoudi sous la direction de Éric Goubault - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 02-12-2016
Implantations et protections de mécanismes cryptographiques logiciels et matériels
par Marie-Angela Cornelie sous la direction de Philippe Elbaz-Vincent - Université Grenoble Alpes (ComUE)
Mathématiques et Informatique
Soutenue le 12-04-2016
Semantic foundations of intermediate program representations
par Delphine Demange sous la direction de Thomas Jensen - Cachan, Ecole normale supérieure
Informatique
Soutenue le 19-10-2012
Méthodes déductives pour la preuve de programmes LUSTRE
par Cécile Dumas Canovas sous la direction de Paul Caspi et de Catherine Parent . - Université Joseph Fourier (Grenoble ; 1971-2015)
Informatique. Systèmes et communications
Soutenue en 2000
