{"id":"https://openalex.org/W4412082540","doi":"https://doi.org/10.1109/host64725.2025.11050040","title":"Evaluating the Effectiveness of Hardware Trojan Detection Approaches at RTL","display_name":"Evaluating the Effectiveness of Hardware Trojan Detection Approaches at RTL","publication_year":2025,"publication_date":"2025-05-05","ids":{"openalex":"https://openalex.org/W4412082540","doi":"https://doi.org/10.1109/host64725.2025.11050040"},"language":"en","primary_location":{"id":"doi:10.1109/host64725.2025.11050040","is_oa":false,"landing_page_url":"https://doi.org/10.1109/host64725.2025.11050040","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE International Symposium on Hardware Oriented Security and Trust (HOST)","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/A5018334369","display_name":"Ruochen Dai","orcid":"https://orcid.org/0000-0001-8393-0198"},"institutions":[{"id":"https://openalex.org/I33213144","display_name":"University of Florida","ror":"https://ror.org/02y3ad647","country_code":"US","type":"education","lineage":["https://openalex.org/I33213144"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Ruochen Dai","raw_affiliation_strings":["University of Florida"],"affiliations":[{"raw_affiliation_string":"University of Florida","institution_ids":["https://openalex.org/I33213144"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073501003","display_name":"Zhaoxiang Liu","orcid":"https://orcid.org/0009-0008-4783-1481"},"institutions":[{"id":"https://openalex.org/I189590672","display_name":"Kansas State University","ror":"https://ror.org/05p1j8758","country_code":"US","type":"education","lineage":["https://openalex.org/I189590672"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zhaoxiang Liu","raw_affiliation_strings":["Kansas State University"],"affiliations":[{"raw_affiliation_string":"Kansas State University","institution_ids":["https://openalex.org/I189590672"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014413722","display_name":"Orlando Arias","orcid":"https://orcid.org/0009-0002-3948-5773"},"institutions":[{"id":"https://openalex.org/I133738476","display_name":"University of Massachusetts Lowell","ror":"https://ror.org/03hamhx47","country_code":"US","type":"education","lineage":["https://openalex.org/I133738476"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Orlando Arias","raw_affiliation_strings":["University of Massachusetts Lowell"],"affiliations":[{"raw_affiliation_string":"University of Massachusetts Lowell","institution_ids":["https://openalex.org/I133738476"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011794280","display_name":"Xiaolong Guo","orcid":"https://orcid.org/0000-0001-9896-9407"},"institutions":[{"id":"https://openalex.org/I189590672","display_name":"Kansas State University","ror":"https://ror.org/05p1j8758","country_code":"US","type":"education","lineage":["https://openalex.org/I189590672"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xiaolong Guo","raw_affiliation_strings":["Kansas State University"],"affiliations":[{"raw_affiliation_string":"Kansas State University","institution_ids":["https://openalex.org/I189590672"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056009068","display_name":"Tuba Yavuz","orcid":"https://orcid.org/0000-0002-5542-2142"},"institutions":[{"id":"https://openalex.org/I33213144","display_name":"University of Florida","ror":"https://ror.org/02y3ad647","country_code":"US","type":"education","lineage":["https://openalex.org/I33213144"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tuba Yavuz","raw_affiliation_strings":["University of Florida"],"affiliations":[{"raw_affiliation_string":"University of Florida","institution_ids":["https://openalex.org/I33213144"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5018334369"],"corresponding_institution_ids":["https://openalex.org/I33213144"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.20896084,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"250","last_page":"260"},"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.9994999766349792,"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.9994999766349792,"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/T14117","display_name":"Integrated Circuits and Semiconductor Failure Analysis","score":0.9699000120162964,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9667999744415283,"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.8070160150527954},{"id":"https://openalex.org/keywords/hardware-trojan","display_name":"Hardware Trojan","score":0.7879141569137573},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7184971570968628},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5545804500579834},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.3435634672641754},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.3412908613681793},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.2167797088623047}],"concepts":[{"id":"https://openalex.org/C174333608","wikidata":"https://www.wikidata.org/wiki/Q19635","display_name":"Trojan","level":2,"score":0.8070160150527954},{"id":"https://openalex.org/C2780873074","wikidata":"https://www.wikidata.org/wiki/Q5656397","display_name":"Hardware Trojan","level":3,"score":0.7879141569137573},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7184971570968628},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5545804500579834},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.3435634672641754},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3412908613681793},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.2167797088623047}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/host64725.2025.11050040","is_oa":false,"landing_page_url":"https://doi.org/10.1109/host64725.2025.11050040","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE International Symposium on Hardware Oriented Security and Trust (HOST)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4978913981","display_name":null,"funder_award_id":"2019283,2312982,2019310","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W1917325995","https://openalex.org/W1992787530","https://openalex.org/W2002990987","https://openalex.org/W2021949528","https://openalex.org/W2112173236","https://openalex.org/W2121894892","https://openalex.org/W2122509673","https://openalex.org/W2151668694","https://openalex.org/W2207233201","https://openalex.org/W2782017703","https://openalex.org/W2798312912","https://openalex.org/W2805079742","https://openalex.org/W2973295486","https://openalex.org/W3162813350","https://openalex.org/W3214859170","https://openalex.org/W4221164739","https://openalex.org/W4254195023","https://openalex.org/W4281866531","https://openalex.org/W4292862463","https://openalex.org/W4391022049","https://openalex.org/W4399487430","https://openalex.org/W4399487887","https://openalex.org/W6674983094","https://openalex.org/W6790848453","https://openalex.org/W6851438272","https://openalex.org/W6861770047"],"related_works":["https://openalex.org/W4385434494","https://openalex.org/W4391584122","https://openalex.org/W3159333627","https://openalex.org/W3004467197","https://openalex.org/W1500594134","https://openalex.org/W2091750459","https://openalex.org/W4328053173","https://openalex.org/W3084939900","https://openalex.org/W2382172865","https://openalex.org/W4321062229"],"abstract_inverted_index":{"The":[0],"rapid":[1],"advancements":[2],"in":[3,190],"semiconductor":[4],"technol-ogy":[5],"have":[6,210],"fostered":[7],"unprecedented":[8],"innovation":[9],"while":[10],"simultane-ously":[11],"increasing":[12],"the":[13,49,110,117,158,169,205,219],"risk":[14],"of":[15,51,68,101,114,116,204],"hardware":[16,53,118,171],"Trojans":[17,189],"(HTs)-malicious":[18],"alterations":[19],"introduced":[20],"into":[21],"integrated":[22],"circuits":[23],"(ICs)":[24],"during":[25],"de-sign":[26],"or":[27,157],"production.":[28],"Despite":[29],"extensive":[30],"research":[31],"on":[32,213],"HT":[33,78,147,179],"detection":[34,215],"techniques,":[35,170],"their":[36],"practical":[37],"implementation":[38],"remains":[39],"criti-cal":[40],"for":[41,64,133,145],"developing":[42],"robust":[43],"defenses.":[44],"This":[45,96],"paper":[46,97],"quantitatively":[47],"evaluates":[48],"effectiveness":[50],"three":[52],"design":[54],"analysis":[55],"techniques-bounded":[56],"model":[57,138],"checking,":[58],"symbolic":[59],"execution,":[60],"and":[61,73,92,103,112],"fuzzing":[62,172,197],"-":[63],"detecting":[65],"four":[66],"types":[67],"HTs:":[69],"combinational,":[70],"sequential,":[71],"input-based,":[72],"timing-based.":[74],"We":[75,163],"generate":[76],"a":[77,82,90,99,191],"benchmark":[79],"set":[80],"using":[81],"dynamic":[83],"Trojan":[84,105,214],"insertion":[85],"framework,":[86],"DTjRTL,":[87],"which":[88],"facilitates":[89],"systematic":[91],"comprehensive":[93],"benchmarking":[94],"process.":[95],"uses":[98],"variety":[100],"structural":[102,220],"semantic":[104],"complexity":[106],"metrics":[107,209],"to":[108,154,174,178,218],"evaluate":[109],"strengths":[111],"weaknesses":[113],"each":[115],"analyses":[119],"techniques.":[120],"Our":[121],"findings":[122],"show":[123],"that":[124,130,166],"there":[125],"is":[126,131],"no":[127],"single":[128],"technique":[129],"effective":[132],"all":[134,168],"HTs.":[135],"Although,":[136],"bounded":[137],"checking":[139],"based":[140,184],"techniques":[141,185],"outperform":[142],"other":[143],"approaches":[144],"most":[146],"types,":[148],"they":[149],"may":[150],"be":[151,175],"limited":[152],"due":[153],"RTL":[155],"features":[156],"supported":[159],"property":[160],"specification":[161],"syntax.":[162],"also":[164],"find":[165],"among":[167],"seems":[173],"more":[176,211],"sensitive":[177],"trigger":[180],"complexity.":[181],"Symbolic":[182],"execution":[183],"handle":[186],"deep":[187],"Timing-based":[188],"scalable":[192],"way":[193],"when":[194],"guided":[195],"by":[196],"as":[198],"an":[199],"oracle":[200],"towards":[201],"suspicious":[202],"parts":[203],"design.":[206],"Additionally,":[207],"signal-dependent":[208],"impact":[212],"difficulty":[216],"compared":[217],"metrics.":[221]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}