A formally verified hypervisor with hardware support for a many-core chip - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

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

Résumé

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.
Fichier non déposé

Dates et versions

hal-01216550 , version 1 (16-10-2015)

Identifiants

Citer

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⟩
108 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More