J'ai le plaisir de vous inviter à la soutenance de ma thèse intitulée :
"Etude, spécification, vérification formelle de mécanismes de
virtualisation sécurisés pour architecture many-cores".
qui aura lieu le jeudi 19 janvier à 11H au campus de jussieu salle 211
- Tour 55 - couloir 55/65 - 2ème étage.
Le jury sera composé de :
Directeur de thèse:
Mr Alain Greiner
Encadrant de thèse:
Mr Franck Wajsbürt
Rapporteurs:
Mr David Naccache
Mr Guy Gogniat
Examinateurs:
Mme Emmanuelle Encrenaz
Mr Renaud Pacalet
Mr Loïc Duflot
Mr Frédéric Pétrot
Résumé :
Cette thèse présente une solution de co-hébergement sécurisée de
plusieurs piles logicielles autonomes sur une même puce pouvant comprendre
jusqu'à plusieurs centaines de cœurs.
Dans le monde des puces généralistes, le nombre de cœurs ne cesse
d'augmenter rendant les machines de plus en plus puissantes.
Pourtant, du point de vue de la sécurité, les machines n'ont
jamais été aussi vulnérables aux attaques alors qu'elles traitent des
informations d'une sensibilité croissante.
Les techniques actuelles d'isolation, qu'elles soient au niveau
processus ou au niveau noyau, ne suffisent pas pour assurer la
confidentialité,
l'intégrité et la disponibilité des entités logicielles en exécution.
C'est pourquoi nous proposons une virtualisation adaptée aux puces
many-cores, permettant à des piles logicielles distinctes et potentiellement
dangereuses de s'exécuter dans un environnement
de confiance dont la couche logicielle a été formellement vérifiée
conforme à une spécification.
Aucun commentaire:
Enregistrer un commentaire