Acquisition de contraintes  Analyse binaire dynamique  Analyse de vulnérabilités  Analyse informatique  Apprentissage  Attaque microarchitecturale  Attaque par canaux auxiliaires  Auto-Modification  Bogues  Code exécutable  Code source  Codes malveillants  Comparaison de graphes  Compréhension de code  Comptage de modèles  Contraintes  Cryptographie  Dragonfly  Débogage  Déobfuscation binaire  Désobfuscation  Détection des anomalies  Exécution Symbolique  Exécution symbolique  Flots  Fuzzing  Graphe de flot de contrôle  Helmholtz, Équation d'  Inférence de contrats  Interprétation abstraite  Logiciels -- Vérification  Méthodes formelles  Méthodes formelles  Rétro-ingénierie  Systèmes informatiques -- Mesures de sûreté  Sécurité  

Sébastien Bardin a rédigé la thèse suivante :

Vers un Model Checking avec accélération plate des systèmes hétérogènes

par Sébastien Bardin sous la direction de Alain Finkel - Cachan, Ecole normale supérieure

Informatique

Soutenue en 2005

Sébastien Bardin a dirigé les 6 thèses suivantes :

Black-box code analysis for reverse engineering through constraint acquisition and program synthesis

par Grégoire Menguy sous la direction de Julien Signoles , Sébastien Bardin et de Nadjib Lazaar . - université Paris-Saclay

Informatique

Soutenue le 14-03-2023

Robust reachability and model counting for software security

par Guillaume Girol sous la direction de Sylvain Conchon et de Sébastien Bardin . - université Paris-Saclay

Informatique

Soutenue le 17-10-2022

Software security : combining fuzzing and symbolic methods for vulnerability detection

par Yaëlle Vinçont sous la direction de Sylvain Conchon et de Sébastien Bardin . - université Paris-Saclay

Informatique

Soutenue le 15-12-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

Formal Approaches for Automatic Deobfuscation and Reverse-engineering of Protected Codes

par Robin David sous la direction de Jean-Yves Marion et de Sébastien Bardin . - Université de Lorraine

Informatique

Soutenue le 06-01-2017

Sébastien Bardin a été rapporteur de la thèse suivante :

Cryptography in the wild : the security of cryptographic implementations

par Daniel de Almeida Braga sous la direction de Pierre-Alain Fouque - Rennes 1

Informatique

Soutenue le 14-12-2022

Sébastien Bardin a été membre de jury des 3 thèses suivantes :

Affiner la déobfuscation symbolique et concrète de programmes protégés par des prédicats opaques

par Alexandre Gonzalvez sous la direction de Caroline Fontaine et de Fabien Dagnat . - Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire

Informatique

Soutenue le 02-06-2020

Binary level static analysis

par Adel Djoudi sous la direction de Éric Goubault - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 02-12-2016

Désassemblage et détection de logiciels malveillants auto-modifiants

par Aurélien Thierry sous la direction de Jean-Yves Marion - Université de Lorraine

Informatique

Soutenue le 11-03-2015