Dirigée par Vincent Cordonnier et David Simplot-Ryl / Débutée le 1er octobre 2000
Domaine de recheche : Informatique
Conception d’un noyau sécurisé pour objets contraints
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
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
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