{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,4]],"date-time":"2025-12-04T02:36:31Z","timestamp":1764815791769,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,6,23]],"date-time":"2024-06-23T00:00:00Z","timestamp":1719100800000},"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":[[2024,6,23]]},"DOI":"10.1145\/3649329.3655949","type":"proceedings-article","created":{"date-parts":[[2024,11,7]],"date-time":"2024-11-07T19:27:22Z","timestamp":1731007642000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Look Before You Access: Efficient Heap Memory Safety for Embedded Systems on ARMv8-M"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7567-0530","authenticated-orcid":false,"given":"Jeonghwan","family":"Kang","sequence":"first","affiliation":[{"name":"Pusan National University, Busan, Busan, Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-9653-4522","authenticated-orcid":false,"given":"Jaeyeol","family":"Park","sequence":"additional","affiliation":[{"name":"Pusan National University, Busan, Busan, Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1848-750X","authenticated-orcid":false,"given":"Jiwon","family":"Seo","sequence":"additional","affiliation":[{"name":"Dankook University, Yongin-si, Gyeonggi-do, Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7507-3111","authenticated-orcid":false,"given":"Donghyun","family":"Kwon","sequence":"additional","affiliation":[{"name":"Pusan National University, Busan, Busan, Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,11,7]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"USENIX Security Symposium","volume":"10","author":"Akritidis Periklis","year":"2009","unstructured":"Periklis Akritidis, Manuel Costa, Miguel Castro, and Steven Hand. 2009. Baggy Bounds Checking: An Efficient and Backwards-Compatible Defense against Out-of-Bounds Errors.. In USENIX Security Symposium, Vol. 10. 96."},{"key":"e_1_3_2_1_2_1","volume-title":"Saurabh Bagchi, and Mathias Payer.","author":"Almakhdhub Naif","year":"2020","unstructured":"Naif Almakhdhub, Abraham Anthony Clements, Saurabh Bagchi, and Mathias Payer. 2020. uRAI: Return Address Integrity for Embedded Systems. Technical Report. Sandia National Lab.(SNL-NM), Albuquerque, NM (United States)."},{"key":"e_1_3_2_1_3_1","unstructured":"ARM. 2020. ARM Cortex-M23 Processor Technical Reference Manual. [Online]. Available: https:\/\/developer.arm.com\/documentation\/ddi0550\/c."},{"key":"e_1_3_2_1_4_1","unstructured":"ARM. 2020. ARM Cortex-M33 Processor Technical Reference Manual. [Online]. Available: https:\/\/developer.arm.com\/documentation\/100230\/0002."},{"key":"e_1_3_2_1_5_1","unstructured":"ARM. 2021. ARMv8-M Architecture Reference Manual. [Online]. Available: https:\/\/developer.arm.com\/documentation\/ddi0553\/latest\/."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/178243.178446"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2018.2815038"},{"key":"e_1_3_2_1_8_1","volume-title":"Accessed","author":"Beeson Jeanelle","year":"2023","unstructured":"Jeanelle Beeson. 2023. How Have Embedded Computers And The IoT Impacted Your Daily Life. https:\/\/robots.net\/tech\/how-have-embedded-computers-and-the-iot-impacted-your-daily-life\/. Accessed: Nov 18, 2023."},{"key":"e_1_3_2_1_9_1","volume-title":"27th USENIX Security Symposium (USENIX Security 18)","author":"Clements Abraham A","year":"2018","unstructured":"Abraham A Clements, Naif Saleh Almakhdhub, Saurabh Bagchi, and Mathias Payer. 2018. {ACES}: Automatic compartments for embedded systems. In 27th USENIX Security Symposium (USENIX Security 18). 65--82."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.37"},{"key":"e_1_3_2_1_11_1","unstructured":"Ang Cui Michael Costello and Salvatore Stolfo. 2013. When firmware modifications attack: A case study of embedded exploitation. (2013)."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892212"},{"key":"e_1_3_2_1_13_1","volume-title":"An extended low fat allocator API and applications. arXiv preprint arXiv:1804.04812","author":"Duck Gregory J","year":"2018","unstructured":"Gregory J Duck and Roland HC Yap. 2018. An extended low fat allocator API and applications. arXiv preprint arXiv:1804.04812 (2018)."},{"key":"e_1_3_2_1_14_1","first-page":"1","article-title":"Stack Bounds Protection with Low Fat Pointers","volume":"17","author":"Duck Gregory J","year":"2017","unstructured":"Gregory J Duck, Roland HC Yap, and Lorenzo Cavallaro. 2017. Stack Bounds Protection with Low Fat Pointers.. In NDSS, Vol. 17. 1--15.","journal-title":"NDSS"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP46215.2023.10179285"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP46215.2023.10179388"},{"key":"e_1_3_2_1_17_1","unstructured":"Chung Hwan Kim Taegyu Kim Hongjun Choi Zhongshu Gu Byoungyoung Lee Xiangyu Zhang and Dongyan Xu. 2018. Securing Real-Time Microcontroller Systems through Customized Memory View Switching.. In NDSS."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO50266.2020.00095"},{"volume-title":"Proceedings of the Thirteenth EuroSys Conference. 1--14","author":"Kroes Taddeus","key":"e_1_3_2_1_19_1","unstructured":"Taddeus Kroes, Koen Koning, Erik van der Kouwe, Herbert Bos, and Cristiano Giuffrida. 2018. Delta pointers: Buffer overflow checks without the checks. In Proceedings of the Thirteenth EuroSys Conference. 1--14."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3064176.3064192"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132786"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3548606.3560598"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITME.2016.0087"},{"key":"e_1_3_2_1_24_1","volume-title":"https:\/\/github.com\/llvm\/llvm-project\/tree\/release\/15.x. Accessed on","author":"LLVM.","year":"2023","unstructured":"LLVM. 2023. LLVM 15.x. https:\/\/github.com\/llvm\/llvm-project\/tree\/release\/15.x. Accessed on: Nov 18, 2023."},{"key":"e_1_3_2_1_25_1","volume-title":"Return-to-Non-Secure Vulnerabilities on ARM Cortex-M TrustZone: Attack and Defense. In 2023 60th ACM\/IEEE Design Automation Conference (DAC). IEEE, 1--6.","author":"Ma Zheyuan","year":"2023","unstructured":"Zheyuan Ma, Xi Tan, Lukasz Ziarek, Ning Zhang, Hongxin Hu, and Ziming Zhao. 2023. Return-to-Non-Secure Vulnerabilities on ARM Cortex-M TrustZone: Attack and Defense. In 2023 60th ACM\/IEEE Design Automation Conference (DAC). IEEE, 1--6."},{"key":"e_1_3_2_1_26_1","volume-title":"D-Box: DMA-enabled Compartmentalization for Embedded Applications. NDSS 2022","author":"Mera Alejandro","year":"2022","unstructured":"Alejandro Mera, Yi Hui Chen, Ruimin Sun, Engin Kirda, and Long Lu. 2022. D-Box: DMA-enabled Compartmentalization for Embedded Applications. NDSS 2022 (2022)."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3052973.3053014"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP46214.2022.9833675"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542504"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66332-6_12"},{"key":"e_1_3_2_1_31_1","volume-title":"Intel MPX explained: An empirical study of intel MPX and software-based bounds checking approaches. arXiv preprint arXiv:1702.00719","author":"Oleksenko Oleksii","year":"2017","unstructured":"Oleksii Oleksenko, Dmitrii Kuvaiskii, Pramod Bhatotia, Pascal Felber, and Christof Fetzer. 2017. Intel MPX explained: An empirical study of intel MPX and software-based bounds checking approaches. arXiv preprint arXiv:1702.00719 (2017)."},{"key":"e_1_3_2_1_32_1","volume-title":"BEEBS: Open benchmarks for energy measurements on embedded platforms. arXiv preprint arXiv:1308.5174","author":"Pallister James","year":"2013","unstructured":"James Pallister, Simon Hollis, and Jeremy Bennett. 2013. BEEBS: Open benchmarks for energy measurements on embedded platforms. arXiv preprint arXiv:1308.5174 (2013)."},{"key":"e_1_3_2_1_33_1","volume-title":"ZOMETAG: Zone-based Memory Tagging for Fast, Deterministic Detection of Spatial Memory Violations on ARM","author":"Seo Jiwon","year":"2023","unstructured":"Jiwon Seo, Junseung You, Donghyun Kwon, Yeongpil Cho, and Yunheung Paek. 2023. ZOMETAG: Zone-based Memory Tagging for Fast, Deterministic Detection of Spatial Memory Violations on ARM. IEEE Transactions on Information Forensics and Security (2023)."},{"volume-title":"STM32 NUCLEO-144 Development Board. https:\/\/www.st.com\/en\/evaluation-tools\/nucleo-l552ze-q.html. Accessed on","year":"2023","key":"e_1_3_2_1_34_1","unstructured":"STMicroelectronics. 2022. STM32 NUCLEO-144 Development Board. https:\/\/www.st.com\/en\/evaluation-tools\/nucleo-l552ze-q.html. Accessed on: Nov 18, 2023."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304017"},{"key":"e_1_3_2_1_36_1","volume-title":"29th USENIX Security Symposium (USENIX Security 20)","author":"Zhou Jie","year":"2020","unstructured":"Jie Zhou, Yufei Du, Zhuojia Shen, Lele Ma, John Criswell, and Robert J Walls. 2020. Silhouette: Efficient protected shadow stacks for embedded systems. In 29th USENIX Security Symposium (USENIX Security 20). 1219--1236."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3492321.3519573"}],"event":{"name":"DAC '24: 61st ACM\/IEEE Design Automation Conference","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE-CEDA","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"San Francisco CA USA","acronym":"DAC '24"},"container-title":["Proceedings of the 61st ACM\/IEEE Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3649329.3655949","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3649329.3655949","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:17:54Z","timestamp":1750295874000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3649329.3655949"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6,23]]},"references-count":37,"alternative-id":["10.1145\/3649329.3655949","10.1145\/3649329"],"URL":"https:\/\/doi.org\/10.1145\/3649329.3655949","relation":{},"subject":[],"published":{"date-parts":[[2024,6,23]]},"assertion":[{"value":"2024-11-07","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}