Informations professionnelles
Statut: Docteur ED
ED: EDITE
Unité de recherche: LIP6
Date de debut de thèse: Non disponible Date soutenance de thèse: 19 janvier 2012 Directeur de thèse: Alain GREINER (LIP6) Sujet de thèse: Etude, spécification et vérification formelle de mécanismes de virtualisation sécurisée pour architecture multi coeurs multi processeurs.
Date de debut de thèse: Non disponible Date soutenance de thèse: 19 janvier 2012 Directeur de thèse: Alain GREINER (LIP6) Sujet de thèse: Etude, spécification et vérification formelle de mécanismes de virtualisation sécurisée pour architecture multi coeurs multi processeurs.