{"id":"https://openalex.org/W7134966046","doi":"https://doi.org/10.1109/asp-dac66049.2026.11420457","title":"SCPrompt: Semantic Compression and Prompt-Guided LLM Reasoning for RTL Trojan Detection","display_name":"SCPrompt: Semantic Compression and Prompt-Guided LLM Reasoning for RTL Trojan Detection","publication_year":2026,"publication_date":"2026-01-19","ids":{"openalex":"https://openalex.org/W7134966046","doi":"https://doi.org/10.1109/asp-dac66049.2026.11420457"},"language":null,"primary_location":{"id":"doi:10.1109/asp-dac66049.2026.11420457","is_oa":false,"landing_page_url":"https://doi.org/10.1109/asp-dac66049.2026.11420457","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2026 31st Asia and South Pacific Design Automation Conference (ASP-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/A5128733408","display_name":"Jiaji He","orcid":null},"institutions":[{"id":"https://openalex.org/I162868743","display_name":"Tianjin University","ror":"https://ror.org/012tb2g32","country_code":"CN","type":"education","lineage":["https://openalex.org/I162868743"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Jiaji He","raw_affiliation_strings":["Tianjin University,Tianjin,China"],"affiliations":[{"raw_affiliation_string":"Tianjin University,Tianjin,China","institution_ids":["https://openalex.org/I162868743"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081276568","display_name":"J.E. Chen","orcid":"https://orcid.org/0009-0009-7543-3963"},"institutions":[{"id":"https://openalex.org/I162868743","display_name":"Tianjin University","ror":"https://ror.org/012tb2g32","country_code":"CN","type":"education","lineage":["https://openalex.org/I162868743"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiansheng Chen","raw_affiliation_strings":["Tianjin University,Tianjin,China"],"affiliations":[{"raw_affiliation_string":"Tianjin University,Tianjin,China","institution_ids":["https://openalex.org/I162868743"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062935892","display_name":"J. Zhao","orcid":"https://orcid.org/0000-0001-8365-7726"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Fei Zhao","raw_affiliation_strings":["Peking University,Beijing,China"],"affiliations":[{"raw_affiliation_string":"Peking University,Beijing,China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100633632","display_name":"Yue Wang","orcid":"https://orcid.org/0000-0003-0098-5359"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yaohua Wang","raw_affiliation_strings":["National University of Defense Technology,Hunan,China"],"affiliations":[{"raw_affiliation_string":"National University of Defense Technology,Hunan,China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5128773385","display_name":"Yongqiang Lyu","orcid":null},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yongqiang Lyu","raw_affiliation_strings":["Tsinghua University,Beijing,China"],"affiliations":[{"raw_affiliation_string":"Tsinghua University,Beijing,China","institution_ids":["https://openalex.org/I99065089"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5128733408"],"corresponding_institution_ids":["https://openalex.org/I162868743"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.52827467,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"910","last_page":"916"},"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.367900013923645,"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.367900013923645,"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/T11424","display_name":"Security and Verification in Computing","score":0.16599999368190765,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.10980000346899033,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/trojan","display_name":"Trojan","score":0.5188000202178955},{"id":"https://openalex.org/keywords/compression","display_name":"Compression (physics)","score":0.41659998893737793},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.40230000019073486},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.3901999890804291},{"id":"https://openalex.org/keywords/data-compression","display_name":"Data compression","score":0.336899995803833}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7346000075340271},{"id":"https://openalex.org/C174333608","wikidata":"https://www.wikidata.org/wiki/Q19635","display_name":"Trojan","level":2,"score":0.5188000202178955},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.42660000920295715},{"id":"https://openalex.org/C180016635","wikidata":"https://www.wikidata.org/wiki/Q2712821","display_name":"Compression (physics)","level":2,"score":0.41659998893737793},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.40230000019073486},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.3901999890804291},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.34369999170303345},{"id":"https://openalex.org/C78548338","wikidata":"https://www.wikidata.org/wiki/Q2493","display_name":"Data compression","level":2,"score":0.336899995803833},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.265500009059906},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.2401999980211258}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/asp-dac66049.2026.11420457","is_oa":false,"landing_page_url":"https://doi.org/10.1109/asp-dac66049.2026.11420457","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2026 31st Asia and South Pacific Design Automation Conference (ASP-DAC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320336025","display_name":"Science Challenge Project","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":3,"referenced_works":["https://openalex.org/W347636100","https://openalex.org/W2606854262","https://openalex.org/W4285291849"],"related_works":[],"abstract_inverted_index":{"The":[0],"increasing":[1],"scale":[2],"and":[3,36,64,80,115,146,170,190],"complexity":[4],"of":[5,48,67,139,174],"integrated":[6],"circuit":[7],"(IC)":[8],"designs":[9,156],"present":[10],"significant":[11],"challenges":[12],"to":[13,21,26,122,165,193],"hardware":[14,22,97,158,205],"security.":[15],"Hardware":[16],"Trojans":[17,159],"(HTs)-stealthy,":[18],"malicious":[19],"alterations":[20],"logic-are":[23],"especially":[24],"difficult":[25],"detect":[27],"at":[28],"the":[29,46,85,187],"register-transfer":[30],"level":[31],"(RTL),":[32],"where":[33],"both":[34,144],"structural":[35],"semantic":[37,69],"understanding":[38],"are":[39],"essential.":[40],"While":[41],"recent":[42],"advances":[43],"have":[44],"explored":[45],"use":[47],"large":[49],"language":[50,200],"models":[51],"(LLMs)":[52],"for":[53,84,96,203],"RTL":[54,89,102,155,195],"analysis,":[55],"their":[56],"performance":[57],"is":[58],"often":[59],"constrained":[60],"by":[61,104],"token":[62],"limits":[63],"a":[65,78,150],"lack":[66],"targeted":[68],"abstraction.":[70],"To":[71],"overcome":[72],"these":[73],"limitations,":[74],"we":[75],"propose":[76],"SCPrompt,":[77],"novel":[79],"extensible":[81],"framework":[82,192],"that,":[83],"first":[86,188],"time,":[87],"integrates":[88],"instance-level":[90],"compression":[91],"with":[92,157,198],"prompt-guided":[93],"LLM":[94],"reasoning":[95,202],"Trojan":[98,125],"detection.":[99],"SCPrompt":[100,135,185],"compresses":[101],"inputs":[103],"over":[105],"90%,":[106],"significantly":[107],"reducing":[108],"prompt":[109],"length":[110],"while":[111],"retaining":[112],"critical":[113],"control":[114],"data":[116],"flow":[117],"semantics.":[118],"This":[119],"enables":[120],"LLMs":[121],"perform":[123],"accurate":[124],"analysis":[126],"without":[127],"taskspecific":[128],"fine-tuning.":[129],"Unlike":[130],"prior":[131],"binary":[132],"classification":[133],"approaches,":[134],"supports":[136],"instance-grained":[137],"localization":[138],"suspicious":[140],"logic":[141],"components,":[142],"identifying":[143],"trigger":[145],"payload":[147],"modules":[148],"within":[149],"design.":[151],"Evaluated":[152],"on":[153],"51":[154],"inserted,":[160],"our":[161],"method":[162],"achieves":[163],"up":[164],"100%":[166],"precision,":[167],"90%":[168],"recall,":[169],"an":[171],"F1":[172],"score":[173],"94.74%,":[175],"demonstrating":[176],"strong":[177],"generalization":[178],"across":[179],"diverse":[180],"circuits.":[181],"These":[182],"results":[183],"validate":[184],"as":[186],"effective":[189],"scalable":[191],"unify":[194],"feature":[196],"engineering":[197],"general-purpose":[199],"model":[201],"advanced":[204],"security":[206],"analysis.":[207]},"counts_by_year":[],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2026-03-12T00:00:00"}