{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,6]],"date-time":"2026-06-06T01:16:51Z","timestamp":1780708611527,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,4,23]],"date-time":"2018-04-23T00:00:00Z","timestamp":1524441600000},"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":[[2018,4,23]]},"DOI":"10.1145\/3190508.3190529","type":"proceedings-article","created":{"date-parts":[[2018,4,18]],"date-time":"2018-04-18T17:23:36Z","timestamp":1524072216000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["MultiNyx"],"prefix":"10.1145","author":[{"given":"Pedro","family":"Fonseca","sequence":"first","affiliation":[{"name":"University of Washington"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xi","family":"Wang","sequence":"additional","affiliation":[{"name":"University of Washington"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Arvind","family":"Krishnamurthy","sequence":"additional","affiliation":[{"name":"University of Washington"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,4,23]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Verified Software: Theories, Tools, Experiments","author":"Alkassar Eyad","unstructured":"Eyad Alkassar , Mark A. Hillebrand , Wolfgang Paul , and Elena Petrova . 2010. Automated Verification of a Small Hypervisor . In Verified Software: Theories, Tools, Experiments . Springer Berlin Heidelberg , Berlin, Heidelberg , 40--54. Eyad Alkassar, Mark A. Hillebrand, Wolfgang Paul, and Elena Petrova. 2010. Automated Verification of a Small Hypervisor. In Verified Software: Theories, Tools, Experiments. Springer Berlin Heidelberg, Berlin, Heidelberg, 40--54."},{"key":"e_1_3_2_1_2_1","volume-title":"AMD64 Architecture Programmer's Manual Volume 3: General Purpose and System Instructions. https:\/\/support.amd.com\/TechDocs\/24593.pdf. (December","author":"AMD.","year":"2017","unstructured":"AMD. 2017. AMD64 Architecture Programmer's Manual Volume 3: General Purpose and System Instructions. https:\/\/support.amd.com\/TechDocs\/24593.pdf. (December 2017 ). Accessed : 2018-03-06. AMD. 2017. AMD64 Architecture Programmer's Manual Volume 3: General Purpose and System Instructions. https:\/\/support.amd.com\/TechDocs\/24593.pdf. (December 2017). Accessed: 2018-03-06."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815420"},{"key":"e_1_3_2_1_4_1","volume-title":"Personal Communication. (June","author":"Anonymous","year":"2017","unstructured":"Anonymous . 2017. Personal Communication. (June 2017 ). Anonymous. 2017. Personal Communication. (June 2017)."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3102980.3103002"},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the 9th Symposium on Operating Systems Design and Implementation (OSDI)","author":"Ben-Yehuda Muli","year":"2010","unstructured":"Muli Ben-Yehuda , Michael D. Day , Zvi Dubitzky , Michael Factor , Nadav Har'El , Abel Gordon , Anthony Liguori , Orit Wasserman , and Ben-Ami Yassour . 2010 . The Turtles Project: Design and Implementation of Nested Virtualization . In Proceedings of the 9th Symposium on Operating Systems Design and Implementation (OSDI) . Vancouver, Canada, 423--436. Muli Ben-Yehuda, Michael D. Day, Zvi Dubitzky, Michael Factor, Nadav Har'El, Abel Gordon, Anthony Liguori, Orit Wasserman, and Ben-Ami Yassour. 2010. The Turtles Project: Design and Implementation of Nested Virtualization. In Proceedings of the 9th Symposium on Operating Systems Design and Implementation (OSDI). Vancouver, Canada, 423--436."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660200"},{"key":"e_1_3_2_1_8_1","volume-title":"The Security State of KVM. https:\/\/lwn.net\/Articles\/619332\/. (November","author":"Bonzini Paolo","year":"2014","unstructured":"Paolo Bonzini . 2014. The Security State of KVM. https:\/\/lwn.net\/Articles\/619332\/. (November 2014 ). Accessed : 2017-09-22. Paolo Bonzini. 2014. The Security State of KVM. https:\/\/lwn.net\/Articles\/619332\/. (November 2014). Accessed: 2017-09-22."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2541940.2541977"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1966445.1966463"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/3092778"},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of the 8th Symposium on Operating Systems Design and Implementation (OSDI)","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar , Daniel Dunbar , and Dawson Engler . 2008 . KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs . In Proceedings of the 8th Symposium on Operating Systems Design and Implementation (OSDI) . San Diego, CA, 209--224. Cristian Cadar, Daniel Dunbar, and Dawson Engler. 2008. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In Proceedings of the 8th Symposium on Operating Systems Design and Implementation (OSDI). San Diego, CA, 209--224."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950396"},{"key":"e_1_3_2_1_14_1","unstructured":"CloudSigma. 2017. Simple Cloud Hosting. https:\/\/www.cloudsigma.com\/features\/. (2017). Accessed: 2017-09-22.  CloudSigma. 2017. Simple Cloud Hosting. https:\/\/www.cloudsigma.com\/features\/. (2017). Accessed: 2017-09-22."},{"key":"e_1_3_2_1_15_1","volume-title":"Theory of Multi-core Hypervisor Verification","author":"Cohen Ernie","unstructured":"Ernie Cohen , Wolfgang Paul , and Sabine Schmaltz . 2013. Theory of Multi-core Hypervisor Verification . Springer Berlin Heidelberg , Berlin, Heidelberg , 1--27. Ernie Cohen, Wolfgang Paul, and Sabine Schmaltz. 2013. Theory of Multi-core Hypervisor Verification. Springer Berlin Heidelberg, Berlin, Heidelberg, 1--27."},{"key":"e_1_3_2_1_16_1","unstructured":"KVM contributors. 2017. KVM Unit Tests. https:\/\/www.linux-kvm.org\/page\/KVM-unit-tests. (2017). Accessed: 2017-07-26.  KVM contributors. 2017. KVM Unit Tests. https:\/\/www.linux-kvm.org\/page\/KVM-unit-tests. (2017). Accessed: 2017-07-26."},{"key":"e_1_3_2_1_17_1","volume-title":"Null Selector\". https:\/\/github.com\/torvalds\/linux\/commit\/33ab91103b3415e12457e3104f0e4517ce12d0f3. (January","author":"KVM","year":"2017","unstructured":"KVM contributors. 2017. KVM: x86: Fix Emulation of \"MOV SS , Null Selector\". https:\/\/github.com\/torvalds\/linux\/commit\/33ab91103b3415e12457e3104f0e4517ce12d0f3. (January 2017 ). Accessed : 2017-07-26. KVM contributors. 2017. KVM: x86: Fix Emulation of \"MOV SS, Null Selector\". https:\/\/github.com\/torvalds\/linux\/commit\/33ab91103b3415e12457e3104f0e4517ce12d0f3. (January 2017). Accessed: 2017-07-26."},{"key":"e_1_3_2_1_18_1","volume-title":"https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2016-8630. (October","author":"The MITRE Corporation","year":"2016","unstructured":"The MITRE Corporation . 2016. CVE-2016-8630. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2016-8630. (October 2016 ). Accessed : 2017-07-26. The MITRE Corporation. 2016. CVE-2016-8630. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2016-8630. (October 2016). Accessed: 2017-07-26."},{"key":"e_1_3_2_1_19_1","unstructured":"The MITRE Corporation. 2016. CVE-2017-2683. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2017-2583. (December2016). Accessed: 2017-07-26.  The MITRE Corporation. 2016. CVE-2017-2683. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2017-2583. (December2016). Accessed: 2017-07-26."},{"key":"e_1_3_2_1_20_1","unstructured":"The MITRE Corporation. 2017. Common Vulnerabilities and Exposures. https:\/\/cve.mitre.org\/. (2017). Accessed: 2017-07-26.  The MITRE Corporation. 2017. Common Vulnerabilities and Exposures. https:\/\/cve.mitre.org\/. (2017). Accessed: 2017-07-26."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings of the 15th Annual Network and Distributed System Security Symposium","author":"Godefroid Patrice","year":"2008","unstructured":"Patrice Godefroid , Michael Y. Levin , and David Molnar . 2008 . Automated White-box Fuzz Testing . In Proceedings of the 15th Annual Network and Distributed System Security Symposium . San Diego, CA. Patrice Godefroid, Michael Y. Levin, and David Molnar. 2008. Automated White-box Fuzz Testing. In Proceedings of the 15th Annual Network and Distributed System Security Symposium. San Diego, CA."},{"key":"e_1_3_2_1_24_1","unstructured":"Google. 2017. 7 Ways We Harden Our KVM Hypervisor at Google Cloud. https:\/\/cloudplatform.googleblog.com\/2017\/01\/7-ways-we-harden-our-KVM-hypervisor-at-Google-Cloud-security-in-plaintext.html. (2017). Accessed: 2017-09-22.  Google. 2017. 7 Ways We Harden Our KVM Hypervisor at Google Cloud. https:\/\/cloudplatform.googleblog.com\/2017\/01\/7-ways-we-harden-our-KVM-hypervisor-at-Google-Cloud-security-in-plaintext.html. (2017). Accessed: 2017-09-22."},{"key":"e_1_3_2_1_25_1","unstructured":"Google. 2017. Google Compute Engine FAQ. https:\/\/cloud.google.com\/compute\/docs\/faq. (2017). Accessed: 2017-09-22.  Google. 2017. Google Compute Engine FAQ. https:\/\/cloud.google.com\/compute\/docs\/faq. (2017). Accessed: 2017-09-22."},{"key":"e_1_3_2_1_26_1","unstructured":"Intel. 2017. Intel 64 and IA-32 Architectures Software Developer's Manual Combined Volumes: 1 2A 2B 2C 2D 3A 3B 3C 3D and 4. https:\/\/software.intel.com\/sites\/default\/files\/managed\/39\/c5\/325462-sdm-vol-1--2abcd-3abcd.pdf. (December 2017). Accessed: 2018-03-06.  Intel. 2017. Intel 64 and IA-32 Architectures Software Developer's Manual Combined Volumes: 1 2A 2B 2C 2D 3A 3B 3C 3D and 4. https:\/\/software.intel.com\/sites\/default\/files\/managed\/39\/c5\/325462-sdm-vol-1--2abcd-3abcd.pdf. (December 2017). Accessed: 2018-03-06."},{"key":"e_1_3_2_1_27_1","volume-title":"Trace Version APIs. https:\/\/software.intel.com\/sites\/landingpage\/pintool\/docs\/81205\/Pin\/html\/group__TRACE__VERSION__API.html. (February","year":"2017","unstructured":"Intel. 2017. Trace Version APIs. https:\/\/software.intel.com\/sites\/landingpage\/pintool\/docs\/81205\/Pin\/html\/group__TRACE__VERSION__API.html. (February 2017 ). Accessed : 2017-10-26. Intel. 2017. Trace Version APIs. https:\/\/software.intel.com\/sites\/landingpage\/pintool\/docs\/81205\/Pin\/html\/group__TRACE__VERSION__API.html. (February 2017). Accessed: 2017-10-26."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_1_29_1","volume-title":"https:\/\/cdn.kernel.org\/pub\/linux\/kernel\/v4.x\/ChangeLog-4.4.115. (February","author":"Kroah-Hartman Greg","year":"2018","unstructured":"Greg Kroah-Hartman . 2018. Linux Kernel 4.4.115 Changelog . https:\/\/cdn.kernel.org\/pub\/linux\/kernel\/v4.x\/ChangeLog-4.4.115. (February 2018 ). Accessed : 2018-02-23. Greg Kroah-Hartman. 2018. Linux Kernel 4.4.115 Changelog. https:\/\/cdn.kernel.org\/pub\/linux\/kernel\/v4.x\/ChangeLog-4.4.115. (February 2018). Accessed: 2018-02-23."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-05089-3_51"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2150976.2151012"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831730"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572303"},{"key":"e_1_3_2_1_35_1","unstructured":"MivoCloud. 2017. KVM Cloud Hosting in Europe. https:\/\/www.mivocloud.com\/. (2017). Accessed: 2017-09-22.  MivoCloud. 2017. KVM Cloud Hosting in Europe. https:\/\/www.mivocloud.com\/. (2017). Accessed: 2017-09-22."},{"key":"e_1_3_2_1_37_1","volume-title":"bochs: Bochs IA-32 Emulator Project","author":"Project The Bochs","unstructured":"The Bochs Project . 2017. bochs: Bochs IA-32 Emulator Project . http:\/\/bochs.sourceforge.net\/. (2017). Accessed: 2017-07-30. The Bochs Project. 2017. bochs: Bochs IA-32 Emulator Project. http:\/\/bochs.sourceforge.net\/. (2017). Accessed: 2017-07-30."},{"key":"e_1_3_2_1_38_1","volume-title":"Triton: A Dynamic Symbolic Execution Framework. In Symposium sur la s\u00e9curit\u00e9 des technologies de l'information et des communications, SSTIC","author":"Jonathan Salwan Florent Saudeland","year":"2015","unstructured":"Florent Saudeland Jonathan Salwan . 2015 . Triton: A Dynamic Symbolic Execution Framework. In Symposium sur la s\u00e9curit\u00e9 des technologies de l'information et des communications, SSTIC , France, Rennes , June 3-5 2015. SSTIC, 31--54. Florent Saudeland Jonathan Salwan. 2015. Triton: A Dynamic Symbolic Execution Framework. In Symposium sur la s\u00e9curit\u00e9 des technologies de l'information et des communications, SSTIC, France, Rennes, June 3-5 2015. SSTIC, 31--54."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2013.36"},{"key":"e_1_3_2_1_40_1","volume-title":"Proceedings of the 25th Usenix Security Symposium","author":"Vasudevan Amit","year":"2016","unstructured":"Amit Vasudevan , Sagar Chaki , Petros Maniatis , Limin Jia , and Anupam Datta . 2016 . \u00fcberSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor . In Proceedings of the 25th Usenix Security Symposium . Austin, TX, 87--104. Amit Vasudevan, Sagar Chaki, Petros Maniatis, Limin Jia, and Anupam Datta. 2016. \u00fcberSpark: Enforcing Verifiable Object Abstractions for Automated Compositional Security Analysis of a Hypervisor. In Proceedings of the 25th Usenix Security Symposium. Austin, TX, 87--104."},{"key":"e_1_3_2_1_41_1","unstructured":"vServer Center. 2017. KVM Hosting | KVM Cloud Servers. https:\/\/www.vservercenter.com\/kvm-hosting.html. (2017). Accessed: 2017-09-22.  vServer Center. 2017. KVM Hosting | KVM Cloud Servers. https:\/\/www.vservercenter.com\/kvm-hosting.html. (2017). Accessed: 2017-09-22."}],"event":{"name":"EuroSys '18: Thirteenth EuroSys Conference 2018","location":"Porto Portugal","acronym":"EuroSys '18","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the Thirteenth EuroSys Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3190508.3190529","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3190508.3190529","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:08:09Z","timestamp":1750208889000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3190508.3190529"}},"subtitle":["a multi-level abstraction framework for systematic analysis of hypervisors"],"short-title":[],"issued":{"date-parts":[[2018,4,23]]},"references-count":39,"alternative-id":["10.1145\/3190508.3190529","10.1145\/3190508"],"URL":"https:\/\/doi.org\/10.1145\/3190508.3190529","relation":{},"subject":[],"published":{"date-parts":[[2018,4,23]]},"assertion":[{"value":"2018-04-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}