Conception d’un noyau sécurisé pour objets contraints
Réduction des besoins de confiance matérielle pour le développement d’un hyperviseur certifiable Soutenue le 8 décembre 2016
Assistance au développêment de logiciels embarqués contraints en énergie Soutenue le 19 septembre 2018
Détection des attaques DDoS combinant des sources de données hétérogènes
Le co-design d’un noyau de système d’exploitation et de sa preuve formelle d’isolation Soutenue le 20 décembre 2018
Analyse forensique des écosystèmes intelligents communicants de l’Internet des objets Soutenue le 30 janvier 2021
Probes Infrastructure for Cloud Security Soutenue le 3 décembre 2015
Conception et implémentation d’un écosystème pour l’Internet des objets basé sur une isolation mémoire formellement prouvée Soutenue le 19 décembre 2019
Sécurité des systèmes d’exploitation embarqués sur processeur multicoeur
Sécurité et détection d’intrusion dans les réseaux sans fil Soutenue le 29 janvier 2021
Vérification externalisée du flot de contrôle : Comment adapter la sécurité système à l’informatique embarquée Soutenue le 26 juin 2019
Co-design et implémentation d’un noyau minimal orienté par sa preuve, et évolution vers les architectures multi-coeur Soutenue le 19 juin 2019