{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,31]],"date-time":"2026-07-31T15:32:07Z","timestamp":1785511927720,"version":"3.56.0"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,4,13]],"date-time":"2010-04-13T00:00:00Z","timestamp":1271116800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,4,13]]},"DOI":"10.1145\/1755913.1755935","type":"proceedings-article","created":{"date-parts":[[2010,4,27]],"date-time":"2010-04-27T12:45:48Z","timestamp":1272372348000},"page":"209-222","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":226,"title":["NOVA"],"prefix":"10.1145","author":[{"given":"Udo","family":"Steinberg","sequence":"first","affiliation":[{"name":"TU Dresden, Dresden, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bernhard","family":"Kauer","sequence":"additional","affiliation":[{"name":"TU Dresden, Dresden, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2010,4,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168860"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945462"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629579"},{"key":"e_1_3_2_1_4_1","first-page":"41","volume-title":"QEMU, A Fast and Portable Dynamic Translator. In Proceedings of the USENIX Annual Technical Conference (ATC)","author":"Bellard F.","year":"2005","unstructured":"F. Bellard . QEMU, A Fast and Portable Dynamic Translator. In Proceedings of the USENIX Annual Technical Conference (ATC) , pages 41 -- 46 . USENIX Association , 2005 . F. Bellard. QEMU, A Fast and Portable Dynamic Translator. In Proceedings of the USENIX Annual Technical Conference (ATC), pages 41--46. USENIX Association, 2005."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346286"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/268998.266672"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346284"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755913.1755932"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/1251203.1251223"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1060289.1060309"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1974.6323581"},{"key":"e_1_3_2_1_12_1","volume-title":"The Intel Safer Computing Initiative","author":"Grawrock D.","year":"2006","unstructured":"D. Grawrock . The Intel Safer Computing Initiative . Intel Press , 2006 . D. Grawrock. The Intel Safer Computing Initiative. Intel Press, 2006."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/268998.266660"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDCC.2006.7"},{"key":"e_1_3_2_1_15_1","volume-title":"System Programming Guide","author":"Architectures Software Developer's Manual Intel","year":"2008","unstructured":"Intel 64 and IA-32 Architectures Software Developer's Manual Volume 3B : System Programming Guide . Intel Corporation , 2008 . SKU #253669. Intel 64 and IA-32 Architectures Software Developer's Manual Volume 3B: System Programming Guide. Intel Corporation, 2008. SKU #253669."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/1247360.1247361"},{"key":"e_1_3_2_1_17_1","first-page":"225","volume-title":"Proceedings of the Linux Symposium","author":"Kivity A.","year":"2007","unstructured":"A. Kivity , Y. Kamay , D. Laor , U. Lublin , and A. Liguori . KVM: The Linux Virtual Machine Monitor . In Proceedings of the Linux Symposium , pages 225 -- 230 , 2007 . A. Kivity, Y. Kamay, D. Laor, U. Lublin, and A. Liguori. KVM: The Linux Virtual Machine Monitor. In Proceedings of the Linux Symposium, pages 225--230, 2007."},{"key":"e_1_3_2_1_18_1","first-page":"609","volume-title":"High Assurance Multi-level Secure PC for Intelligence Communities. In Proceedings of the IEEE Conference on Technologies for Homeland Security","author":"Kleidermacher D. N.","year":"2008","unstructured":"D. N. Kleidermacher . Towards a High Assurance Multi-level Secure PC for Intelligence Communities. In Proceedings of the IEEE Conference on Technologies for Homeland Security , pages 609 -- 614 . IEEE Computer Society , 2008 . D. N. Kleidermacher. Towards a High Assurance Multi-level Secure PC for Intelligence Communities. In Proceedings of the IEEE Conference on Technologies for Homeland Security, pages 609--614. IEEE Computer Society, 2008."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629596"},{"key":"e_1_3_2_1_20_1","volume-title":"Black Hat USA","author":"Kortchinsky K.","year":"2009","unstructured":"K. Kortchinsky . Cloudburst -- Hacking 3D and Breaking out of VMware . In Black Hat USA , 2009 . K. Kortchinsky. Cloudburst -- Hacking 3D and Breaking out of VMware. In Black Hat USA, 2009."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1519130.1519135"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-05089-3_51"},{"key":"e_1_3_2_1_23_1","first-page":"17","volume-title":"Proceedings of the 6th Symposium on Operating Systems Design and Implementation (OSDI)","author":"LeVasseur J.","year":"2004","unstructured":"J. LeVasseur , V. Uhlig , J. St\u00f6\u00df , and S. G\u00f6tz . Unmodified Device Driver Reuse and Improved System Dependability via Virtual Machines . In Proceedings of the 6th Symposium on Operating Systems Design and Implementation (OSDI) , pages 17 -- 30 . USENIX Association , 2004 . J. LeVasseur, V. Uhlig, J. St\u00f6\u00df, and S. G\u00f6tz. Unmodified Device Driver Reuse and Improved System Dependability via Virtual Machines. In Proceedings of the 6th Symposium on Operating Systems Design and Implementation (OSDI), pages 17--30. USENIX Association, 2004."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224075"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/168619.168633"},{"key":"e_1_3_2_1_26_1","unstructured":"Microsoft Hyper-V. http:\/\/www.microsoft.com\/hyperv\/.  Microsoft Hyper-V. http:\/\/www.microsoft.com\/hyperv\/."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346256.1346278"},{"key":"e_1_3_2_1_28_1","volume-title":"CanSecWest","author":"Ormandy T.","year":"2007","unstructured":"T. Ormandy . An Empirical Study into the Security Exposure to Hosts of Hostile Virtualized Environments . In CanSecWest , 2007 . T. Ormandy. An Empirical Study into the Security Exposure to Hosts of Hostile Virtualized Environments. In CanSecWest, 2007."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1518684.1518688"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629583"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294294"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/319151.319163"},{"key":"e_1_3_2_1_33_1","first-page":"1","volume-title":"General-Purpose Operating System Kernel. In Proceedings of the 1st NICTA Workshop on Operating System Verification","author":"Shapiro J. S.","year":"2004","unstructured":"J. S. Shapiro , M. S. Doerrie , E. Northup , S. Sridhar , and M. Miller . Towards a Verified , General-Purpose Operating System Kernel. In Proceedings of the 1st NICTA Workshop on Operating System Verification , pages 1 -- 18 . National ICT Australia , 2004 . J. S. Shapiro, M. S. Doerrie, E. Northup, S. Sridhar, and M. Miller. Towards a Verified, General-Purpose Operating System Kernel. In Proceedings of the 1st NICTA Workshop on Operating System Verification, pages 1--18. National ICT Australia, 2004."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508293.1508311"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1217935.1217951"},{"key":"e_1_3_2_1_36_1","first-page":"279","volume-title":"Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI)","author":"Ta-Min R.","year":"2006","unstructured":"R. Ta-Min , L. Litty , and D. Lie . Splitting Interfaces: Making Trust Between Applications and Operating Systems Configurable . In Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI) , pages 279 -- 292 . USENIX Association , 2006 . R. Ta-Min, L. Litty, and D. Lie. Splitting Interfaces: Making Trust Between Applications and Operating Systems Configurable. In Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI), pages 279--292. USENIX Association, 2006."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2005.163"},{"key":"e_1_3_2_1_38_1","unstructured":"VMware ESX Server Virtual Infrastructure Node Evaluator's Guide. http:\/\/www.vmware.com\/pdf\/esx_vin_eval.pdf.  VMware ESX Server Virtual Infrastructure Node Evaluator's Guide. http:\/\/www.vmware.com\/pdf\/esx_vin_eval.pdf."},{"key":"e_1_3_2_1_39_1","unstructured":"VMware ESXi. http:\/\/www.vmware.com\/esx\/.  VMware ESXi. http:\/\/www.vmware.com\/esx\/."},{"key":"e_1_3_2_1_40_1","volume-title":"Black Hat USA","author":"Wojtczuk R.","year":"2008","unstructured":"R. Wojtczuk . Subverting the Xen Hypervisor . In Black Hat USA , 2008 . R. Wojtczuk. Subverting the Xen Hypervisor. In Black Hat USA, 2008."}],"event":{"name":"EuroSys '10: Fifth EuroSys Conference 2010","location":"Paris France","acronym":"EuroSys '10","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the 5th European conference on Computer systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1755913.1755935","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1755913.1755935","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:45:34Z","timestamp":1750250734000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1755913.1755935"}},"subtitle":["a microhypervisor-based secure virtualization architecture"],"short-title":[],"issued":{"date-parts":[[2010,4,13]]},"references-count":40,"alternative-id":["10.1145\/1755913.1755935","10.1145\/1755913"],"URL":"https:\/\/doi.org\/10.1145\/1755913.1755935","relation":{},"subject":[],"published":{"date-parts":[[2010,4,13]]},"assertion":[{"value":"2010-04-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}