Pauline Bolignano

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Hypervisors must isolate memories of guest operating systems. This paper is concerned with proving memory isolation properties about the virtualization of the memory management unit provided by a hypervisor through shadow page tables. We conduct the proofs using abstraction techniques between high-level and low-level descriptions of the system, based on(More)
  • 1