{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T16:23:25Z","timestamp":1783700605140,"version":"3.55.0"},"reference-count":51,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,6,22]],"date-time":"2025-06-22T00:00:00Z","timestamp":1750550400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,6,22]],"date-time":"2025-06-22T00:00:00Z","timestamp":1750550400000},"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":[[2025,6,22]]},"DOI":"10.1109\/dac63849.2025.11133216","type":"proceedings-article","created":{"date-parts":[[2025,9,15]],"date-time":"2025-09-15T17:35:41Z","timestamp":1757957741000},"page":"1-7","source":"Crossref","is-referenced-by-count":1,"title":["InterConFuzz: A Fuzzing-based Comprehensive NoC Verification Framework"],"prefix":"10.1109","author":[{"given":"Samit Shahnawaz","family":"Miftah","sequence":"first","affiliation":[{"name":"University of Texas at Dallas,Dept of Electrical and Computer Engineering,Dallas,Texas,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hyunmin","family":"Kim","sequence":"additional","affiliation":[{"name":"Technology Innovation Institute,Abu Dhabi,UAE"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kanad","family":"Basu","sequence":"additional","affiliation":[{"name":"University of Texas at Dallas,Dept of Electrical and Computer Engineering,Dallas,Texas,USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2007.54"},{"key":"ref2","article-title":"System-on-Chip Security","author":"Farahmandi","year":"2019"},{"key":"ref3","article-title":"Universal verification methodology","author":"Academy","year":"2024"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/IDT.2014.7038594"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ASICON.2015.7517189"},{"key":"ref6","article-title":"Libfuzzer-a library for coverage-guided fuzz testing.-llvm 12 documentation","year":"2024"},{"key":"ref7","article-title":"American fuzzy lop (afl) fuzzer","year":"2014"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3240765.3240842"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00103"},{"key":"ref10","first-page":"3237","article-title":"Fuzzing hardware like software","volume-title":"31st USENIX Security Symposium (USENIX Security 22)","author":"Trippel"},{"key":"ref11","first-page":"3219","article-title":"TheHuzz: Instruction fuzzing of processors using Golden-Reference models for finding Software-Exploitable vulnerabilities","volume-title":"31st USENIX Security Symposium (USENIX Security 22)","author":"Kande"},{"key":"ref12","article-title":"Verilator and systemperl","volume-title":"North American SystemC Users\u2019 Group, Design Automation Conference","author":"Snyder"},{"key":"ref13","article-title":"Xilinx vivado","year":"2024"},{"key":"ref14","article-title":"Opentitan documentation","year":"2024"},{"key":"ref15","article-title":"Systematic Software Testing, ser. Artech House ITS library","author":"Craig","year":"2002"},{"key":"ref16","article-title":"Fuzzing: brute force vulnerability discovery","author":"Sutton","year":"2007"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3512345"},{"key":"ref18","article-title":"Fuzzing for software security testing and quality assurance","author":"Takanen","year":"2018"},{"key":"ref19","article-title":"OSS-Fuzz-google\u2019s continuous fuzzing service for open source software","volume-title":"Proceedings of the 26th USENIX Security Symposium","author":"Serebryany"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/SECON.2013.6567420"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3372297.3423340"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978428"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-25460-4_21"},{"key":"ref26","article-title":"AFL++: Combining incremental steps of fuzzing research","volume-title":"14th USENIX Workshop on Offensive Technologies (WOOT 20). USENIX Association","author":"Fioraldi"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/3182657"},{"key":"ref29","first-page":"209","article-title":"Klee: unassisted and automatic generation of highcoverage tests for complex systems programs","volume":"8","author":"Cadar","year":"2008","journal-title":"OSDI"},{"key":"ref30","article-title":"Strategies to maximize reusability of uvm test scenarios in soc verification","author":"Park"},{"key":"ref31","article-title":"Practical UVM: Step by Step with IEEE 1800.2. R R BOWKER LLC","author":"Vasudevan","year":"2020"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2593144"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2016.59"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2020.2977534"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/2897937.2898020"},{"key":"ref36","article-title":"Real-time detection and localization of dos attacks in noc based soc architectures","author":"Mishra","year":"2023"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/1109118.1109126"},{"key":"ref38","first-page":"1","article-title":"Lightweight mitigation of hardware trojan attacks in noc-based manycore computing","volume-title":"Proceedings of the 56th Annual Design Automation Conference 2019","author":"Raparti"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2019.23504"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2021.3066560"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/2024723.2000087"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/1993316.1993512"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/2775054.2694372"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/3623652.3623666"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/2694344.2694366"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2006.41"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2007.364684"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2022.3179307"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2024.3430195"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-16214-0_42"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref52","article-title":"Sifive tilelink specification","year":"2024"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/2954679.2872414"}],"event":{"name":"2025 62nd ACM\/IEEE Design Automation Conference (DAC)","location":"San Francisco, CA, USA","start":{"date-parts":[[2025,6,22]]},"end":{"date-parts":[[2025,6,25]]}},"container-title":["2025 62nd ACM\/IEEE Design Automation Conference (DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11132383\/11132091\/11133216.pdf?arnumber=11133216","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,16]],"date-time":"2025-09-16T05:22:42Z","timestamp":1758000162000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11133216\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,22]]},"references-count":51,"URL":"https:\/\/doi.org\/10.1109\/dac63849.2025.11133216","relation":{},"subject":[],"published":{"date-parts":[[2025,6,22]]}}}