{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T10:52:43Z","timestamp":1730199163312,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,10,14]],"date-time":"2023-10-14T00:00:00Z","timestamp":1697241600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,10,14]],"date-time":"2023-10-14T00:00:00Z","timestamp":1697241600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100012166","name":"National Key R&D Program of China","doi-asserted-by":"publisher","award":["2021YFB3100901"],"award-info":[{"award-number":["2021YFB3100901"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"NSF of China","doi-asserted-by":"publisher","award":["62074131,62272389"],"award-info":[{"award-number":["62074131,62272389"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,10,14]]},"DOI":"10.1109\/ats59501.2023.10317946","type":"proceedings-article","created":{"date-parts":[[2023,11,20]],"date-time":"2023-11-20T19:09:33Z","timestamp":1700507373000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Verifying RISC-V Privilege Transition Integrity Through Symbolic Execution"],"prefix":"10.1109","author":[{"given":"Shibo","family":"Tang","sequence":"first","affiliation":[{"name":"Northwestern Polytechnical University,Xi'an,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiacheng","family":"Zhu","sequence":"additional","affiliation":[{"name":"Northwestern Polytechnical University,Xi'an,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yifei","family":"Gao","sequence":"additional","affiliation":[{"name":"Northwestern Polytechnical University,Xi'an,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jing","family":"Zhou","sequence":"additional","affiliation":[{"name":"Beijing Microelectronics Technology Institute,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dejun","family":"Mu","sequence":"additional","affiliation":[{"name":"Northwestern Polytechnical University,Xi'an,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei","family":"Hu","sequence":"additional","affiliation":[{"name":"Northwestern Polytechnical University,Xi'an,China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1109\/ETS56758.2023.10174000"},{"key":"ref2","first-page":"1","article-title":"Hardware backdoors in x86 CPUs","author":"Domas","year":"2018","journal-title":"Black Hat"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/PACT.2007.4336201"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1145\/2664243.2664273"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1109\/MM.2019.2910010"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1145\/3037697.3037739"},{"year":"2022","author":"Cheang","journal-title":"Verifying rise-v physical memory protection","key":"ref7"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1007\/978-3-319-21668-3_7"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1109\/ISVLSI.2015.107"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.23919\/DATE56975.2023.10137202"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1109\/TEST.2018.8624854"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1109\/MICRO.2018.00071"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1145\/3377811.3380428"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"580","DOI":"10.1007\/978-3-662-49674-9_38","article-title":"v2c\u2013Averilog to C translator","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2\u20138, 2016, Proceedings 22","author":"Mukherjee","year":"2016"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1109\/IWRSP.2000.855208"},{"volume-title":"verilator","year":"1994","author":"Paul","key":"ref16"},{"key":"ref17","first-page":"209","article-title":"Klee: unassisted and automatic generation of high-coverage tests for complex systems programs","volume":"8","author":"Cadar","year":"2008","journal-title":"OSDI"},{"key":"ref18","article-title":"Using CPU system management mode to circumvent operating system security functions","author":"Duflot","year":"2006","journal-title":"CanSec West\/core06"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1109\/HST.2012.6224318"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1109\/VLSID49098.2020.00036"},{"volume-title":"or1200","year":"2003","key":"ref21"}],"event":{"name":"2023 IEEE 32nd Asian Test Symposium (ATS)","start":{"date-parts":[[2023,10,14]]},"location":"Beijing, China","end":{"date-parts":[[2023,10,17]]}},"container-title":["2023 IEEE 32nd Asian Test Symposium (ATS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10317938\/10317940\/10317946.pdf?arnumber=10317946","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,13]],"date-time":"2024-04-13T04:39:32Z","timestamp":1712983172000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10317946\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,14]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/ats59501.2023.10317946","relation":{},"subject":[],"published":{"date-parts":[[2023,10,14]]}}}