logo EDITE Sujets de doctorat

Etude, spécification et vérification formelle de mécanismes de virtualisation sécurisée pour architecture multi coeurs multi processeurs.

Résumé rédigé par
Directeur de thèse:
Doctorant: Geoffrey PLOUVIEZ
Unité de recherche UMR 7606 Laboratoire d'informatique de Paris 6

Projet

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é.