{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T06:42:48Z","timestamp":1762324968199,"version":"3.37.3"},"reference-count":12,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2021,6,1]],"date-time":"2021-06-01T00:00:00Z","timestamp":1622505600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,6,1]],"date-time":"2021-06-01T00:00:00Z","timestamp":1622505600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,6,1]],"date-time":"2021-06-01T00:00:00Z","timestamp":1622505600000},"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,6]]},"DOI":"10.1109\/mdat.2021.3063314","type":"journal-article","created":{"date-parts":[[2021,3,3]],"date-time":"2021-03-03T20:38:43Z","timestamp":1614803923000},"page":"22-30","source":"Crossref","is-referenced-by-count":3,"title":["End-to-End Automated Exploit Generation for Processor Security Validation"],"prefix":"10.1109","volume":"38","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4221-8329","authenticated-orcid":false,"given":"Rui","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Calvin","family":"Deutschbein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6315-0848","authenticated-orcid":false,"given":"Peng","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3930-7440","authenticated-orcid":false,"given":"Cynthia","family":"Sturton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","first-page":"973","article-title":"Meltdown: Reading kernel memory from user space","author":"lipp","year":"2018","journal-title":"Proc 27th USENIX Secur Symp (USENIX Secur )"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2694344.2694366"},{"key":"ref10","first-page":"209","article-title":"KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs","author":"cadar","year":"2008","journal-title":"Proc of the 2nd USENIX Symp on Operating Systems Design and Implementation (OSDI)"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2011.5954992"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037734"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00002"},{"journal-title":"Ebmc The enhanced bounded model checker","year":"2021","author":"kroening","key":"ref12"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ISVLSI.2015.107"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2009.5340179"},{"journal-title":"Intel Skylake\/Kaby Lake Processors Broken Hyper-Threading","year":"2017","key":"ref2"},{"year":"2021","key":"ref9"},{"journal-title":"AMD Processor Microcode Security Update","year":"2016","key":"ref1"}],"container-title":["IEEE Design & Test"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6221038\/9439145\/09367252.pdf?arnumber=9367252","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T14:53:46Z","timestamp":1652194426000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9367252\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6]]},"references-count":12,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/mdat.2021.3063314","relation":{},"ISSN":["2168-2356","2168-2364"],"issn-type":[{"type":"print","value":"2168-2356"},{"type":"electronic","value":"2168-2364"}],"subject":[],"published":{"date-parts":[[2021,6]]}}}