{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T20:35:32Z","timestamp":1740170132887,"version":"3.37.3"},"reference-count":12,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2021,2,1]],"date-time":"2021-02-01T00:00:00Z","timestamp":1612137600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,2,1]],"date-time":"2021-02-01T00:00:00Z","timestamp":1612137600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,2,1]],"date-time":"2021-02-01T00:00:00Z","timestamp":1612137600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Des. Test"],"published-print":{"date-parts":[[2021,2]]},"DOI":"10.1109\/mdat.2020.3013827","type":"journal-article","created":{"date-parts":[[2020,8,3]],"date-time":"2020-08-03T21:11:11Z","timestamp":1596489071000},"page":"7-13","source":"Crossref","is-referenced-by-count":4,"title":["SoC Security Evaluation: Reflections on Methodology and Tooling"],"prefix":"10.1109","volume":"38","author":[{"given":"Nassim","family":"Corteggiani","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3510-6895","authenticated-orcid":false,"given":"Giovanni","family":"Camurati","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3393-5123","authenticated-orcid":false,"given":"Marius","family":"Muench","sequence":"additional","affiliation":[]},{"given":"Sebastian","family":"Poeplau","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0584-8732","authenticated-orcid":false,"given":"Aurelien","family":"Francillon","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2018.23166"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3182657"},{"key":"ref10","first-page":"463","article-title":"FIE on firmware: Finding vulnerabilities in embedded systems using symbolic execution","author":"davidson","year":"2013","journal-title":"Proc 22nd USENIX Secur Symp (USENIX Security)"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1878961.1879007"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.14722\/bar.2018.23017"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICESS.2019.8782476"},{"key":"ref12","first-page":"309","article-title":"Inception: System-wide security testing of real-world embedded systems software","author":"corteggiani","year":"2018","journal-title":"Proc 27th USENIX Security Symp (USENIX Security)"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2011.5722202"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CONECCT.2015.7383860"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3133912"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/MSEC.2019.2926462"},{"key":"ref1","first-page":"213","article-title":"HardFails: Insights into software-exploitable hardware bugs","author":"dessouky","year":"2019","journal-title":"Proc 28th USENIX Security Symp (USENIX Security)"}],"container-title":["IEEE Design & Test"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6221038\/9374574\/09154736.pdf?arnumber=9154736","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T14:53:47Z","timestamp":1652194427000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9154736\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2]]},"references-count":12,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/mdat.2020.3013827","relation":{},"ISSN":["2168-2356","2168-2364"],"issn-type":[{"type":"print","value":"2168-2356"},{"type":"electronic","value":"2168-2364"}],"subject":[],"published":{"date-parts":[[2021,2]]}}}