About us
Espace utilisateur
INSTN offers more than 40 diplomas from operator level to post-graduate degree level. 30% of our students are international students.
Professionnal development
Professionnal development
Find a training course
INSTN delivers off-the-self or tailor-made training courses to support the operational excellence of your talents.
Human capital solutions
At INSTN, we are committed to providing our partners with the best human capital solutions to develop and deliver safe & sustainable projects.
Home   /   Post Doctorat   /   Design of a safe and secure hypervisor in the context of a manycore architecture

Design of a safe and secure hypervisor in the context of a manycore architecture

Computer science and software Engineering sciences


The TSUNAMY project aims at thinking the design of future manycore chips in a collaborative hardware/software approach. It will investigate how crypto-processors can be incorporated into such a chip, turning it into a heterogeneous architecture, where scheduling, resource allocation, resource sharing, and resource isolation will be a concern.

The LaSTRE laboratory has designed Anaxagoros, a micro-kernel which ensures good properties in terms of safety and integration of mixed-criticality applications and is therefore well suited to the virtualization of operating systems. Making this virtualization software layer evolve in the context of the TSUNAMY project is the main goal of this post-doctoral proposal.

The first issue to address deals with the scalability of Anaxagoros on a manycore architecture. This system was designed with multicore scalability in mind : to help reach the highest level of parallelism in a lock-free fashion, innovative techniques were proposed to minimize the amount of synchronization points within the system. This is the first step, but scaling to manycore architectures brings new topics such as cache-coherency or non-uniform memory access that require to focus on data locality as well. The second challenge will be to incorporate genuine security features into Anaxagoros, e.g. regarding protection from covert channels, or confidentiality. The third and final challenge that will be addressed through interactions with the partners of the project is to devise techniques that could be implemented directly in hardware in order to ensure that even a breach in what is usually considered as trusted software will not allow an attacker to gain unprivileged data access or let information leak.


Département Architectures Conception et Logiciels Embarqués (LIST-LETI)
Laboratoires des fondements des systèmes Temps réel Embarqués
Top envelopegraduation-hatlicensebookuserusersmap-markercalendar-fullbubblecrossmenuarrow-down