A formally verified hypervisor with hardware support for a many-core chip

Abstract : This work presents a co-hosting approach of multiple software stacks within a many-core system-on-chip. We present a many-core virtual machine monitor executing software stacks in virtual machines.We confine the virtual machines from each others to prevent a malicious virtual machine user to compromise an other virtual machine or the virtual machine monitor (or hypervisor). We have made a formally verified many-core hypervisor that relies on our own hardware protection mechanism.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01216550
Contributor : Lip6 Publications <>
Submitted on : Friday, October 16, 2015 - 2:29:22 PM
Last modification on : Thursday, March 21, 2019 - 2:30:48 PM

Identifiers

Citation

Geoffrey Plouviez, Emmanuelle Encrenaz, Franck Wajsbürt. A formally verified hypervisor with hardware support for a many-core chip. The 1st Workshop on Runtime and Operating Systems for the Many-core Era, ROME 2013, Aug 2013, Aachen, Germany. pp.801-811, ⟨10.1007/978-3-642-54420-0_78⟩. ⟨hal-01216550⟩

Share

Metrics

Record views

103