{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T07:16:42Z","timestamp":1760080602256,"version":"3.28.0"},"reference-count":63,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,11,8]],"date-time":"2021-11-08T00:00:00Z","timestamp":1636329600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,11,8]],"date-time":"2021-11-08T00:00:00Z","timestamp":1636329600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,11,8]],"date-time":"2021-11-08T00:00:00Z","timestamp":1636329600000},"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":[[2021,11,8]]},"DOI":"10.1109\/nanoarch53687.2021.9642252","type":"proceedings-article","created":{"date-parts":[[2021,12,16]],"date-time":"2021-12-16T20:45:19Z","timestamp":1639687519000},"page":"1-6","source":"Crossref","is-referenced-by-count":3,"title":["Fuzzing Hardware: Faith or Reality? : Invited Paper"],"prefix":"10.1109","author":[{"given":"Weimin","family":"Fu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Orlando","family":"Arias","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yier","family":"Jin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaolong","family":"Guo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1002\/sec.714"},{"key":"ref38","first-page":"1","article-title":"Experiences with model inference assisted fuzzing","volume":"2","author":"viide","year":"2008","journal-title":"WOOT"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106243"},{"key":"ref32","article-title":"Limiting state explosion with filter-based refinement","author":"dwyer","year":"1997","journal-title":"Proceedings of the 1st International Workshop on Verification Abstract Interpretation and Model Checking"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1186\/s42400-018-0002-y"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2004.111"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2005.55"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/96267.96279"},{"key":"ref35","first-page":"1557","article-title":"Equivalence Class Partitioning and Boundary Value Analysis - A Review","author":"asma bhat","year":"2015","journal-title":"2015 2nd International Conference on Computing for Sustainable Global Development (INDIACom)"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/2494603.2480324"},{"journal-title":"Opentitan Secure boot SoC design","year":"2019","key":"ref60"},{"journal-title":"Vc formal","year":"0","key":"ref62"},{"journal-title":"JasPer","year":"0","key":"ref61"},{"journal-title":"Dv simulation summary results with coverage (nightly)","year":"0","key":"ref63"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1995.0010"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2019.8740840"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380040405"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/40.372360"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1109\/JPROC.2017.2714641","article-title":"System-on-chip platform security assurance: Architecture and validation","volume":"106","author":"ray","year":"2017","journal-title":"Proceedings of the IEEE"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61474-5_93"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/S0065-2458(03)58003-2","article-title":"Bounded model checking","volume":"58","author":"biere","year":"2003","journal-title":"Advances in Computers"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICFCC.2009.31"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/1993316.1993512"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2002.806121"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2775054.2694372"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2541940.2541947"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.2172\/902189"},{"journal-title":"libFuzzer-A Library for Coverage-guided Fuzz Testing","year":"2019","key":"ref51"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/3453688.3464508"},{"journal-title":"Flexible internal representation for rtl","year":"2021","key":"ref58"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2013.2284281"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1007\/s41635-018-0043-4"},{"journal-title":"Vivado","year":"0","key":"ref55"},{"key":"ref54","article-title":"Verilator: Open simulation-growing up","author":"snyder","year":"2013","journal-title":"DVClub Bristol"},{"key":"ref53","article-title":"Evaluation of risc-v rtl with fpga-accelerated simulation","author":"kim","year":"2017","journal-title":"First Workshop on Computer Architecture Research with RISC-V"},{"key":"ref52","article-title":"Specification for the firrtl language","author":"li","year":"2016","journal-title":"Technical Report UCB\/EECS-2016-9"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3240765.3240842"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/AsianHOST.2017.8353999"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2016.08.094"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.vlsi.2018.09.007"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2016.2621999"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2017.7858388"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2018.8624854"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3447867"},{"journal-title":"The Coq Proof Assistant","year":"2010","key":"ref17"},{"key":"ref18","first-page":"337","article-title":"Z3: An efficient smt solver","author":"de moura","year":"2008","journal-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263712"},{"journal-title":"Shift-left right","year":"0","key":"ref4"},{"article-title":"The pentium f00f bug","year":"1997","author":"collins","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2010.59"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2747939"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2017.2751615"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2007.907270"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2012.31"},{"article-title":"Fuzzing hardware like software","year":"2021","author":"trippel","key":"ref9"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/1993316.1993532"},{"key":"ref45","first-page":"57z","article-title":"Openrce\/sulley","volume":"28","author":"amini","year":"2012","journal-title":"original-date"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2016.23368"},{"key":"ref47","first-page":"2020","article-title":"american fuzzy lop (2.52 b)","volume":"10","author":"zalewski","year":"2019"},{"year":"2020","key":"ref42","article-title":"Leaksanitizer-clang 12 documentation"},{"key":"ref41","first-page":"309","article-title":"Address-sanitizer: A fast address sanity checker","author":"serebryany","year":"2012","journal-title":"2012 USENIX Annual Technical Conference ( USENIX ATC 12)"},{"article-title":"Trinity: A linux system call fuzz tester","year":"2016","author":"jones","key":"ref44"},{"journal-title":"Peach fuzzer Discover unknown vulnerabilities","year":"0","author":"eddington","key":"ref43"}],"event":{"name":"2021 IEEE\/ACM International Symposium on Nanoscale Architectures (NANOARCH)","start":{"date-parts":[[2021,11,8]]},"location":"AB, Canada","end":{"date-parts":[[2021,11,10]]}},"container-title":["2021 IEEE\/ACM International Symposium on Nanoscale Architectures (NANOARCH)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9642231\/9642232\/09642252.pdf?arnumber=9642252","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T16:58:07Z","timestamp":1652201887000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9642252\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,8]]},"references-count":63,"URL":"https:\/\/doi.org\/10.1109\/nanoarch53687.2021.9642252","relation":{},"subject":[],"published":{"date-parts":[[2021,11,8]]}}}