LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » News » PhD students

PLOUVIEZ Geoffrey

PhD graduated
Team : ALSOC
Departure date : 01/19/2012
Supervision : Alain GREINER
Co-supervision : WAJSBÜRT Franck

Etude, spécification, vérification formelle de mécanismes de virtualisation sécurisés pour architecture many-cores

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.
Defence : 01/19/2012 - 11h - Site Jussieu 55-65/211
Jury members :
Mr David Naccache [Rapporteur]
Mr Guy Gogniat [Rapporteur]
Mme Emmanuelle Encrenaz
Mr Renaud Pacalet
Mr Loïc Duflot
Mr Frédéric Pétrot
Mr Franck Wajsbürt
Mr Alain Greiner

2012-2013 Publications

 Mentions légales
Site map |