{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,19]],"date-time":"2025-01-19T05:15:01Z","timestamp":1737263701348,"version":"3.33.0"},"reference-count":24,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,12,16]],"date-time":"2024-12-16T00:00:00Z","timestamp":1734307200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,12,16]],"date-time":"2024-12-16T00:00:00Z","timestamp":1734307200000},"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":[],"published-print":{"date-parts":[[2024,12,16]]},"DOI":"10.1109\/asianhost63913.2024.10838476","type":"proceedings-article","created":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T18:35:25Z","timestamp":1737052525000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["SecRiSBen: A RISC-V based SoC Benchmark for Evaluation of Security Verification Tools"],"prefix":"10.1109","author":[{"given":"Maoyuan","family":"Cai","sequence":"first","affiliation":[{"name":"School of Electronic and Information Engineering, Harbin Institute of Technology,Shenzhen,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aijiao","family":"Cui","sequence":"additional","affiliation":[{"name":"School of Electronic and Information Engineering, Harbin Institute of Technology,Shenzhen,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yier","family":"Jin","sequence":"additional","affiliation":[{"name":"University of Science and Technology of China,China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ITC44170.2019.9000170"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2009.5340179"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2021.3066560"},{"key":"ref4","article-title":"A Survey on RISC-V Security: Hardware and Architecture","author":"Lu","year":"2021","journal-title":"arXiv"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-12-415815-3.00012-1"},{"key":"ref6","first-page":"3237","article-title":"Fuzzing Hardware Like Software","volume-title":"the 31st USENIX Security Symposium (USENIX Security 22)","author":"Trippel"},{"volume-title":"lowRISC. Opentitan","key":"ref7"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00103"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.23919\/DATE56975.2023.10137024"},{"key":"ref10","article-title":"Hardware CWEs"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ISVLSI59464.2023.10238612"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ITC-Asia62534.2024.10661352"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2980024.2872414"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2020.3047976"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CSE53436.2021.00030"},{"journal-title":"IACR Cryptology ePrint Archive. 2022","article-title":"Fuzz, Penetration, and AI Testing for SoC Security Verification: Challenges and Solutions","author":"Azar","key":"ref16"},{"year":"2023","key":"ref17","article-title":"Hardware CWEs"},{"key":"ref18","article-title":"A. Waterman","author":"Waterman","year":"2017","journal-title":"2017. The RISC-V Instruction Set Manual Volume II: Privileged Architecture"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICECENG.2011.6057467"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/HOST55118.2023.10133714"},{"article-title":"CVA6 Core","volume-title":"[Online]. Available:","author":"Zurich","key":"ref21"},{"year":"2023","key":"ref22","article-title":"Hardware CWEs"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/358274.358283"},{"key":"ref24","article-title":"Verilator. Version4.l4"}],"event":{"name":"2024 Asian Hardware Oriented Security and Trust Symposium (AsianHOST)","start":{"date-parts":[[2024,12,16]]},"location":"Kobe, Japan","end":{"date-parts":[[2024,12,18]]}},"container-title":["2024 Asian Hardware Oriented Security and Trust Symposium (AsianHOST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10838388\/10838389\/10838476.pdf?arnumber=10838476","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T06:14:40Z","timestamp":1737180880000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10838476\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,16]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/asianhost63913.2024.10838476","relation":{},"subject":[],"published":{"date-parts":[[2024,12,16]]}}}