Stem hypervisor$ (all stems)

21 papers:

DAC-2015-BeckertE #design #independence #realtime

Designing time partitions for real-time hypervisor with sufficient temporal independence (MB, RE), p. 6.

HPCA-2015-JinPSCSZ #fault #hardware #named

FTXen: Making hypervisor resilient to hardware faults on relaxed cores (XJ, SP, TS, RC, ZS, YZ), pp. 451–462.

DAC-2014-BeckertNEP #independence #realtime

Sufficient Temporal Independence and Improved Interrupt Latencies in a Real-Time Hypervisor (MB, MN, RE, SMP), p. 6.

ASPLOS-2014-DallN #design #implementation #linux #named

KVM/ARM: the design and implementation of the linux ARM hypervisor (CD, JN), pp. 333–348.

TAP-2014-KosmatovLA #case study #proving #testing #verification

A Case Study on Verification of a Cloud Hypervisor by Proof and Structural Testing (NK, ML, CA), pp. 158–164.

HPCA-2013-XiaLC #architecture #physics #virtual machine

Architecture support for guest-transparent VM protection from untrusted hypervisor and physical attacks (YX, YL, HC), pp. 246–257.

SEFM-2012-PaulSS #assembly #automation #verification

Completing the Automated Verification of a Small Hypervisor — Assembler Code Verification (WJP, SS, AS), pp. 188–202.

SAC-2012-HuaS #kernel #lightweight #memory management #named

Barrier: a lightweight hypervisor for protecting kernel integrity via memory isolation (JH, KS), pp. 1470–1477.

SAC-2012-OmoteCSKEM #encryption

Hypervisor-based background encryption (YO, YC, TS, TK, HE, KM), pp. 1829–1836.

SAC-2012-OyamaGCSK #detection

Detecting malware signatures in a thin hypervisor (YO, TTDG, YC, TS, KK), pp. 1807–1814.

SAC-2012-WangYLQG

Hypervisor-based protection of sensitive files in a compromised system (JW, MY, BL, ZQ, HG), pp. 1765–1770.

ASPLOS-2012-SzeferL #architecture

Architectural support for hypervisor-secure virtualization (JS, RBL), pp. 437–450.

SOSP-2011-ColpNZACDLW #security

Breaking up is hard to do: security and functionality in a commodity hypervisor (PC, MN, JZ, WA, GC, TD, PL, AW), pp. 189–202.

DAC-2010-Fornaeus

Device hypervisors (JF), pp. 114–119.

SAC-2010-ChubachiSK #persistent

Hypervisor-based prevention of persistent rootkits (YC, TS, KK), pp. 214–220.

OSDI-2010-GulatiMV #named #scheduling #throughput #variability

mClock: Handling Throughput Variability for Hypervisor IO Scheduling (AG, AM, PJV), pp. 437–450.

FM-2009-LeinenbachS #verification

Verifying the Microsoft Hyper-V Hypervisor with VCC (DL, TS), pp. 806–809.

ASPLOS-2009-MenonSZ #automation #named #network #performance

TwinDrivers: semi-automatic derivation of fast and safe hypervisor network drivers from guest OS drivers (AM, SS, WZ), pp. 301–312.

SOSP-2007-SeshadriLQP #kernel #named

SecVisor: a tiny hypervisor to provide lifetime kernel code integrity for commodity OSes (AS, ML, NQ, AP), pp. 335–350.

FM-2006-Cohen #validation

Validating the Microsoft Hypervisor (EC), p. 81.

SOSP-1995-BressoudS #fault tolerance

Hypervisor-based Fault-tolerance (TCB, FBS), pp. 1–11.