{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,4]],"date-time":"2026-02-04T17:34:04Z","timestamp":1770226444357,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,6,28]],"date-time":"2021-06-28T00:00:00Z","timestamp":1624838400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Perspecta Labs"},{"name":"Semiconductor Research Corporation (SRC)","award":["2019-TS-2907"],"award-info":[{"award-number":["2019-TS-2907"]}]},{"name":"NSF","award":["SATC-1956393, CICI-1840197"],"award-info":[{"award-number":["SATC-1956393, CICI-1840197"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,6,28]]},"DOI":"10.1145\/3448300.3467818","type":"proceedings-article","created":{"date-parts":[[2021,6,24]],"date-time":"2021-06-24T14:57:40Z","timestamp":1624546660000},"page":"37-47","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Delegated attestation"],"prefix":"10.1145","author":[{"given":"Mahmoud","family":"Ammar","sequence":"first","affiliation":[{"name":"Huawei Technologies, Munich, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruno","family":"Crispo","sequence":"additional","affiliation":[{"name":"KU Leuven & University of Trento, Trento, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivan","family":"De Oliveira Nunes","sequence":"additional","affiliation":[{"name":"University of California"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gene","family":"Tsudik","sequence":"additional","affiliation":[{"name":"University of California"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,6,28]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2019.2928541"},{"key":"e_1_3_2_1_2_1","volume-title":"SIMPLE: A Remote Attestation Approach for Resource-constrained IoT devices","author":"Ammar Mahmoud","year":"2020","unstructured":"Mahmoud Ammar , Bruno Crispo , and Gene Tsudik . 2020 . SIMPLE: A Remote Attestation Approach for Resource-constrained IoT devices . In ACM\/IEEE ICCPS. 247--258. Mahmoud Ammar, Bruno Crispo, and Gene Tsudik. 2020. SIMPLE: A Remote Attestation Approach for Resource-constrained IoT devices. In ACM\/IEEE ICCPS. 247--258."},{"key":"e_1_3_2_1_3_1","unstructured":"Manos Antonakakis Tim April Michael Bailey Matt Bernhard Elie Bursztein Jaime Cochran Zakir Durumeric J Alex Halderman Luca Invernizzi Michalis Kallitsis etal 2017. Understanding the mirai botnet. In USENIX Security.  Manos Antonakakis Tim April Michael Bailey Matt Bernhard Elie Bursztein Jaime Cochran Zakir Durumeric J Alex Halderman Luca Invernizzi Michalis Kallitsis et al. 2017. Understanding the mirai botnet. In USENIX Security."},{"key":"e_1_3_2_1_4_1","unstructured":"Arm Ltd. 2018. Arm TrustZone. https:\/\/www.arm.com\/products\/security-on-arm\/trustzone  Arm Ltd. 2018. Arm TrustZone. https:\/\/www.arm.com\/products\/security-on-arm\/trustzone"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Frederik Armknecht et al. 2013. A Security Framework for the Analysis and Design of Software Attestation. In ACM CCS.  Frederik Armknecht et al. 2013. A Security Framework for the Analysis and Design of Software Attestation. In ACM CCS.","DOI":"10.1145\/2508859.2516650"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"F. Brasser et al. 2015. TyTAN: Tiny Trust Anchor for Tiny Devices. In DAC. ACM.  F. Brasser et al. 2015. TyTAN: Tiny Trust Anchor for Tiny Devices. In DAC. ACM.","DOI":"10.1145\/2744769.2744922"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1653662.1653711"},{"key":"e_1_3_2_1_8_1","volume-title":"VRASED: A Verified Hardware\/Software Co-Design for Remote Attestation. In 28th USENIX Security Symposium (USENIX Security 19)","author":"Oliveira Nunes Ivan De","year":"2019","unstructured":"Ivan De Oliveira Nunes , Karim Eldefrawy , Norrathep Rattanavipanon , Michael Steiner , and Gene Tsudik . 2019 . VRASED: A Verified Hardware\/Software Co-Design for Remote Attestation. In 28th USENIX Security Symposium (USENIX Security 19) . 1429--1446. Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, Michael Steiner, and Gene Tsudik. 2019. VRASED: A Verified Hardware\/Software Co-Design for Remote Attestation. In 28th USENIX Security Symposium (USENIX Security 19). 1429--1446."},{"key":"e_1_3_2_1_9_1","volume-title":"29th USENIX Security Symposium (USENIX Security 20)","author":"Oliveira Nunes Ivan De","year":"2020","unstructured":"Ivan De Oliveira Nunes , Karim Eldefrawy , Norrathep Rattanavipanon , and Gene Tsudik . 2020 . APEX: A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise . In 29th USENIX Security Symposium (USENIX Security 20) . Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, and Gene Tsudik. 2020. APEX: A Verified Architecture for Proofs of Execution on Remote Devices under Full Software Compromise. In 29th USENIX Security Symposium (USENIX Security 20)."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1239\/aap\/1331216649"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3098243.3098261"},{"key":"e_1_3_2_1_12_1","first-page":"1","article-title":"SMART: Secure and Minimal Architecture for (Establishing Dynamic) Root of Trust","volume":"12","author":"Eldefrawy Karim","year":"2012","unstructured":"Karim Eldefrawy , Gene Tsudik , Aur\u00e9lien Francillon , and Daniele Perito . 2012 . SMART: Secure and Minimal Architecture for (Establishing Dynamic) Root of Trust . In NDSS , Vol. 12. 1 -- 15 . Karim Eldefrawy, Gene Tsudik, Aur\u00e9lien Francillon, and Daniele Perito. 2012. SMART: Secure and Minimal Architecture for (Establishing Dynamic) Root of Trust. In NDSS, Vol. 12. 1--15.","journal-title":"NDSS"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSP.2015.7296344"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"R.W. Gardner etal 2009. Detecting Code Alteration by Creating a Temporary Memory Bottleneck. IEEE TIFS (2009).  R.W. Gardner et al. 2009. Detecting Code Alteration by Creating a Temporary Memory Bottleneck. IEEE TIFS (2009).","DOI":"10.1109\/TIFS.2009.2033231"},{"key":"e_1_3_2_1_15_1","unstructured":"Olivier Girard. 2009. openMSP430.  Olivier Girard. 2009. openMSP430."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Virgil D Gligor and Shan Leung Maverick Woo. 2019. Establishing Software Root of Trust Unconditionally.. In NDSS.  Virgil D Gligor and Shan Leung Maverick Woo. 2019. Establishing Software Root of Trust Unconditionally.. In NDSS.","DOI":"10.14722\/ndss.2019.23170"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICAT.2009.5348404"},{"key":"e_1_3_2_1_18_1","unstructured":"Intel. [n.d.]. Intel Software Guard Extensions (Intel SGX). https:\/\/software.intel.com\/en-us\/sgx  Intel. [n.d.]. Intel Software Guard Extensions (Intel SGX). https:\/\/software.intel.com\/en-us\/sgx"},{"key":"e_1_3_2_1_19_1","volume-title":"Handbook of networked and embedded control systems","author":"Johansson Karl Henrik","unstructured":"Karl Henrik Johansson , Martin T\u00f6rngren , and Lars Nielsen . 2005. Vehicle applications of controller area network . In Handbook of networked and embedded control systems . Springer , 741--765. Karl Henrik Johansson, Martin T\u00f6rngren, and Lars Nielsen. 2005. Vehicle applications of controller area network. In Handbook of networked and embedded control systems. Springer, 741--765."},{"key":"e_1_3_2_1_20_1","volume-title":"Introduction to modern cryptography","author":"Katz Jonathan","unstructured":"Jonathan Katz and Yehuda Lindell . 2014. Introduction to modern cryptography . CRC press . Jonathan Katz and Yehuda Lindell. 2014. Introduction to modern cryptography. CRC press."},{"key":"e_1_3_2_1_21_1","unstructured":"Rick Kennell et al. 2003. Establishing the Genuinity of Remote Computer Systems. In USENIX Security.  Rick Kennell et al. 2003. Establishing the Genuinity of Remote Computer Systems. In USENIX Security."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Patrick Koeberl Steffen Schulz Ahmad-Reza Sadeghi and Vijay Varadharajan. 2014. TrustLite: A security architecture for tiny embedded devices. In EuroSys. ACM.  Patrick Koeberl Steffen Schulz Ahmad-Reza Sadeghi and Vijay Varadharajan. 2014. TrustLite: A security architecture for tiny embedded devices. In EuroSys. ACM.","DOI":"10.1145\/2592798.2592824"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"X. Kovah et al. 2012. New Results for Timing-Based Attestation. In IEEE S&P '12.  X. Kovah et al. 2012. New Results for Timing-Based Attestation. In IEEE S&P '12.","DOI":"10.1109\/SP.2012.45"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1352592.1352625"},{"key":"e_1_3_2_1_25_1","volume-title":"Sancus: Low-cost Trustworthy Extensible Networked Devices with a Zero-software Trusted Computing Base. In USENIX.","author":"J Noorman","year":"2013","unstructured":"J Noorman et al. 2013 . Sancus: Low-cost Trustworthy Extensible Networked Devices with a Zero-software Trusted Computing Base. In USENIX. J Noorman et al. 2013. Sancus: Low-cost Trustworthy Extensible Networked Devices with a Zero-software Trusted Computing Base. In USENIX."},{"key":"e_1_3_2_1_26_1","volume-title":"Petroni et al","year":"2004","unstructured":"Jr. Petroni et al . 2004 . Copilot --- A Coprocessor-based Kernel Runtime Integrity Monitor. In USENIX Security . Jr. Petroni et al. 2004. Copilot --- A Coprocessor-based Kernel Runtime Integrity Monitor. In USENIX Security."},{"key":"e_1_3_2_1_27_1","unstructured":"Srivaths Ravi Anand Raghunathan and Srimat Chakradhar. 2004. Tamper resistance mechanisms for secure embedded systems. In VLSI Design.  Srivaths Ravi Anand Raghunathan and Srimat Chakradhar. 2004. Tamper resistance mechanisms for secure embedded systems. In VLSI Design."},{"key":"e_1_3_2_1_28_1","volume-title":"SSYM'04","unstructured":"t Sailer et al., Reiner. 2004. Design and Implementation of a TCG-based Integrity Measurement Architecture .. In SSYM'04 . t Sailer et al., Reiner. 2004. Design and Implementation of a TCG-based Integrity Measurement Architecture.. In SSYM'04."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Dries Schellekens et al. 2008. Remote attestation on legacy operating systems with trusted platform modules. Science of Comp. Programming (2008).  Dries Schellekens et al. 2008. Remote attestation on legacy operating systems with trusted platform modules. Science of Comp. Programming (2008).","DOI":"10.1016\/j.entcs.2007.10.014"},{"key":"e_1_3_2_1_30_1","volume-title":"SWATT: Software-based Attestation for Embedded Devices","author":"A. Seshadri","year":"2004","unstructured":"A. Seshadri et al. 2004 . SWATT: Software-based Attestation for Embedded Devices . In IEEE S &P '04. A. Seshadri et al. 2004. SWATT: Software-based Attestation for Embedded Devices. In IEEE S&P '04."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095812"},{"key":"e_1_3_2_1_32_1","volume-title":"SCUBA: Secure Code Update By Attestation in Sensor Networks. In ACM WiSe.","author":"Arvind Seshadri","year":"2006","unstructured":"Arvind Seshadri et al. 2006 . SCUBA: Secure Code Update By Attestation in Sensor Networks. In ACM WiSe. Arvind Seshadri et al. 2006. SCUBA: Secure Code Update By Attestation in Sensor Networks. In ACM WiSe."},{"key":"e_1_3_2_1_33_1","volume-title":"SAKE: Software Attestation for Key Establishment in Sensor Networks. In DCOSS.","author":"Arvind Seshadri","year":"2008","unstructured":"Arvind Seshadri et al. 2008 . SAKE: Software Attestation for Key Establishment in Sensor Networks. In DCOSS. Arvind Seshadri et al. 2008. SAKE: Software Attestation for Key Establishment in Sensor Networks. In DCOSS."},{"key":"e_1_3_2_1_34_1","unstructured":"Texas Instruments. 2018. Random Number Generation Using MSP430 MCUs. https:\/\/www.ti.com\/lit\/an\/slaa338a\/slaa338a.pdf  Texas Instruments. 2018. Random Number Generation Using MSP430 MCUs. https:\/\/www.ti.com\/lit\/an\/slaa338a\/slaa338a.pdf"},{"key":"e_1_3_2_1_35_1","unstructured":"Trusted Computing Group. 2017. Trusted Platform Module (TPM). http:\/\/www.trustedcomputinggroup.org\/work-groups\/trusted-platform-module\/  Trusted Computing Group. 2017. Trusted Platform Module (TPM). http:\/\/www.trustedcomputinggroup.org\/work-groups\/trusted-platform-module\/"},{"key":"e_1_3_2_1_36_1","volume-title":"Distributed Software-based Attestation for Node Compromise Detection in Sensor Networks. In SRDS'07","author":"Yi","unstructured":"Yi Yang et al. 2007 . Distributed Software-based Attestation for Node Compromise Detection in Sensor Networks. In SRDS'07 . Yi Yang et al. 2007. Distributed Software-based Attestation for Node Compromise Detection in Sensor Networks. In SRDS'07."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134043"}],"event":{"name":"WiSec '21: 14th ACM Conference on Security and Privacy in Wireless and Mobile Networks","location":"Abu Dhabi United Arab Emirates","acronym":"WiSec '21","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 14th ACM Conference on Security and Privacy in Wireless and Mobile Networks"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3448300.3467818","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/abs\/10.1145\/3448300.3467818","content-type":"text\/html","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3448300.3467818","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3448300.3467818","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:47:41Z","timestamp":1750193261000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3448300.3467818"}},"subtitle":["scalable remote attestation of commodity CPS by blending proofs of execution with software attestation"],"short-title":[],"issued":{"date-parts":[[2021,6,28]]},"references-count":37,"alternative-id":["10.1145\/3448300.3467818","10.1145\/3448300"],"URL":"https:\/\/doi.org\/10.1145\/3448300.3467818","relation":{},"subject":[],"published":{"date-parts":[[2021,6,28]]},"assertion":[{"value":"2021-06-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}