{"id":"https://openalex.org/W4415444125","doi":"https://doi.org/10.1109/tcad.2025.3624082","title":"Hardware Security Meets Incomplete Netlists: Insights Into Trojan Detection via Structural Reasoning","display_name":"Hardware Security Meets Incomplete Netlists: Insights Into Trojan Detection via Structural Reasoning","publication_year":2025,"publication_date":"2025-10-22","ids":{"openalex":"https://openalex.org/W4415444125","doi":"https://doi.org/10.1109/tcad.2025.3624082"},"language":null,"primary_location":{"id":"doi:10.1109/tcad.2025.3624082","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2025.3624082","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-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/A5061437181","display_name":"Decheng Qiu","orcid":"https://orcid.org/0009-0008-5822-0205"},"institutions":[{"id":"https://openalex.org/I80947539","display_name":"Fuzhou University","ror":"https://ror.org/011xvna82","country_code":"CN","type":"education","lineage":["https://openalex.org/I80947539"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Decheng Qiu","raw_affiliation_strings":["College of Computer and Data Science, Fuzhou University, Fuzhou, Fujian, China","College of Computer and Data Science, Fuzhou University, Xueyuan Road, Fuzhou, Fujian, China"],"raw_orcid":"https://orcid.org/0009-0008-5822-0205","affiliations":[{"raw_affiliation_string":"College of Computer and Data Science, Fuzhou University, Fuzhou, Fujian, China","institution_ids":["https://openalex.org/I80947539"]},{"raw_affiliation_string":"College of Computer and Data Science, Fuzhou University, Xueyuan Road, Fuzhou, Fujian, China","institution_ids":["https://openalex.org/I80947539"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067332736","display_name":"Chen Dong","orcid":"https://orcid.org/0000-0001-7546-3403"},"institutions":[{"id":"https://openalex.org/I80947539","display_name":"Fuzhou University","ror":"https://ror.org/011xvna82","country_code":"CN","type":"education","lineage":["https://openalex.org/I80947539"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chen Dong","raw_affiliation_strings":["College of Computer and Data Science, Fuzhou University, Fuzhou, Fujian, China","College of Computer and Data Science, Fuzhou University, Xueyuan Road, Fuzhou, Fujian, China"],"raw_orcid":"https://orcid.org/0000-0001-7546-3403","affiliations":[{"raw_affiliation_string":"College of Computer and Data Science, Fuzhou University, Fuzhou, Fujian, China","institution_ids":["https://openalex.org/I80947539"]},{"raw_affiliation_string":"College of Computer and Data Science, Fuzhou University, Xueyuan Road, Fuzhou, Fujian, China","institution_ids":["https://openalex.org/I80947539"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077003809","display_name":"Bolun Li","orcid":null},"institutions":[{"id":"https://openalex.org/I80947539","display_name":"Fuzhou University","ror":"https://ror.org/011xvna82","country_code":"CN","type":"education","lineage":["https://openalex.org/I80947539"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Bolun Li","raw_affiliation_strings":["College of Computer and Data Science, Fuzhou University, Fuzhou, Fujian, China","College of Computer and Data Science, Fuzhou University, Xueyuan Road, Fuzhou, Fujian, China"],"raw_orcid":"https://orcid.org/0009-0007-3621-3189","affiliations":[{"raw_affiliation_string":"College of Computer and Data Science, Fuzhou University, Fuzhou, Fujian, China","institution_ids":["https://openalex.org/I80947539"]},{"raw_affiliation_string":"College of Computer and Data Science, Fuzhou University, Xueyuan Road, Fuzhou, Fujian, China","institution_ids":["https://openalex.org/I80947539"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101538376","display_name":"Mingzhi Chen","orcid":"https://orcid.org/0000-0003-3240-909X"},"institutions":[{"id":"https://openalex.org/I80947539","display_name":"Fuzhou University","ror":"https://ror.org/011xvna82","country_code":"CN","type":"education","lineage":["https://openalex.org/I80947539"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Mingzhi Chen","raw_affiliation_strings":["College of Computer and Data Science, Fuzhou University, Fuzhou, Fujian, China","College of Computer and Data Science, Fuzhou University, Xueyuan Road, Fuzhou, Fujian, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer and Data Science, Fuzhou University, Fuzhou, Fujian, China","institution_ids":["https://openalex.org/I80947539"]},{"raw_affiliation_string":"College of Computer and Data Science, Fuzhou University, Xueyuan Road, Fuzhou, Fujian, China","institution_ids":["https://openalex.org/I80947539"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100397670","display_name":"Yang Yang","orcid":"https://orcid.org/0000-0002-7891-2670"},"institutions":[{"id":"https://openalex.org/I79891267","display_name":"Singapore Management University","ror":"https://ror.org/050qmg959","country_code":"SG","type":"education","lineage":["https://openalex.org/I79891267"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Yang Yang","raw_affiliation_strings":["School of Computing and Information Systems, Singapore Management University, Bras Basah, Singapore","School of Computing and Information Systems, Singapore Management University, Singapore"],"raw_orcid":"https://orcid.org/0000-0002-7891-2670","affiliations":[{"raw_affiliation_string":"School of Computing and Information Systems, Singapore Management University, Bras Basah, Singapore","institution_ids":["https://openalex.org/I79891267"]},{"raw_affiliation_string":"School of Computing and Information Systems, Singapore Management University, Singapore","institution_ids":["https://openalex.org/I79891267"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"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.29247666,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"45","issue":"6","first_page":"2753","last_page":"2766"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9850000143051147,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9668999910354614,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/netlist","display_name":"Netlist","score":0.9772999882698059},{"id":"https://openalex.org/keywords/obfuscation","display_name":"Obfuscation","score":0.5444999933242798},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.492900013923645},{"id":"https://openalex.org/keywords/reverse-engineering","display_name":"Reverse engineering","score":0.4480000138282776},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.4171000123023987},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.41339999437332153},{"id":"https://openalex.org/keywords/hardware-trojan","display_name":"Hardware Trojan","score":0.3774000108242035},{"id":"https://openalex.org/keywords/electronic-design-automation","display_name":"Electronic design automation","score":0.3668000102043152},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.35409998893737793}],"concepts":[{"id":"https://openalex.org/C177650935","wikidata":"https://www.wikidata.org/wiki/Q1760303","display_name":"Netlist","level":2,"score":0.9772999882698059},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7484999895095825},{"id":"https://openalex.org/C40305131","wikidata":"https://www.wikidata.org/wiki/Q2616305","display_name":"Obfuscation","level":2,"score":0.5444999933242798},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.492900013923645},{"id":"https://openalex.org/C207850805","wikidata":"https://www.wikidata.org/wiki/Q269608","display_name":"Reverse engineering","level":2,"score":0.4480000138282776},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.4171000123023987},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.41339999437332153},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.39579999446868896},{"id":"https://openalex.org/C2780873074","wikidata":"https://www.wikidata.org/wiki/Q5656397","display_name":"Hardware Trojan","level":3,"score":0.3774000108242035},{"id":"https://openalex.org/C64260653","wikidata":"https://www.wikidata.org/wiki/Q1194864","display_name":"Electronic design automation","level":2,"score":0.3668000102043152},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3562000095844269},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.35409998893737793},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.34860000014305115},{"id":"https://openalex.org/C34972735","wikidata":"https://www.wikidata.org/wiki/Q2920267","display_name":"Engineering design process","level":2,"score":0.3449000120162964},{"id":"https://openalex.org/C39217717","wikidata":"https://www.wikidata.org/wiki/Q1432354","display_name":"Hardware security module","level":3,"score":0.34380000829696655},{"id":"https://openalex.org/C2765594","wikidata":"https://www.wikidata.org/wiki/Q2624187","display_name":"Integrated circuit layout","level":3,"score":0.34150001406669617},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.32249999046325684},{"id":"https://openalex.org/C174333608","wikidata":"https://www.wikidata.org/wiki/Q19635","display_name":"Trojan","level":2,"score":0.31929999589920044},{"id":"https://openalex.org/C530198007","wikidata":"https://www.wikidata.org/wiki/Q80831","display_name":"Integrated circuit","level":2,"score":0.3109000027179718},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3100999891757965},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.29829999804496765},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.2946999967098236},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.2939999997615814},{"id":"https://openalex.org/C190560348","wikidata":"https://www.wikidata.org/wiki/Q3245116","display_name":"Circuit design","level":2,"score":0.2881999909877777},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2775999903678894},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.2732999920845032},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.27160000801086426},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.2671000063419342},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.26170000433921814},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.2605000138282776}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcad.2025.3624082","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2025.3624082","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1037667811","display_name":null,"funder_award_id":"2024H0009","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G1983105988","display_name":null,"funder_award_id":"2023J02008","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2447469041","display_name":null,"funder_award_id":"62372110","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4700371085","display_name":"\u7535\u5b50\u533b\u7597\u7cfb\u7edf\u4e2d\u5916\u5305\u5b58\u50a8\u5b89\u5168\u68c0\u7d22\u548c\u9690\u79c1\u8bca\u7597\u5173\u952e\u6280\u672f\u7814\u7a76","funder_award_id":"61872091","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"In":[0,79,218],"order":[1],"to":[2,106,111,119,151,188,226],"better":[3],"utilize":[4],"the":[5,13,56,135,149,153,178,199,208,219,237,243,255],"achievements":[6],"of":[7,53,58,100,155,239],"various":[8],"countries":[9],"and":[10,18,46,97,131,161,171,176,193,211,232,236,263],"lower":[11],"costs,":[12],"integrated":[14],"circuit":[15,174,195],"(IC)":[16],"design":[17,42],"manufacturing":[19],"process":[20],"is":[21,148,246],"based":[22],"on":[23,31,198,242],"a":[24,76,108,127,214],"global":[25],"supply":[26],"chain":[27],"model,":[28],"highly":[29],"relying":[30],"untrusted":[32],"third":[33],"parties,":[34],"such":[35,71],"as":[36,72],"intellectual":[37],"property":[38],"(IP)":[39],"cores,":[40],"electronic":[41],"automation":[43],"(EDA)":[44],"tools,":[45],"employees.":[47],"This":[48,146],"globalized":[49],"model":[50],"creates":[51],"lots":[52],"opportunities":[54],"for":[55,134,181],"prosperity":[57],"hardware":[59],"Trojans":[60],"(HTs).":[61],"However,":[62],"existing":[63],"countermeasures":[64],"were":[65],"all":[66],"accomplished":[67],"under":[68,248],"some":[69],"assumptions,":[70],"finding":[73],"HTs":[74,114,121,157,182],"in":[75],"complete":[77,109],"netlist.":[78],"practical":[80,132],"industry":[81],"scenarios,":[82],"netlists":[83,124,228,245,262],"may":[84],"be":[85,126],"obtained":[86],"through":[87],"reverse":[88],"engineering,":[89],"which":[90,169],"has":[91],"inherent":[92],"limitations,":[93],"including":[94],"imaging":[95],"resolution":[96],"inaccurate":[98],"recognition":[99],"interconnections,":[101],"making":[102],"it":[103],"almost":[104],"impossible":[105],"obtain":[107],"netlist":[110,191,221],"detect":[112],"whether":[113],"exist.":[115],"Evidently,":[116],"studying":[117],"how":[118],"find":[120],"from":[122,207],"incomplete":[123,159,173,190,261],"should":[125],"reasonable,":[128],"notable,":[129],"critical":[130],"issue":[133],"IC":[136],"security":[137],"research":[138],"community.":[139],"Addressing":[140],"this":[141],"problem":[142,154],"entails":[143],"substantial":[144],"challenges.":[145],"paper":[147],"first":[150],"propose":[152],"detecting":[156],"with":[158,229],"netlists,":[160],"also":[162],"presents":[163],"an":[164],"effective":[165],"approach":[166],"named":[167],"HTINS,":[168],"infers":[170],"completes":[172],"structures":[175],"utilizes":[177],"completed":[179,209,244],"information":[180],"detection.":[183],"The":[184],"method":[185,257],"leverages":[186],"GraphVAE":[187],"reconstruct":[189,260],"components":[192,222],"performs":[194],"feasibility":[196],"validation":[197],"reconstructed":[200],"components.":[201],"Local":[202],"features":[203],"are":[204,223],"then":[205],"extracted":[206],"circuits":[210],"classified":[212],"via":[213],"graph":[215],"neural":[216],"network.":[217],"experiments,":[220],"randomly":[224],"removed":[225],"set":[227],"1%,":[230],"5%,":[231],"10%":[233],"missing":[234],"ratios,":[235],"performance":[238],"HT":[240,266],"detection":[241,267],"evaluated":[247],"these":[249],"conditions.":[250],"Experimental":[251],"results":[252],"demonstrate":[253],"that":[254],"proposed":[256],"can":[258],"effectively":[259],"significantly":[264],"improve":[265],"performance.":[268]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-24T00:00:00"}