PhD graduated
Team : ALSOC
Departure date : 09/30/2017

Supervision : Alain GREINER

Co-supervision : MEUNIER Quentin, WAJSBÜRT Franck

Execution sécurisée d'applications sur plate-forme many-cores

Manycore architectures, which comprise a lot of cores, are a way to answer the always growing demand for digital data processing, especially in a context of cloud computing infrastructures. These data, which can belong to companies as well as private individuals, are sensitive by nature, and this is why the isolation problematic is primordial. Yet, since the beginning of cloud computing, virtualization techniques are more and more used to allow different users to physically share the same hardware resources. This is all the more true for manycore architectures, and it partially comes down to the architectures to guarantee that data integrity and confidentiality are preserved for the software it executes.
We propose in this thesis a secured virtualization environment for a manycore architecture. Our mechanism relies on hardware components and a hypervisor software to isolate several operating systems running on the same architecture. The hypervisor is in charge of allocating resources for the virtualized operating systems, but does not have the right to access the resources allocated to these systems. Thus, a security flaw in the hypervisor does not imperil data confidentiality and integrity of the virtualized systems.
Our solution is evaluated on a cycle-accurate virtual prototype and has been implemented in a coherent shared memory manycore architecture. Our evaluations target the hardware and performance overheads added by our mechanisms. Finally, we analyze the security provided by our solution.

Defence : 07/06/2017

Jury members :

Mme. Fabienne Nouvel-Uzel, INSA de Rennes - IETR [Rapporteur]
M. Daniel Chillet, Université de Rennes - IRISA [Rapporteur]
M. Pascal Benoit, Université de Montpellier - LIRMM
M. Bertrand Granado, Université Pierre et Marie Curie - LIP6
M. Sébastien Pillement, Université de Nantes - IETR
M. Alain Greiner, Université Pierre et Marie Curie - LIP6
M. Quentin Meunier, Université Pierre et Marie Curie - LIP6
M. Franck Wajsbürt, Université Pierre et Marie Curie - LIP6

Departure date : 09/30/2017

2015-2017 Publications