{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:11:52Z","timestamp":1740100312863,"version":"3.37.3"},"reference-count":23,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,12,5]],"date-time":"2021-12-05T00:00:00Z","timestamp":1638662400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,12,5]],"date-time":"2021-12-05T00:00:00Z","timestamp":1638662400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,12,5]],"date-time":"2021-12-05T00:00:00Z","timestamp":1638662400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100002701","name":"Ministry of Education","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100002701","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,12,5]]},"DOI":"10.1109\/dac18074.2021.9586170","type":"proceedings-article","created":{"date-parts":[[2021,11,8]],"date-time":"2021-11-08T23:30:34Z","timestamp":1636414234000},"page":"667-672","source":"Crossref","is-referenced-by-count":1,"title":["Towards Reliable Spatial Memory Safety for Embedded Software by Combining Checked C with Concolic Testing"],"prefix":"10.1109","author":[{"given":"Soren","family":"Tempel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vladimir","family":"Herdt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1007\/978-3-540-71316-6_35"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1145\/1542476.1542504"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1145\/1346281.1346295"},{"key":"ref13","first-page":"209","article-title":"KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs","author":"cadar","year":"2008","journal-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation ser OSDI’08"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1109\/SP.2012.31"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1145\/3182657"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1109\/SP.2013.13"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1109\/JIOT.2018.2815038"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1016\/j.sysarc.2020.101756"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.23919\/DATE51398.2021.9474149"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1109\/SecDev.2018.00015"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"720","DOI":"10.1109\/JIOT.2015.2505901","article-title":"Operating Systems for Low-End Devices in the Internet of Things: A Survey","volume":"3","author":"hahm","year":"2016","journal-title":"IEEE Internet of Things Journal"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1145\/1081706.1081750"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1007\/978-3-030-17138-4_4"},{"key":"ref8","article-title":"RIOT-POLICE: An implementation of spatial memory safety for the RIOT operating system","author":"tempel","year":"2018","journal-title":"ArXiv e-prints"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1109\/SecDev45635.2020.00018"},{"key":"ref2","first-page":"73","article-title":"Internet of Pwnable Things: Challenges in Embedded Binary Security","volume":"42","author":"wetzels","year":"2017","journal-title":"USENIX login"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.17487\/rfc7228"},{"key":"ref9","first-page":"275","article-title":"Cyclone: A safe dialect of C","author":"jim","year":"2002","journal-title":"USENIX Annual Technical Conference 2002"},{"key":"ref20","first-page":"22","article-title":"The Halting Problems of Network Stack Insecurity","volume":"36","author":"sassaman","year":"2011","journal-title":"USENIX login"},{"key":"ref22","first-page":"309","article-title":"AddressSanitizer: A Fast Address Sanity Checker","author":"serebryany","year":"0","journal-title":"Presented as part of the 2012 USENIX Annual Technical Conference (USENIX ATC 12)"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1145\/1250734.1250746"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1007\/978-3-642-22110-1_55"}],"event":{"name":"2021 58th ACM\/IEEE Design Automation Conference (DAC)","start":{"date-parts":[[2021,12,5]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2021,12,9]]}},"container-title":["2021 58th ACM\/IEEE Design Automation Conference (DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9585997\/9586083\/09586170.pdf?arnumber=9586170","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T16:55:56Z","timestamp":1652201756000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9586170\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12,5]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/dac18074.2021.9586170","relation":{},"subject":[],"published":{"date-parts":[[2021,12,5]]}}}