Building reliable and secure virtual machines using architectural invariants

Cuong Pham, Zachary J. Estrada, Phuong Cao, Zbigniew Kalbarczyk, Ravishankar K. Iyer

Research output: Contribution to journalArticlepeer-review


HyperTap is a hypervisor-level monitoring framework for virtual machines (VMs). It uses hardware architectural invariants properties defined and enforced by a hardware platform to establish the root of trust for logging data and events. HyperTap also supports continuous, event-driven VM monitoring, which enables both capturing the system state and responding rapidly to actions of interest.

Original languageEnglish (US)
Article number6924639
Pages (from-to)82-85
Number of pages4
JournalIEEE Security and Privacy
Issue number5
StatePublished - Sep 2014


  • HyperTap
  • hang detection
  • hangs
  • hardware architectural invariants
  • hardware-assisted virtualization
  • privilege escalation
  • reliability
  • rootkits
  • security
  • virtual machines
  • virtual-machine introspection

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Electrical and Electronic Engineering
  • Law


Dive into the research topics of 'Building reliable and secure virtual machines using architectural invariants'. Together they form a unique fingerprint.

Cite this