{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,29]],"date-time":"2026-07-29T11:09:09Z","timestamp":1785323349844,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,7,18]],"date-time":"2017-07-18T00:00:00Z","timestamp":1500336000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000180","name":"U.S. Department of Homeland Security","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000180","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000183","name":"Army Research Office","doi-asserted-by":"publisher","award":["W911NF-16-1-0536"],"award-info":[{"award-number":["W911NF-16-1-0536"]}],"id":[{"id":"10.13039\/100000183","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100009226","name":"National Security Agency","doi-asserted-by":"publisher","award":["H98230-15-1-0276"],"award-info":[{"award-number":["H98230-15-1-0276"]}],"id":[{"id":"10.13039\/100009226","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,7,18]]},"DOI":"10.1145\/3098243.3098261","type":"proceedings-article","created":{"date-parts":[[2017,7,13]],"date-time":"2017-07-13T20:03:43Z","timestamp":1499976223000},"page":"99-110","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":60,"title":["HYDRA"],"prefix":"10.1145","author":[{"given":"Karim","family":"Eldefrawy","sequence":"first","affiliation":[{"name":"HRL Laboratories"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Norrathep","family":"Rattanavipanon","sequence":"additional","affiliation":[{"name":"University of California"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gene","family":"Tsudik","sequence":"additional","affiliation":[{"name":"University of California"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2017,7,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2897937.2905020"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2897937.2898083"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1653662.1653711"},{"key":"e_1_3_2_1_4_1","unstructured":"Hardkernel co. Ltd. 2013. ODROID-XU4. (2013). http:\/\/www.hardkernel.com\/main\/products\/prdt__info.php?g__code=G143452239825  Hardkernel co. Ltd. 2013. ODROID-XU4. (2013). http:\/\/www.hardkernel.com\/main\/products\/prdt__info.php?g__code=G143452239825"},{"key":"e_1_3_2_1_6_1","unstructured":"National Vulnerability Database. 2015. Vulnerability Summary for CVE-2015--6639. https:\/\/web.nvd.nist.gov\/view\/vuln\/detail?vulnId=CVE-2015-6639. (2015).  National Vulnerability Database. 2015. Vulnerability Summary for CVE-2015--6639. https:\/\/web.nvd.nist.gov\/view\/vuln\/detail?vulnId=CVE-2015-6639. (2015)."},{"key":"e_1_3_2_1_7_1","unstructured":"Boundary Devices. 2017. BD-SL-I.MX6. (2017). https:\/\/boundarydevices.com\/product\/sabre-lite-imx6-sbc\/  Boundary Devices. 2017. BD-SL-I.MX6. (2017). https:\/\/boundarydevices.com\/product\/sabre-lite-imx6-sbc\/"},{"key":"e_1_3_2_1_8_1","volume-title":"Network and Distributed System Security Symposium (NDSS). Internet Society.","author":"Eldefrawy Karim","year":"2012"},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the conference on Design, Automation & Test in Europe. European Design and Automation Association, 244","author":"Francillon Aur\u00e9lien","year":"2014"},{"key":"e_1_3_2_1_10_1","unstructured":"Freescale Semiconductor Inc. 2013. i.MX 6 Linux High Assurance Boot (HAB) User's Guide. Technical Report.  Freescale Semiconductor Inc. 2013. i.MX 6 Linux High Assurance Boot (HAB) User's Guide. Technical Report."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1314354.1314363"},{"key":"e_1_3_2_1_12_1","unstructured":"Trusted Computing Group. 2017. Trusted Platform Module (TPM). (2017). http:\/\/www.trustedcomputinggroup.org\/work-groups\/trusted-platform-module\/  Trusted Computing Group. 2017. Trusted Platform Module (TPM). (2017). http:\/\/www.trustedcomputinggroup.org\/work-groups\/trusted-platform-module\/"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2939918.2939938"},{"key":"e_1_3_2_1_14_1","unstructured":"Apple Computer Inc. 2006. LibOrange. https:\/\/github.com\/unixpickle\/LibOrange\/blob\/master\/LibOrange\/hmac-sha256.c. (2006).  Apple Computer Inc. 2006. LibOrange. https:\/\/github.com\/unixpickle\/LibOrange\/blob\/master\/LibOrange\/hmac-sha256.c. (2006)."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2560537"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2592798.2592824"},{"key":"e_1_3_2_1_17_1","unstructured":"laginimaineb. 2016. Extracting Qualcomm's KeyMaster Keys! https:\/\/bits-please.blogspot.com\/2016\/06\/extracting-qualcomms-keymaster-keys.html. (2016).  laginimaineb. 2016. Extracting Qualcomm's KeyMaster Keys! https:\/\/bits-please.blogspot.com\/2016\/06\/extracting-qualcomms-keymaster-keys.html. (2016)."},{"key":"e_1_3_2_1_18_1","unstructured":"ARM Limited. 2009. ARM Security Technology - building a secure system using trustzone technology. (2009).  ARM Limited. 2009. ARM Security Technology - building a secure system using trustzone technology. (2009)."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2013.35"},{"key":"e_1_3_2_1_20_1","unstructured":"National ICT Australia. 2014. UNSW Advanced Operating Systems. (2014). https:\/\/bitbucket.org\/kevinelp\/unsw-advanced-operating-systems  National ICT Australia. 2014. UNSW Advanced Operating Systems. (2014). https:\/\/bitbucket.org\/kevinelp\/unsw-advanced-operating-systems"},{"key":"e_1_3_2_1_21_1","unstructured":"National ICT Australia and other contributors. 2014. seL4 Libraries. https:\/\/github.com\/seL4\/seL4__libs. (2014).  National ICT Australia and other contributors. 2014. seL4 Libraries. https:\/\/github.com\/seL4\/seL4__libs. (2014)."},{"key":"e_1_3_2_1_22_1","unstructured":"National ICT Australia and other contributors. 2014. The seL4 Repository. https:\/\/github.com\/seL4\/seL4. (2014).  National ICT Australia and other contributors. 2014. The seL4 Repository. https:\/\/github.com\/seL4\/seL4. (2014)."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095812"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/2033939.2033965"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499370.2462183"},{"key":"e_1_3_2_1_28_1","unstructured":"The OpenSSL Project. 2016. OpenSSL 1.1.0-pre7-dev. https:\/\/github.com\/openssl\/openssl\/. (2016).  The OpenSSL Project. 2016. OpenSSL 1.1.0-pre7-dev. https:\/\/github.com\/openssl\/openssl\/. (2016)."}],"event":{"name":"WiSec '17: 10th ACM Conference on Security & Privacy in Wireless and Mobile Networks","location":"Boston Massachusetts","acronym":"WiSec '17","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control","NSF National Science Foundation","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 10th ACM Conference on Security and Privacy in Wireless and Mobile Networks"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3098243.3098261","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3098243.3098261","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3098243.3098261","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:30:03Z","timestamp":1750217403000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3098243.3098261"}},"subtitle":["hybrid design for remote attestation (using a formally verified microkernel)"],"short-title":[],"issued":{"date-parts":[[2017,7,18]]},"references-count":25,"alternative-id":["10.1145\/3098243.3098261","10.1145\/3098243"],"URL":"https:\/\/doi.org\/10.1145\/3098243.3098261","relation":{},"subject":[],"published":{"date-parts":[[2017,7,18]]},"assertion":[{"value":"2017-07-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}