{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,31]],"date-time":"2026-07-31T15:32:06Z","timestamp":1785511926686,"version":"3.56.0"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,5,7]],"date-time":"2017-05-07T00:00:00Z","timestamp":1494115200000},"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":[[2017,5,7]]},"DOI":"10.1145\/3102980.3103002","type":"proceedings-article","created":{"date-parts":[[2017,7,20]],"date-time":"2017-07-20T17:51:38Z","timestamp":1500573098000},"page":"132-137","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":24,"title":["Hardware is the new Software"],"prefix":"10.1145","author":[{"given":"Andrew","family":"Baumann","sequence":"first","affiliation":[{"name":"Microsoft Research"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2017,5,7]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Control-flow Integrity. In 12th ACM Conference on Computer and Communications Security. 340--353","author":"Abadi Mart\u00edn","year":"2005"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168860"},{"key":"e_1_3_2_1_3_1","volume-title":"Virtual CPU Validation. In 25th ACM Symposium on Operating Systems Principles. 311--327","author":"Amit Nadav","year":"2015"},{"key":"e_1_3_2_1_4_1","unstructured":"ARM Limited 2009. Building a Secure System using TrustZone Technology. ARM Limited. Ref. PRD29-GENC-009492C.  ARM Limited 2009. Building a Secure System using TrustZone Technology. ARM Limited. Ref. PRD29-GENC-009492C."},{"key":"e_1_3_2_1_5_1","volume-title":"SCONE: Secure Linux Containers with Intel SGX. In 12th USENIX Symposium on Operating Systems Design and Implementation. 689--703","author":"Arnautov Sergei","year":"2016"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/2685048.2685070"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2988336.2988350"},{"key":"e_1_3_2_1_8_1","volume-title":"Control-Flow Bending: On the Effectiveness of Control-Flow Integrity. In 24th USENIX Security Symposium. 161--176","author":"Carlini Nicholas"},{"key":"e_1_3_2_1_10_1","volume-title":"Sanctum: Minimal Hardware Extensions for Strong Software Isolation. In 25th USENIX Security Symposium. 857--874","author":"Costan Victor","year":"2016"},{"key":"e_1_3_2_1_11_1","unstructured":"Simon Crosby. 2016. Using Intel SGX to Protect On-line Credentials. (Aug. 2016). https:\/\/blogs.bromium.com\/2016\/08\/09\/using-intel-sgx-to-protect-on-line-credentials\/  Simon Crosby. 2016. Using Intel SGX to Protect On-line Credentials. (Aug. 2016). https:\/\/blogs.bromium.com\/2016\/08\/09\/using-intel-sgx-to-protect-on-line-credentials\/"},{"key":"e_1_3_2_1_12_1","unstructured":"Ian Cutress. 2016. Intel's 'Tick-Tock' Seemingly Dead Becomes 'Process-Architecture-Optimization'. AnandTech (March 2016). http:\/\/www.anandtech.com\/show\/10183  Ian Cutress. 2016. Intel's 'Tick-Tock' Seemingly Dead Becomes 'Process-Architecture-Optimization'. AnandTech (March 2016). http:\/\/www.anandtech.com\/show\/10183"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/776261.776263"},{"key":"e_1_3_2_1_14_1","unstructured":"Digital Equipment Corp. 1996. PALcode for Alpha Microprocessors System Design Guide. Digital Equipment Corp. Order No. EC-QFGLC-TE.  Digital Equipment Corp. 1996. PALcode for Alpha Microprocessors System Design Guide. Digital Equipment Corp. Order No. EC-QFGLC-TE."},{"key":"e_1_3_2_1_15_1","volume-title":"SMT-Based System Verification with DVF. In 10th International Workshop on Satisfiability Modulo Theories. 32--43","author":"Goel Amit","year":"2012"},{"key":"e_1_3_2_1_16_1","volume-title":"11th USENIX Symposium on Operating Systems Design and Implementation.","author":"Hawblitzel Chris","year":"2014"},{"key":"e_1_3_2_1_17_1","volume-title":"Ryoan: A Distributed Sandbox for Untrusted Computation on Secret Data. In 12th USENIX Symposium on Operating Systems Design and Implementation. 533--549","author":"Hunt Tyler","year":"2016"},{"key":"e_1_3_2_1_18_1","unstructured":"Intel Corp. 1987. Intel 80386 Programmer's Reference Manual. Intel Corp.  Intel Corp. 1987. Intel 80386 Programmer's Reference Manual. Intel Corp."},{"key":"e_1_3_2_1_19_1","unstructured":"Intel Corp. 2014. Software Guard Extensions Programming Reference. Intel Corp. Ref. #329298-002 https:\/\/software.intel.com\/sites\/default\/files\/managed\/48\/88\/329298-002.pdf.  Intel Corp. 2014. Software Guard Extensions Programming Reference. Intel Corp. Ref. #329298-002 https:\/\/software.intel.com\/sites\/default\/files\/managed\/48\/88\/329298-002.pdf."},{"key":"e_1_3_2_1_20_1","unstructured":"Intel Corp. 2015. SGX Tutorial at ISCA 2015. Intel Corp. Ref. #332680-002 https:\/\/software.intel.com\/sites\/default\/files\/332680-002.pdf.  Intel Corp. 2015. SGX Tutorial at ISCA 2015. Intel Corp. Ref. #332680-002 https:\/\/software.intel.com\/sites\/default\/files\/332680-002.pdf."},{"key":"e_1_3_2_1_21_1","unstructured":"Intel Corp. 2016. Control-flow Enforcement Technology Preview. Intel Corp. Ref. #334525-001 https:\/\/software.intel.com\/sites\/default\/files\/managed\/4d\/2a\/control-flow-enforcement-technology-preview.pdf.  Intel Corp. 2016. Control-flow Enforcement Technology Preview. Intel Corp. Ref. #334525-001 https:\/\/software.intel.com\/sites\/default\/files\/managed\/4d\/2a\/control-flow-enforcement-technology-preview.pdf."},{"key":"e_1_3_2_1_22_1","unstructured":"Intel Corp. 2016. Intel 64 and IA-32 Architectures Software Developer's Manual. Intel Corp. Ref. #325462-061US.  Intel Corp. 2016. Intel 64 and IA-32 Architectures Software Developer's Manual. Intel Corp. Ref. #325462-061US."},{"key":"e_1_3_2_1_23_1","first-page":"972","article-title":"Technique for supporting multiple secure enclaves. (Dec. 2010)","volume":"8","author":"Johnson Simon P.","year":"2010","journal-title":"US Patent"},{"key":"e_1_3_2_1_24_1","unstructured":"David Kaplan Jeremy Powell and Tom Woller. 2016. AMD Memory Encryption. http:\/\/developer.amd.com\/wordpress\/media\/2013\/12\/AMD_Memory_Encryption_Whitepaper_v7-Public.pdf. (April 2016).  David Kaplan Jeremy Powell and Tom Woller. 2016. AMD Memory Encryption. http:\/\/developer.amd.com\/wordpress\/media\/2013\/12\/AMD_Memory_Encryption_Whitepaper_v7-Public.pdf. (April 2016)."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2560537"},{"key":"e_1_3_2_1_26_1","volume-title":"Verifying Linearizability of Intel Software Guard Extensions. In 27th International Conference on Computer Aided Verification. 144--160","author":"Leslie-Hurd Rebekah","year":"2015"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2749469.2750391"},{"key":"e_1_3_2_1_28_1","first-page":"087","article-title":"Method and apparatus to provide secure application execution. (Dec. 2009)","volume":"9","author":"McKeen Francis X.","year":"2009","journal-title":"US Patent"},{"key":"e_1_3_2_1_29_1","volume-title":"Mind the Gap: Reconnecting Architecture and OS Research. In 13th Workshop on Hot Topics in Operating Systems.","author":"Mogul Jeffrey C.","year":"2011"},{"key":"e_1_3_2_1_30_1","volume-title":"Oblivious Multi-Party Machine Learning on Trusted Processors. In 25th USENIX Security Symposium. 619--636","author":"Ohrimenko Olga","year":"2016"},{"key":"e_1_3_2_1_31_1","volume-title":"Secure Content-Based Routing Using Intel Software Guard Extensions. In 17th International Middleware Conference. Article 10","author":"Pires Rafael","year":"2016"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/54.895008"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.10"},{"key":"e_1_3_2_1_34_1","volume-title":"T-SGX: Eradicating Controlled-Channel Attacks Against Enclave Programs. In Annual Network and Distributed System Security Symposium (NDSS).","author":"Shih Ming-Wei","year":"2017"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2897845.2897885"},{"key":"e_1_3_2_1_36_1","unstructured":"Tom Simonite. 2016. Intel Puts the Brakes on Moore's Law. MIT Technology Review (March 2016). https:\/\/www.technologyreview.com\/s\/601102  Tom Simonite. 2016. Intel Puts the Brakes on Moore's Law. MIT Technology Review (March 2016). https:\/\/www.technologyreview.com\/s\/601102"},{"key":"e_1_3_2_1_37_1","unstructured":"Trusted Computing Group 2011. TPM Main Specification Level 2. Trusted Computing Group. Version 1.2 Revision 116.  Trusted Computing Group 2011. TPM Main Specification Level 2. Trusted Computing Group. Version 1.2 Revision 116."},{"key":"e_1_3_2_1_38_1","unstructured":"Mark Walton. 2017. Intel will release 8th-gen Coffee Lake chips this year---still at 14nm. Ars Technica (Feb. 2017). https:\/\/arstechnica.com\/gadgets\/2017\/02\/intel-coffee-lake-14nm-release-date\/  Mark Walton. 2017. Intel will release 8th-gen Coffee Lake chips this year---still at 14nm. Ars Technica (Feb. 2017). https:\/\/arstechnica.com\/gadgets\/2017\/02\/intel-coffee-lake-14nm-release-date\/"},{"key":"e_1_3_2_1_40_1","unstructured":"Wikipedia. 2017. Transistor count. (2017). https:\/\/en.wikipedia.org\/wiki\/Transistor_count Retrieved 2017-01-12.  Wikipedia. 2017. Transistor count. (2017). https:\/\/en.wikipedia.org\/wiki\/Transistor_count Retrieved 2017-01-12."},{"key":"e_1_3_2_1_41_1","volume-title":"Controlled-Channel Attacks: Deterministic Side-Channels for Untrusted Operating Systems. In IEEE Symposium on Security and Privacy. https:\/\/doi.org\/10","author":"Xu Yuanzhong","year":"2015"}],"event":{"name":"HotOS '17: Workshop on Hot Topics in Operating Systems","location":"Whistler BC Canada","acronym":"HotOS '17","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the 16th Workshop on Hot Topics in Operating Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3102980.3103002","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3102980.3103002","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:37:06Z","timestamp":1750217826000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3102980.3103002"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5,7]]},"references-count":39,"alternative-id":["10.1145\/3102980.3103002","10.1145\/3102980"],"URL":"https:\/\/doi.org\/10.1145\/3102980.3103002","relation":{},"subject":[],"published":{"date-parts":[[2017,5,7]]},"assertion":[{"value":"2017-05-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}