{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,18]],"date-time":"2026-08-18T01:40:41Z","timestamp":1787017241178,"version":"build-2736575974"},"publisher-location":"New York, NY, USA","reference-count":49,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,3,16]],"date-time":"2013-03-16T00:00:00Z","timestamp":1363392000000},"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":[[2013,3,16]]},"DOI":"10.1145\/2451512.2451546","type":"proceedings-article","created":{"date-parts":[[2013,3,19]],"date-time":"2013-03-19T09:34:53Z","timestamp":1363685693000},"page":"167-178","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":20,"title":["Towards verifiable resource accounting for outsourced computation"],"prefix":"10.1145","author":[{"given":"Chen","family":"Chen","sequence":"first","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Petros","family":"Maniatis","sequence":"additional","affiliation":[{"name":"Intel Corporation, Berkeley, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Adrian","family":"Perrig","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Amit","family":"Vasudevan","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vyas","family":"Sekar","sequence":"additional","affiliation":[{"name":"Stony Brook University, Stony Brook, NY, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2013,3,16]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Cloud storage providers need sharper billing metrics. http:\/\/www.networkworld.com\/news\/2011\/061711-cloud-storage-providers-need-sharper.html?page=2.  Cloud storage providers need sharper billing metrics. http:\/\/www.networkworld.com\/news\/2011\/061711-cloud-storage-providers-need-sharper.html?page=2."},{"key":"e_1_3_2_1_2_1","unstructured":"dm-verity: device-mapper block integrity checking target. http:\/\/code.google.com\/p\/cryptsetup\/wiki\/DMVerity. Retrieved 2\/2013.  dm-verity: device-mapper block integrity checking target. http:\/\/code.google.com\/p\/cryptsetup\/wiki\/DMVerity. Retrieved 2\/2013."},{"key":"e_1_3_2_1_3_1","unstructured":"IT Cloud Services User Survey: Top Benefits and Challenges. http:\/\/blogs.idc.com\/ie\/?p=210.  IT Cloud Services User Survey: Top Benefits and Challenges. http:\/\/blogs.idc.com\/ie\/?p=210."},{"key":"e_1_3_2_1_4_1","unstructured":"Service billing is hard. http:\/\/perspectives.mvdirona.com\/2009\/02\/16\/ServiceBillingIsHard.aspx.  Service billing is hard. http:\/\/perspectives.mvdirona.com\/2009\/02\/16\/ServiceBillingIsHard.aspx."},{"key":"e_1_3_2_1_5_1","unstructured":"TPM Main Specification Level 2 Version 1.2 Revision 103 (Trusted Computing Group). http:\/\/www.trustedcomputinggroup.org\/resources\/tpm\\_main\\_specification\/.  TPM Main Specification Level 2 Version 1.2 Revision 103 (Trusted Computing Group). http:\/\/www.trustedcomputinggroup.org\/resources\/tpm\\_main\\_specification\/."},{"key":"e_1_3_2_1_6_1","unstructured":"VMWare vCenter Chargeback. http:\/\/www.vmware.com\/products\/vcenter-chargeback\/overview.html.  VMWare vCenter Chargeback. http:\/\/www.vmware.com\/products\/vcenter-chargeback\/overview.html."},{"key":"e_1_3_2_1_7_1","volume-title":"Sept.","author":"Boot The Trusted","year":"2007","unstructured":"The Trusted Boot Project (tboot). http:\/\/tboot.sourceforge.net\/ , Sept. 2007 . The Trusted Boot Project (tboot). http:\/\/tboot.sourceforge.net\/, Sept. 2007."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1315245.1315318"},{"key":"e_1_3_2_1_9_1","volume-title":"OSDI","author":"Ben-Yehuda M.","year":"2010","unstructured":"M. Ben-Yehuda , M. D. Day , Z. Dubitzky , M. Factor , N. Har'El , A. Gordon , A. Liguori , O. Wasserman , and B.-A. Yassour . The Turtles Project: Design and Implementation of Nested Virtualization . In OSDI , 2010 . M. Ben-Yehuda, M. D. Day, Z. Dubitzky, M. Factor, N. Har'El, A. Gordon, A. Liguori, O. Wasserman, and B.-A. Yassour. The Turtles Project: Design and Implementation of Nested Virtualization. In OSDI, 2010."},{"key":"e_1_3_2_1_10_1","volume-title":"USENIX Security","author":"Chen S.","year":"2005","unstructured":"S. Chen , J. Xu , E. C. Sezer , P. Gauriar , and R. K. Iyer . Non-Control-Data Attacks are Realistic Threats . In USENIX Security , 2005 . S. Chen, J. Xu, E. C. Sezer, P. Gauriar, and R. K. Iyer. Non-Control-Data Attacks are Realistic Threats. In USENIX Security, 2005."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/MASCOTS.2011.12"},{"key":"e_1_3_2_1_12_1","unstructured":"R. Cohen. Navigating the Fog - Billing Metering and Measuring the Cloud. Cloud computing journal http:\/\/cloudcomputing.sys-con.com\/node\/858723.  R. Cohen. Navigating the Fog - Billing Metering and Measuring the Cloud. Cloud computing journal http:\/\/cloudcomputing.sys-con.com\/node\/858723."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043575"},{"key":"e_1_3_2_1_14_1","volume-title":"Proc. HotCloud","author":"Du J.","year":"2010","unstructured":"J. Du , N. Sherawat , and W. Zwaenepoel . Performance Profiling in a Virtualized Environment . In Proc. HotCloud , 2010 . J. Du, N. Sherawat, and W. Zwaenepoel. Performance Profiling in a Virtualized Environment. In Proc. HotCloud, 2010."},{"key":"e_1_3_2_1_15_1","volume-title":"OSDI","author":"Erlingsson U.","year":"2006","unstructured":"U. Erlingsson , M. Abadi , M. Vrable , M. Budiu , and G. C. Necula . XFI: Software Guards for System Address Spaces . In OSDI , 2006 . U. Erlingsson, M. Abadi, M. Vrable, M. Budiu, and G. C. Necula. XFI: Software Guards for System Address Spaces. In OSDI, 2006."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/505452.505453"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2150976.2151020"},{"key":"e_1_3_2_1_18_1","volume-title":"OSDI","author":"Haeberlen A.","year":"2010","unstructured":"A. Haeberlen , P. Aditya , R. Rodrigues , and P. Druschel . Accountable Virtual Machines . In OSDI , 2010 . A. Haeberlen, P. Aditya, R. Rodrigues, and P. Druschel. Accountable Virtual Machines. In OSDI, 2010."},{"key":"e_1_3_2_1_19_1","volume-title":"USENIX Security","author":"Halderman J. A.","year":"2008","unstructured":"J. A. Halderman , S. D. Schoen , N. Heninger , W. Clarkson , W. Paul , J. A. Calandrino , A. J. Feldman , J. Appelbaum , and E. W. Felten . Lest We Remember: Cold Boot Attacks on Encryption Keys . In USENIX Security , 2008 . J. A. Halderman, S. D. Schoen, N. Heninger, W. Clarkson, W. Paul, J. A. Calandrino, A. J. Feldman, J. Appelbaum, and E. W. Felten. Lest We Remember: Cold Boot Attacks on Encryption Keys. In USENIX Security, 2008."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950398"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDEW.2010.5452747"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1639562.1639600"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1315245.1315317"},{"key":"e_1_3_2_1_24_1","volume-title":"USENIX Security","author":"Kauer B.","year":"2007","unstructured":"B. Kauer . OSLO : Improving the Security of Trusted Computing . In USENIX Security , 2007 . B. Kauer. OSLO: Improving the Security of Trusted Computing. In USENIX Security, 2007."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1879141.1879143"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCSW.2010.40"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1103022.1103026"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/CLOUD.2010.44"},{"key":"e_1_3_2_1_30_1","volume-title":"HotOS","author":"Mogul J. C.","year":"2005","unstructured":"J. C. Mogul . Operating systems should support business change . In HotOS , 2005 . J. C. Mogul. Operating systems should support business change. In HotOS, 2005."},{"key":"e_1_3_2_1_31_1","volume-title":"HotSec","author":"Parno B.","year":"2008","unstructured":"B. Parno . Bootstrapping Trust in a \"Trusted\" Platform . In HotSec , 2008 . B. Parno. Bootstrapping Trust in a \"Trusted\" Platform. In HotSec, 2008."},{"key":"e_1_3_2_1_32_1","volume-title":"Proc. USENIX ATC","author":"Popa R. A.","year":"2011","unstructured":"R. A. Popa , J. R. Lorch , D. Molnar , H. J. Wang , and L. Zhuang . Enabling Security in Cloud Storage SLAs with CloudProof . In Proc. USENIX ATC , 2011 . R. A. Popa, J. R. Lorch, D. Molnar, H. J. Wang, and L. Zhuang. Enabling Security in Cloud Storage SLAs with CloudProof. In Proc. USENIX ATC, 2011."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2010.68"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2012.14"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1653662.1653687"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1400097.1400108"},{"key":"e_1_3_2_1_37_1","volume-title":"Sept.","author":"Sahita R.","year":"2012","unstructured":"R. Sahita . Intel Virtualization Technology Extensions for High Performance Protection Domains . https:\/\/intel.activeevents.com\/sf12\/scheduler\/catalog.do , Sept. 2012 . Intel Developer Forum 2012, Session ID FUTS 003. R. Sahita. Intel Virtualization Technology Extensions for High Performance Protection Domains. https:\/\/intel.activeevents.com\/sf12\/scheduler\/catalog.do, Sept. 2012. Intel Developer Forum 2012, Session ID FUTS003."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2011.15"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2046660.2046666"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294294"},{"key":"e_1_3_2_1_41_1","volume-title":"HotOS","author":"Shah M. A.","year":"2007","unstructured":"M. A. Shah , M. Baker , J. C. Mogul , and R. Swaminathan . Auditing to Keep Online Storage Services Honest . In HotOS , 2007 . M. A. Shah, M. Baker, J. C. Mogul, and R. Swaminathan. Auditing to Keep Online Storage Services Honest. In HotOS, 2007."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2046660.2046664"},{"key":"e_1_3_2_1_43_1","volume-title":"USENIX ATC","author":"Sugerman J.","year":"2001","unstructured":"J. Sugerman , G. Venkitachalam , and B.-H. Lim . Virtualizing I\/O Devices on V Mware Workstation's Hosted Virtual Machine Monitor . In USENIX ATC , 2001 . J. Sugerman, G. Venkitachalam, and B.-H. Lim. Virtualizing I\/O Devices on VMware Workstation's Hosted Virtual Machine Monitor. In USENIX ATC, 2001."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2382196.2382228"},{"key":"e_1_3_2_1_45_1","volume-title":"Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework","author":"Vasudevan A.","year":"2013","unstructured":"A. Vasudevan , S. Chaki , L. Jia , J. McCune , J. Newsome , and A. Datta . Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework . In IEEE S &P, 2013 . A. Vasudevan, S. Chaki, L. Jia, J. McCune, J. Newsome, and A. Datta. Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework. In IEEE S&P, 2013."},{"key":"e_1_3_2_1_46_1","volume-title":"HotCloud","author":"Wachs M.","year":"2011","unstructured":"M. Wachs , L. Xu , A. Kanevsky , and G. R. Ganger . Exertion-based Billing for Cloud Storage Access . In HotCloud , 2011 . M. Wachs, L. Xu, A. Kanevsky, and G. R. Ganger. Exertion-based Billing for Cloud Storage Access. In HotCloud, 2011."},{"key":"e_1_3_2_1_47_1","unstructured":"A. Wolfe. Intel CTO Envisions On-Chip Data Centers. http:\/\/www.informationweek.com\/news\/global-cio\/interviews\/showArticle.jhtml?articleID=221900325 Nov. 2009.  A. Wolfe. Intel CTO Envisions On-Chip Data Centers. http:\/\/www.informationweek.com\/news\/global-cio\/interviews\/showArticle.jhtml?articleID=221900325 Nov. 2009."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043576"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2382196.2382230"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/NCA.2011.24"}],"event":{"name":"VEE '13: ACM SIGPLAN\/SIGOPS International Conference on Virtual Execution Environments","location":"Houston Texas USA","acronym":"VEE '13","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the 9th ACM SIGPLAN\/SIGOPS international conference on Virtual execution environments"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2451512.2451546","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2451512.2451546","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:35:18Z","timestamp":1750221318000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2451512.2451546"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,16]]},"references-count":49,"alternative-id":["10.1145\/2451512.2451546","10.1145\/2451512"],"URL":"https:\/\/doi.org\/10.1145\/2451512.2451546","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2517326.2451546","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2013,3,16]]},"assertion":[{"value":"2013-03-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}