{"id":"https://openalex.org/W4414198769","doi":"https://doi.org/10.1109/dac63849.2025.11133216","title":"InterConFuzz: A Fuzzing-based Comprehensive NoC Verification Framework","display_name":"InterConFuzz: A Fuzzing-based Comprehensive NoC Verification Framework","publication_year":2025,"publication_date":"2025-06-22","ids":{"openalex":"https://openalex.org/W4414198769","doi":"https://doi.org/10.1109/dac63849.2025.11133216"},"language":"en","primary_location":{"id":"doi:10.1109/dac63849.2025.11133216","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dac63849.2025.11133216","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 62nd ACM/IEEE Design Automation Conference (DAC)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5094136755","display_name":"Samit Shahnawaz Miftah","orcid":"https://orcid.org/0009-0009-7533-376X"},"institutions":[{"id":"https://openalex.org/I162577319","display_name":"The University of Texas at Dallas","ror":"https://ror.org/049emcs32","country_code":"US","type":"education","lineage":["https://openalex.org/I162577319"]},{"id":"https://openalex.org/I87573096","display_name":"University of North Texas at Dallas","ror":"https://ror.org/01n51v443","country_code":"US","type":"education","lineage":["https://openalex.org/I87573096"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Samit Shahnawaz Miftah","raw_affiliation_strings":["University of Texas at Dallas,Dept of Electrical and Computer Engineering,Dallas,Texas,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Texas at Dallas,Dept of Electrical and Computer Engineering,Dallas,Texas,USA","institution_ids":["https://openalex.org/I87573096","https://openalex.org/I162577319"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029552683","display_name":"Hyunmin Kim","orcid":"https://orcid.org/0009-0008-1549-9277"},"institutions":[{"id":"https://openalex.org/I4210087059","display_name":"Technology Innovation Institute","ror":"https://ror.org/001kv2y39","country_code":"AE","type":"facility","lineage":["https://openalex.org/I4210087059"]}],"countries":["AE"],"is_corresponding":false,"raw_author_name":"Hyunmin Kim","raw_affiliation_strings":["Technology Innovation Institute,Abu Dhabi,UAE"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technology Innovation Institute,Abu Dhabi,UAE","institution_ids":["https://openalex.org/I4210087059"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066320524","display_name":"Kanad Basu","orcid":"https://orcid.org/0000-0002-6431-7512"},"institutions":[{"id":"https://openalex.org/I162577319","display_name":"The University of Texas at Dallas","ror":"https://ror.org/049emcs32","country_code":"US","type":"education","lineage":["https://openalex.org/I162577319"]},{"id":"https://openalex.org/I87573096","display_name":"University of North Texas at Dallas","ror":"https://ror.org/01n51v443","country_code":"US","type":"education","lineage":["https://openalex.org/I87573096"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kanad Basu","raw_affiliation_strings":["University of Texas at Dallas,Dept of Electrical and Computer Engineering,Dallas,Texas,USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Texas at Dallas,Dept of Electrical and Computer Engineering,Dallas,Texas,USA","institution_ids":["https://openalex.org/I87573096","https://openalex.org/I162577319"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.20706179,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"7"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10502","display_name":"Advanced Memory and Neural Computing","score":0.9914000034332275,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10502","display_name":"Advanced Memory and Neural Computing","score":0.9914000034332275,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11948","display_name":"Machine Learning in Materials Science","score":0.9308000206947327,"subfield":{"id":"https://openalex.org/subfields/2505","display_name":"Materials Chemistry"},"field":{"id":"https://openalex.org/fields/25","display_name":"Materials Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10472","display_name":"Semiconductor materials and devices","score":0.9229999780654907,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/fuzz-testing","display_name":"Fuzz testing","score":0.8605999946594238},{"id":"https://openalex.org/keywords/cover","display_name":"Cover (algebra)","score":0.5604000091552734},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.47450000047683716},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4724000096321106},{"id":"https://openalex.org/keywords/intelligent-verification","display_name":"Intelligent verification","score":0.40959998965263367},{"id":"https://openalex.org/keywords/software-verification","display_name":"Software verification","score":0.4016999900341034},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.3995000123977661}],"concepts":[{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.8605999946594238},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7524999976158142},{"id":"https://openalex.org/C2780428219","wikidata":"https://www.wikidata.org/wiki/Q16952335","display_name":"Cover (algebra)","level":2,"score":0.5604000091552734},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5343999862670898},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.47450000047683716},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4724000096321106},{"id":"https://openalex.org/C3406870","wikidata":"https://www.wikidata.org/wiki/Q6044160","display_name":"Intelligent verification","level":5,"score":0.40959998965263367},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.4016999900341034},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.3995000123977661},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.38109999895095825},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.3747999966144562},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.33550000190734863},{"id":"https://openalex.org/C2778755073","wikidata":"https://www.wikidata.org/wiki/Q10858537","display_name":"Scale (ratio)","level":2,"score":0.3111000061035156},{"id":"https://openalex.org/C187250869","wikidata":"https://www.wikidata.org/wiki/Q5754573","display_name":"High-level verification","level":5,"score":0.3046000003814697},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3010999858379364},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.2980000078678131},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2858000099658966},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.275299996137619},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.27320000529289246},{"id":"https://openalex.org/C28180684","wikidata":"https://www.wikidata.org/wiki/Q4080983","display_name":"Memory safety","level":3,"score":0.2515000104904175}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/dac63849.2025.11133216","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dac63849.2025.11133216","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 62nd ACM/IEEE Design Automation Conference (DAC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W347636100","https://openalex.org/W1480909796","https://openalex.org/W2013010896","https://openalex.org/W2017747296","https://openalex.org/W2020584063","https://openalex.org/W2036620903","https://openalex.org/W2085447084","https://openalex.org/W2101512909","https://openalex.org/W2113995939","https://openalex.org/W2150619336","https://openalex.org/W2403062295","https://openalex.org/W2478975237","https://openalex.org/W2498319932","https://openalex.org/W2535617737","https://openalex.org/W2535974818","https://openalex.org/W2899727632","https://openalex.org/W2947265301","https://openalex.org/W2963723316","https://openalex.org/W3009202315","https://openalex.org/W3106959425","https://openalex.org/W3148411940","https://openalex.org/W3154674654","https://openalex.org/W3165729797","https://openalex.org/W4210660460","https://openalex.org/W4233649229","https://openalex.org/W4237727350","https://openalex.org/W4247198503","https://openalex.org/W4285210719","https://openalex.org/W4321230810","https://openalex.org/W4388188464","https://openalex.org/W4400727493"],"related_works":[],"abstract_inverted_index":{"Security":[0],"verification":[1,29],"of":[2,63],"Network-on-Chip":[3],"(NoC)":[4],"systems":[5],"is":[6],"essential":[7],"due":[8],"to":[9,19,27,88],"their":[10],"intricate":[11],"and":[12,30,73,78,96],"high-concurrency":[13],"structures.":[14],"Traditional":[15],"methods":[16],"often":[17],"fail":[18],"cover":[20],"all":[21],"scenarios":[22],"or":[23],"scale":[24],"effectively,":[25],"leading":[26],"prolonged":[28],"overlooked":[31],"vulnerabilities.":[32],"Our":[33],"proposed":[34],"solution,":[35],"InterConFuzz,":[36],"a":[37],"hybrid":[38],"hardware":[39],"fuzzing":[40,91],"technique,":[41],"uses":[42],"symbolic":[43],"execution":[44],"for":[45],"extensive":[46],"coverage.":[47],"Developed":[48],"on":[49],"Universal":[50],"Verification":[51],"Methodology":[52],"(UVM),":[53],"InterConFuzz":[54,82],"discovered":[55],"five":[56],"security":[57],"flaws":[58],"in":[59],"the":[60,64],"NoC":[61,90],"architecture":[62],"OpenTitan":[65],"SoC-surpassing":[66],"existing":[67,89],"techniques":[68],"by":[69,76],"three-while":[70],"reducing":[71],"memory":[72],"computational":[74],"needs":[75],"24.4%":[77],"29.5%,":[79],"respectively.":[80],"Furthermore,":[81],"furnished":[83],"comparable":[84],"functional":[85],"coverage":[86],"compared":[87],"approaches,":[92],"proving":[93],"its":[94],"efficiency":[95],"robustness.":[97]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}