{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,22]],"date-time":"2026-07-22T22:56:39Z","timestamp":1784760999466,"version":"3.55.0"},"reference-count":12,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T00:00:00Z","timestamp":1561939200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T00:00:00Z","timestamp":1561939200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-009"},{"start":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T00:00:00Z","timestamp":1561939200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-001"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Micro"],"published-print":{"date-parts":[[2019,7,1]]},"DOI":"10.1109\/mm.2019.2921509","type":"journal-article","created":{"date-parts":[[2019,7,24]],"date-time":"2019-07-24T20:07:21Z","timestamp":1563998841000},"page":"35-42","source":"Crossref","is-referenced-by-count":9,"title":["FinalFilter: Asserting Security Properties of a Processor at Runtime"],"prefix":"10.1109","volume":"39","author":[{"given":"Cynthia","family":"Sturton","sequence":"first","affiliation":[{"name":"University of North Carolina at Chapel Hill"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matthew","family":"Hicks","sequence":"additional","affiliation":[{"name":"Virginia Tech"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Samuel T.","family":"King","sequence":"additional","affiliation":[{"name":"University of California, Davis"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jonathan M.","family":"Smith","sequence":"additional","affiliation":[{"name":"University of Pennsylvania and DARPA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2011.5954992"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2508859.2516654"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.1999.809458"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2011.27"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2006.4380861"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2694344.2694366"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2006.4380831"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037734"},{"key":"ref7","article-title":"Open Source MCU core steps in to power third generation chip","author":"rubenstein","year":"2014"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488808"},{"key":"ref9","first-page":"815","article-title":"End-to-end automated exploit generation for diagnosing processor designs","author":"zhang","year":"0","journal-title":"Proc IEEE\/ACM Int Symp Microarch"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.18"}],"container-title":["IEEE Micro"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/40\/8771385\/08771391.pdf?arnumber=8771391","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,20]],"date-time":"2025-05-20T17:15:15Z","timestamp":1747761315000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8771391\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7,1]]},"references-count":12,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/mm.2019.2921509","relation":{},"ISSN":["0272-1732","1937-4143"],"issn-type":[{"value":"0272-1732","type":"print"},{"value":"1937-4143","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,7,1]]}}}