TY - JOUR AU - TI - Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework JF - 2013 IEEE Symposium on Security and Privacy DO - 10.1109/sp.2013.36 DA - 2013-05-01 UR - https://www.deepdyve.com/lp/unpaywall/design-implementation-and-verification-of-an-extensible-and-modular-cjqmEB0PG7 DP - DeepDyve ER -