Description
Date depot: 1 janvier 1900
Titre: Etude, spécification et vérification formelle de mécanismes de virtualisation sécurisée pour architecture multi coeurs multi processeurs.
Directeur de thèse:
Alain GREINER (LIP6)
Domaine scientifique: Sciences et technologies de l'information et de la communication
Thématique CNRS : Non defini
Resumé:
Cette thèse se place dans le cadre du projet TSAR qui porte sur la réalisation d'une architecture massivement multi-coeurs.
L'objectif est de créer des mécanismes sécurisés de virtualisation comprenant aussi bien le support des CPU, de la RAM et des périphériques d'I/O.
Pour l'aspect sécuritaire, nous entendons mettre en place aux niveaux matériel et logiciel des protections contre d'éventuelles tentatives d'attaques.
Le bon fonctionnement de ces protections sera formellement prouvé.
Doctorant.e: Plouviez Geoffrey