{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:30:40Z","timestamp":1750221040335,"version":"3.41.0"},"reference-count":25,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2019,4,2]],"date-time":"2019-04-02T00:00:00Z","timestamp":1554163200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/K035584\/1"],"award-info":[{"award-number":["EP\/K035584\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2019,5,31]]},"abstract":"<jats:p>The Internet of Things (IoT) is expanding at a large rate, with devices found in commercial and domestic settings from industrial sensors to home appliances. However, as the IoT market grows, so does the number of attacks made against it with some reports claiming an increase of 600% in 2017. This work seeks to prevent code replacement, injection, and exploitation attacks by ensuring correct and platform specific application execution. This combines two previously studied problems: secure application execution and binding hardware and software. We present descriptions of both problems and requirements for ensuring both simultaneously. We then propose a scheme extending previous work that meets these requirements, and describe our implementation of the soft-core Secure Execution Processor developed and tested on Xilinx Spartan-6 FPGA. Finally, we analyse the scheme and our implementation according to performance and the requirements listed.<\/jats:p>","DOI":"10.1145\/3284361","type":"journal-article","created":{"date-parts":[[2019,4,4]],"date-time":"2019-04-04T18:38:37Z","timestamp":1554403117000},"page":"1-21","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Ensuring Secure Application Execution and Platform-Specific Execution in Embedded Devices"],"prefix":"10.1145","volume":"18","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2172-0045","authenticated-orcid":false,"given":"Robert P.","family":"Lee","sequence":"first","affiliation":[{"name":"ISG Smart Card and IoT Security Centre, Royal Holloway, Egham, Surrey, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Konstantinos","family":"Markantonakis","sequence":"additional","affiliation":[{"name":"ISG Smart Card and IoT Security Centre, Royal Holloway, Egham, Surrey, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raja Naeem","family":"Akram","sequence":"additional","affiliation":[{"name":"ISG Smart Card and IoT Security Centre, Royal Holloway, Egham, Surrey, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,4,2]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1102120.1102165"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1456482.1456490"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34961-4_14"},{"volume-title":"Return-oriented programming: Exploitation without code injection. Black Hat 8","year":"2008","author":"Buchanan Erik","key":"e_1_2_1_4_1"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2857705.2857722"},{"volume-title":"2017 Roundup of Internet of Things Forecasts. Retrieved on","year":"2016","author":"Columbus Louis","key":"e_1_2_1_6_1"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744847"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2017.03.013"},{"volume-title":"A survey of hardware-based control flow integrity (CFI). CoRR abs\/1706.07257","year":"2017","author":"de Clercq Ruan","key":"e_1_2_1_9_1"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1983.1056650"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00145-015-9224-2"},{"volume-title":"Proceedings of the 11th USENIX Security Symposium, Dan Boneh (Ed.). USENIX, 191--206","author":"Kiriansky Vladimir","key":"e_1_2_1_12_1"},{"volume-title":"Spectre attacks: Exploiting speculative execution. ArXiv e-prints (Jan","year":"2018","author":"Kocher Paul","key":"e_1_2_1_13_1"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48405-1_25"},{"key":"e_1_2_1_15_1","unstructured":"R. Krasinski and M. Rosner. 2003. Method for Binding a Software Data Domain to Specific Hardware.  R. Krasinski and M. Rosner. 2003. Method for Binding a Software Data Domain to Specific Hardware."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2899015.2899029"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3098954.3103158"},{"volume-title":"ArXiv e-prints (Jan","year":"2018","author":"Lipp Moritz","key":"e_1_2_1_18_1"},{"volume-title":"Retrieved on","year":"2017","author":"Maene Pieter","key":"e_1_2_1_19_1"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-29078-2_8"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-31517-1_6"},{"key":"e_1_2_1_22_1","volume-title":"Proceedings of the 5th International Workshop on Lightweight Cryptography for Security and Privacy (LightSec\u201916)","volume":"10098","author":"Rasoolzadeh Shahram","year":"2016"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2897937.2898098"},{"key":"e_1_2_1_25_1","unstructured":"Xilinx Inc. 2011. PicoBlaze 8-bit Microcontroller. Retrieved on January 1 2016 from http:\/\/www.xilinx.com\/products\/intellectual-property\/picoblaze.html.  Xilinx Inc. 2011. PicoBlaze 8-bit Microcontroller. Retrieved on January 1 2016 from http:\/\/www.xilinx.com\/products\/intellectual-property\/picoblaze.html."},{"volume-title":"Retrieved on","year":"2018","author":"Xilinx Inc.","key":"e_1_2_1_26_1"}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3284361","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3284361","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:43:49Z","timestamp":1750207429000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3284361"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4,2]]},"references-count":25,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2019,5,31]]}},"alternative-id":["10.1145\/3284361"],"URL":"https:\/\/doi.org\/10.1145\/3284361","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"type":"print","value":"1539-9087"},{"type":"electronic","value":"1558-3465"}],"subject":[],"published":{"date-parts":[[2019,4,2]]},"assertion":[{"value":"2018-04-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-09-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-04-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}