{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,31]],"date-time":"2026-07-31T15:42:05Z","timestamp":1785512525791,"version":"3.56.0"},"reference-count":18,"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":["2021YFB3100900"],"award-info":[{"award-number":["2021YFB3100900"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62074131"],"award-info":[{"award-number":["62074131"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities of China","doi-asserted-by":"publisher","award":["2662022XXYJ005"],"award-info":[{"award-number":["2662022XXYJ005"]}],"id":[{"id":"10.13039\/501100012226","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.10317944","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":4,"title":["Security Verification of RISC-V System Based on ISA Level Information Flow Tracking"],"prefix":"10.1109","author":[{"given":"Lingjuan","family":"Wu","sequence":"first","affiliation":[{"name":"College of Informatics, Huazhong Agricultural University,Wuhan,China,430070"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yifei","family":"Gao","sequence":"additional","affiliation":[{"name":"School of Cybersecurity, Northwestern Polytechnical University,Xi'an,China,710072"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jiacheng","family":"Zhu","sequence":"additional","affiliation":[{"name":"School of Cybersecurity, Northwestern Polytechnical University,Xi'an,China,710072"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yu","family":"Tai","sequence":"additional","affiliation":[{"name":"School of Cybersecurity, Northwestern Polytechnical University,Xi'an,China,710072"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wei","family":"Hu","sequence":"additional","affiliation":[{"name":"School of Cybersecurity, Northwestern Polytechnical University,Xi'an,China,710072"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/3357033"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3399742"},{"key":"ref3","first-page":"6","volume-title":"The Rocket chip generator","volume":"4","author":"Asanovic","year":"2016"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO56248.2022.00080"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.26599\/TST.2020.9010037"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3447867"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2541940.2541947"},{"key":"ref8","article-title":"SecChisel: Language and tool for practical and scalable security verification of security-aware hardware architectures","author":"Deng","year":"2017","journal-title":"Cryptology ePrint Archive"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2775054.2694372"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243743"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2018.00093"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC48747.2019.00036"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2019.00026"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1037187.1024404"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/IVSW.2019.8854418"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/HPEC.2018.8547578"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2021.102355"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2857321"}],"event":{"name":"2023 IEEE 32nd Asian Test Symposium (ATS)","location":"Beijing, China","start":{"date-parts":[[2023,10,14]]},"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\/10317944.pdf?arnumber=10317944","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,13]],"date-time":"2024-04-13T04:17:12Z","timestamp":1712981832000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10317944\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,14]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/ats59501.2023.10317944","relation":{},"subject":[],"published":{"date-parts":[[2023,10,14]]}}}