OLD - kunisuzaki/misc GitHub Wiki

Here is Kuni's Memo

Attacks which use hardware virtualization (Intel VT/AMD SVM)

• Subvert [IEEE S&P'06] [Paper] (http://vxheaven.org/lib/pdf/SubVirt%3A%20Implementing%20malware%20with%20virtual%20machines.pdf)
• Bluepill [BlackHat'06] Slide
• Vitriol [BlackHat USA'06] [Slide] (https://www.blackhat.com/presentations/bh-usa-06/BH-US-06-Zovi.pdf), [BlackHat USA'07] Slide

Research for secure hypervisor

• Nohype [ISCA'10] [Paper] (https://www.cs.princeton.edu/~jrex/papers/isca10.pdf)
• NOVA [EuroSys'10] [Paper] (http://www.hypervisor.de/eurosys2010.pdf), [HP&Code] (http://www.hypervisor.de/)
• Hypersafe [IEEE S&P'10] [Paper] (http://www.csc.ncsu.edu/faculty/jiang/pubs/OAKLAND10.pdf)
• HyperSentry [CCS'10] [Paper] (http://www.cs.ncsu.edu/faculty/jiang/pubs/CCS10.pdf)
• Shype [IBM Research Report'05] Paper
• TrustVisor [IEEE S&P'10] [Paper] (http://users.ece.cmu.edu/~jmmccune/papers/MLQZDGP2010.pdf), [Code as a part of XMHF:eXtensible Modular Hypervisor Framework] (http://xmhf.sourceforge.net/doc/xmhf/)

Survey paper

• Gábor Pék, Levente Buttyán, and Boldizsár Bencsáth, [A Survey of Security Issues in Hardware Virtualization] (http://www.hit.bme.hu/~buttyan/publications/PekBB13acmcsur.pdf), ACM Computing Surveys Volume 45 Issue 3, June 2013

Nested VM

• Turtles [OSDI'10] Paper
• CloudVisor [SOSP'11] Paper
• Xen-Blacket [EuroSys'12] Paper, HP
• Bryan Ford, Mike Hibler, Jay Lepreau, Patrick Tullmann, Godmar Back, and Stephen Clawson, Microkernels Meet Recursive Virtual Machines, OSDI'96.
• Sam Verboven, Ruben Van den Bossche, Olivier Berghmans, Kurt Vanmechelen, and Jan BroeckhoveEvaluating Nested Virtualization Support, Parallel and Distributed Computing and Networks / 720: Software Engineering (PDCN,SE Feb.2011)
• Ph.D Thesis of University of Antwerp, Olivier Berghmans, [Nesting Virtual Machines in Virtualization Test Frameworks] (http://www2.math.technion.ac.il/~nyh/nested/Thesis_OlivierBerghmans_FinalVersion.pdf), May 2010.
• [Historic Paper] H.C.Lauer, and D.Wyeth, A recursive virtual machine architecture, ACM SIGARCH-SIGOPS Workshop on Virtual Computer Systems, pp.113–116, 1973. (Technical Report)
• [Historic Paper] B.Gerald and H.Nai-Ting, Hardware Architecture for Recursive Virtual Machines, Technical Report of University of Wisconsin-Madison Department of Computer Sciences, Feb.1975. Paper

Good materials to understand hypervisor

• [Understanding Full Virtualization, Paravirtualization, and Hardware Assist] (http://www.vmware.com/files/pdf/VMware_paravirtualization.pdf), VMware Technical Paper, Nov. 11,2007
• Dr. Yeh-Ching Chung's Lecture