Dirigée par Vincent Cordonnier et David Simplot-Ryl / Débutée le 1er octobre 2000
Domaine de recheche : Informatique
Conception et implémentation d’un exo-noyau à la propriété d’isolation formallement prouvable
Hyperviseur prouvé pour les systèmes temps réel
Tissage de code pour le suivi d’exécution d’un système d’exploitation par token sécurité
Français
English
