{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T00:05:04Z","timestamp":1755993904064,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":49,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,11,19]],"date-time":"2024-11-19T00:00:00Z","timestamp":1731974400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-sa\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100006374","name":"Silicon Valley Community Foundation","doi-asserted-by":"publisher","award":["2020-221801"],"award-info":[{"award-number":["2020-221801"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]},{"name":"NextGenerationEU","award":["PE00000014"],"award-info":[{"award-number":["PE00000014"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,11,19]]},"DOI":"10.1145\/3690134.3694815","type":"proceedings-article","created":{"date-parts":[[2024,11,22]],"date-time":"2024-11-22T06:22:58Z","timestamp":1732256578000},"page":"55-67","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["EmbedWatch: Fat Pointer Solution for Detecting Spatial Memory Errors in Embedded Systems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-3648-7416","authenticated-orcid":false,"given":"Davide","family":"Rusconi","sequence":"first","affiliation":[{"name":"University of Milan, Milan, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-2722-7178","authenticated-orcid":false,"given":"Matteo","family":"Zoia","sequence":"additional","affiliation":[{"name":"University of Milan, Milan, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7590-6964","authenticated-orcid":false,"given":"Luca","family":"Buccioli","sequence":"additional","affiliation":[{"name":"University of Milan, Milan, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1254-1758","authenticated-orcid":false,"given":"Fabio","family":"Pierazzi","sequence":"additional","affiliation":[{"name":"King's College London, London, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5905-5976","authenticated-orcid":false,"given":"Danilo","family":"Bruschi","sequence":"additional","affiliation":[{"name":"University of Milan, Milan, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3878-2680","authenticated-orcid":false,"given":"Lorenzo","family":"Cavallaro","sequence":"additional","affiliation":[{"name":"University College London, London, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7114-5640","authenticated-orcid":false,"given":"Flavio","family":"Toffalini","sequence":"additional","affiliation":[{"name":"EPFL, Lausanne, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1544-3758","authenticated-orcid":false,"given":"Andrea","family":"Lanzi","sequence":"additional","affiliation":[{"name":"University of Milan, Milan, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,11,22]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n. d.]. Arduino project. https:\/\/github.com\/mattiasjahnke\/arduino-projects."},{"key":"e_1_3_2_1_2_1","unstructured":"[n. d.]. CrashReporting. https:\/\/wiki.ubuntu.com\/CrashReporting."},{"key":"e_1_3_2_1_3_1","unstructured":"[n. d.]. EmbedWatch dataset. https:\/\/github.com\/laserunimi\/embedwatch\/tree\/ master\/test."},{"key":"e_1_3_2_1_4_1","unstructured":"[n. d.]. EmbedWatch source code. https:\/\/github.com\/laserunimi\/embedwatch."},{"key":"e_1_3_2_1_5_1","unstructured":"[n. d.]. Embench: Open Benchmarks for Embedded Platforms. https:\/\/github.c om\/embench\/embench-iot."},{"key":"e_1_3_2_1_6_1","unstructured":"[n. d.]. Fuzzware Dataset. https:\/\/github.com\/f uzzware- fuzzer\/f uzzwareexperiments."},{"key":"e_1_3_2_1_7_1","unstructured":"[n. d.]. Intel PT. https:\/\/www.intel.com\/content\/www\/us\/en\/developer\/videos\/c ollecting-processor-trace-in-intel-system-debugger.html?wapkw=intel."},{"key":"e_1_3_2_1_8_1","unstructured":"[n. d.]. Mozilla Crash Reporter. https:\/\/support.mozilla.org\/en-US\/kb\/mozillacra shreporter."},{"key":"e_1_3_2_1_9_1","unstructured":"[n. d.]. Raspberry Pi pico-example. https:\/\/github.com\/raspberrypi\/picoexamples."},{"key":"e_1_3_2_1_10_1","unstructured":"[n. d.]. SafeStack. https:\/\/clang.llvm.org\/docs\/SafeStack.html."},{"key":"e_1_3_2_1_11_1","unstructured":"[n. d.]. The Often Misunderstood GEP Instruction. https:\/\/llvm.org\/docs\/GetEle mentPtr.html."},{"key":"e_1_3_2_1_12_1","unstructured":"[n. d.]. TI-RTOS Drivers. https:\/\/software-dl.ti.com\/dsps\/dsps_public_sw\/sdo_sb \/targetcontent\/tirtos\/2_20_01_08\/exports\/tirtos_full_2_20_01_08\/products\/tidri vers_cc13xx_cc26xx_2_20_01_10\/docs\/doxygen\/html\/_u_a_r_t_8h.html."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978358"},{"key":"e_1_3_2_1_14_1","volume-title":"DIAT: Data Integrity Attestation for Resilient Collaboration of Autonomous Systems.. In NDSS.","author":"Abera Tigist","year":"2019","unstructured":"Tigist Abera, Raad Bahmani, Ferdinand Brasser, Ahmad Ibrahim, Ahmad-Reza Sadeghi, and Matthias Schunter. 2019. DIAT: Data Integrity Attestation for Resilient Collaboration of Autonomous Systems.. In NDSS."},{"key":"e_1_3_2_1_15_1","volume-title":"USENIX Security Symposium. https:\/\/api.semanticscholar.or g\/CorpusID:14320211","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 Outof-Bounds Errors. In USENIX Security Symposium. https:\/\/api.semanticscholar.or g\/CorpusID:14320211"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/178243.178446"},{"key":"e_1_3_2_1_17_1","volume-title":"Common weakness enumeration","author":"Christey Steve","year":"2013","unstructured":"Steve Christey, J Kenderdine, J Mazella, and B Miles. 2013. Common weakness enumeration. Mitre Corporation (2013)."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.37"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_20_1","volume-title":"13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18)","author":"Cui Weidong","year":"2018","unstructured":"Weidong Cui, Xinyang Ge, Baris Kasikci, Ben Niu, Upamanyu Sharma, Ruoyu Wang, and Insu Yun. 2018. REPT: Reverse debugging of failures in deployed software. In 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). 17--32."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3240765.3240821"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3061639.3062276"},{"key":"e_1_3_2_1_23_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_24_1","volume-title":"DEEPVSA: Facilitating Value-set Analysis with Deep Learning for Postmortem Program Analysis. In 28th USENIX Security Symposium (USENIX Security 19)","author":"Guo Wenbo","year":"2019","unstructured":"Wenbo Guo, Dongliang Mu, Xinyu Xing, Min Du, and Dawn Song. 2019. DEEPVSA: Facilitating Value-set Analysis with Deep Learning for Postmortem Program Analysis. In 28th USENIX Security Symposium (USENIX Security 19). 1787--1804."},{"key":"e_1_3_2_1_25_1","volume-title":"ARM security technology: Building a secure system using trustzone technology. Retrieved on June 10","author":"Holdings ARM","year":"2009","unstructured":"ARM Holdings. 2009. ARM security technology: Building a secure system using trustzone technology. Retrieved on June 10 (2009), 2021."},{"key":"e_1_3_2_1_26_1","volume-title":"USENIX Annual Technical Conference, General Track. 275--288","author":"Jim Trevor","year":"2002","unstructured":"Trevor Jim, J Gregory Morrisett, Dan Grossman, Michael W Hicks, James Cheney, and Yanling Wang. 2002. Cyclone: a safe dialect of C.. In USENIX Annual Technical Conference, General Track. 275--288."},{"key":"e_1_3_2_1_27_1","unstructured":"Chung Hwan Kim Taegyu Kim Hongjun Choi Zhongshu Gu Xiangyu Zhang and Dongyan Xu. 2018. Securing Real-Time Microcontroller Systems through Customized Memory View Switching. In NDSS."},{"key":"e_1_3_2_1_28_1","unstructured":"Tim Kornau. [n. d.]. Return oriented programming for the ARM architecture.. In Ph.D thesis."},{"key":"e_1_3_2_1_29_1","first-page":"1929","article-title":"POMP: Facilitating postmortem program diagnosis with value-set analysis","volume":"47","author":"Mu Dongliang","year":"2019","unstructured":"Dongliang Mu, Yunlan Du, Jianhao Xu, Jun Xu, Xinyu Xing, Bing Mao, and Peng Liu. 2019. POMP: Facilitating postmortem program diagnosis with value-set analysis. IEEE Transactions on Software Engineering 47, 9 (2019), 1929--1942.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1543135.1542504"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065887.1065892"},{"key":"e_1_3_2_1_32_1","volume-title":"26th USENIX Security Symposium (USENIX Security 17)","author":"Ning Zhenyu","year":"2017","unstructured":"Zhenyu Ning and Fengwei Zhang. 2017. Ninja: Towards Transparent Tracing and Debugging on {ARM}. In 26th USENIX Security Symposium (USENIX Security 17). 33--49."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/NBiS.2016.11"},{"key":"e_1_3_2_1_34_1","volume-title":"Fuzzware: Using Precise MMIO Modeling for Effective Firmware Fuzzing. In 31st USENIX Security Symposium (USENIX Security 22)","author":"Scharnowski Tobias","year":"2022","unstructured":"Tobias Scharnowski, Nils Bars, Moritz Schloegel, Eric Gustafson, Marius Muench, Giovanni Vigna, Christopher Kruegel, Thorsten Holz, and Ali Abbasi. 2022. Fuzzware: Using Precise MMIO Modeling for Effective Firmware Fuzzing. In 31st USENIX Security Symposium (USENIX Security 22). USENIX Association, Boston, MA, 1239--1256. https:\/\/www.usenix.org\/conference\/usenixsecurity22\/present ation\/scharnowski"},{"key":"e_1_3_2_1_35_1","volume-title":"Proceedings of the 2012 USENIX Conference on Annual Technical Conference (Boston, MA) (USENIX ATC'12). USENIX Association, USA, 28","author":"Serebryany Konstantin","year":"2012","unstructured":"Konstantin Serebryany, Derek Bruening, Alexander Potapenko, and Dmitry Vyukov. 2012. AddressSanitizer: A Fast Address Sanity Checker. In Proceedings of the 2012 USENIX Conference on Annual Technical Conference (Boston, MA) (USENIX ATC'12). USENIX Association, USA, 28."},{"key":"e_1_3_2_1_36_1","unstructured":"Jiameng Shi Wenqiang Li Wenwen Wang and Le Guan. [n. d.]. Facilitating Non-Intrusive In-Vivo Firmware Testing with Stateless Instrumentation. ([n. d.])."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.17"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2892208.2892235"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP40000.2020.00042"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2013.13"},{"key":"e_1_3_2_1_41_1","volume-title":"22nd International Symposium on Research in Attacks, Intrusions and Defenses (RAID","author":"Toffalini Flavio","year":"2019","unstructured":"Flavio Toffalini, Eleonora Losiouk, Andrea Biondo, Jianying Zhou, and Mauro Conti. 2019. {ScaRR}: Scalable Runtime Remote Attestation for Complex Systems. In 22nd International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2019). 121--134."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3564625.3567994"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978340"},{"key":"e_1_3_2_1_44_1","volume-title":"26th USENIX Security Symposium (USENIX Security 17)","author":"Xu Jun","year":"2017","unstructured":"Jun Xu, Dongliang Mu, Xinyu Xing, Peng Liu, Ping Chen, and Bing Mao. 2017. Pomp: Postmortem program analysis with hardware-enhanced post-crash artifacts. In 26th USENIX Security Symposium (USENIX Security 17). 17--32."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3576915.3616687"},{"volume-title":"PAriCheck: An Efficient Pointer Arithmetic Checker for C Programs. In 5th ACM Symposium on Information, Computer and Communications Security (AsiaCCS).","author":"Younan Y.","key":"e_1_3_2_1_46_1","unstructured":"Y. Younan, P. Philippaerts, L. Cavallaro, R. Sekar, F. Piessens, and W. Joosen. 2010. PAriCheck: An Efficient Pointer Arithmetic Checker for C Programs. In 5th ACM Symposium on Information, Computer and Communications Security (AsiaCCS)."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2017.8203803"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485832.3485900"},{"key":"e_1_3_2_1_49_1","volume-title":"Debloating Address Sanitizer. In 31st USENIX Security Symposium (USENIX Security 22)","author":"Zhang Yuchen","year":"2022","unstructured":"Yuchen Zhang, Chengbin Pang, Georgios Portokalidis, Nikos Triandopoulos, and Jun Xu. 2022. Debloating Address Sanitizer. In 31st USENIX Security Symposium (USENIX Security 22). USENIX Association, Boston, MA, 4345--4363. https:\/\/www.usenix.org\/conference\/usenixsecurity22\/presentation\/zhang-yuchen"}],"event":{"name":"CCS '24: ACM SIGSAC Conference on Computer and Communications Security","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"Salt Lake City UT USA","acronym":"CCS '24"},"container-title":["Proceedings of the Sixth Workshop on CPS&IoT Security and Privacy"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3690134.3694815","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3690134.3694815","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T02:29:17Z","timestamp":1755916157000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3690134.3694815"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,19]]},"references-count":49,"alternative-id":["10.1145\/3690134.3694815","10.1145\/3690134"],"URL":"https:\/\/doi.org\/10.1145\/3690134.3694815","relation":{},"subject":[],"published":{"date-parts":[[2024,11,19]]},"assertion":[{"value":"2024-11-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}