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.