{"id":"https://openalex.org/W4399487276","doi":"https://doi.org/10.1145/3649476.3658705","title":"On Hardware Trojan Detection using Oracle-Guided Circuit Learning","display_name":"On Hardware Trojan Detection using Oracle-Guided Circuit Learning","publication_year":2024,"publication_date":"2024-06-10","ids":{"openalex":"https://openalex.org/W4399487276","doi":"https://doi.org/10.1145/3649476.3658705"},"language":"en","primary_location":{"id":"doi:10.1145/3649476.3658705","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3649476.3658705","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Great Lakes Symposium on VLSI 2024","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3649476.3658705","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5051632203","display_name":"Rajesh Kumar Datta","orcid":"https://orcid.org/0000-0001-8386-352X"},"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"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rajesh Kumar Datta","raw_affiliation_strings":["Electrical and Computer Engineering, University of Texas at Dallas, USA"],"raw_orcid":"https://orcid.org/0000-0001-8386-352X","affiliations":[{"raw_affiliation_string":"Electrical and Computer Engineering, University of Texas at Dallas, USA","institution_ids":["https://openalex.org/I162577319"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081923683","display_name":"Guangwei Zhao","orcid":"https://orcid.org/0009-0001-3196-4326"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Guangwei Zhao","raw_affiliation_strings":["University of Texas at Dallas, USA"],"raw_orcid":"https://orcid.org/0009-0001-3196-4326","affiliations":[{"raw_affiliation_string":"University of Texas at Dallas, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078844263","display_name":"Dipali Jain","orcid":"https://orcid.org/0009-0004-4727-8058"},"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"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dipali Jain","raw_affiliation_strings":["Electrical and Computer Engineering, University of Texas at Dallas, USA"],"raw_orcid":"https://orcid.org/0009-0004-4727-8058","affiliations":[{"raw_affiliation_string":"Electrical and Computer Engineering, University of Texas at Dallas, USA","institution_ids":["https://openalex.org/I162577319"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049217675","display_name":"Kaveh Shamsi","orcid":"https://orcid.org/0000-0002-9952-4597"},"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"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kaveh Shamsi","raw_affiliation_strings":["Electrical and Computer Engineering, University of Texas at Dallas, USA"],"raw_orcid":"https://orcid.org/0000-0002-9952-4597","affiliations":[{"raw_affiliation_string":"Electrical and Computer Engineering, University of Texas at Dallas, USA","institution_ids":["https://openalex.org/I162577319"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.9028,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.66890329,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"198","last_page":"203"},"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.9998999834060669,"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.9998999834060669,"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.9961000084877014,"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/T11601","display_name":"Neuroscience and Neural Engineering","score":0.9710000157356262,"subfield":{"id":"https://openalex.org/subfields/2804","display_name":"Cellular and Molecular Neuroscience"},"field":{"id":"https://openalex.org/fields/28","display_name":"Neuroscience"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7364237308502197},{"id":"https://openalex.org/keywords/oracle","display_name":"Oracle","score":0.7105708122253418},{"id":"https://openalex.org/keywords/trojan","display_name":"Trojan","score":0.6865471601486206},{"id":"https://openalex.org/keywords/hardware-trojan","display_name":"Hardware Trojan","score":0.6712256073951721},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5610276460647583},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.463499516248703},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.2351490557193756},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.18396583199501038}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7364237308502197},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.7105708122253418},{"id":"https://openalex.org/C174333608","wikidata":"https://www.wikidata.org/wiki/Q19635","display_name":"Trojan","level":2,"score":0.6865471601486206},{"id":"https://openalex.org/C2780873074","wikidata":"https://www.wikidata.org/wiki/Q5656397","display_name":"Hardware Trojan","level":3,"score":0.6712256073951721},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5610276460647583},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.463499516248703},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.2351490557193756},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.18396583199501038}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3649476.3658705","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3649476.3658705","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Great Lakes Symposium on VLSI 2024","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3649476.3658705","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3649476.3658705","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Great Lakes Symposium on VLSI 2024","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8865725678","display_name":null,"funder_award_id":"2155189","funder_id":"https://openalex.org/F4320323817","funder_display_name":"Universitas Brawijaya"}],"funders":[{"id":"https://openalex.org/F4320323817","display_name":"Universitas Brawijaya","ror":"https://ror.org/01wk3d929"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1524250393","https://openalex.org/W2001441503","https://openalex.org/W2052353102","https://openalex.org/W2118622620","https://openalex.org/W2161998562","https://openalex.org/W2631809927","https://openalex.org/W2766393343","https://openalex.org/W2794770547","https://openalex.org/W2911617582","https://openalex.org/W3123509436","https://openalex.org/W3138459719","https://openalex.org/W4200290357","https://openalex.org/W4290648705"],"related_works":["https://openalex.org/W4385434494","https://openalex.org/W3159333627","https://openalex.org/W3004467197","https://openalex.org/W2091750459","https://openalex.org/W2999465529","https://openalex.org/W4328053173","https://openalex.org/W1500594134","https://openalex.org/W3084939900","https://openalex.org/W2382172865","https://openalex.org/W1526642037"],"abstract_inverted_index":{"Hardware":[0],"Trojans,":[1],"i.e.":[2],"malicious":[3],"circuitry":[4],"inserted":[5],"into":[6],"a":[7,16,43,86,159],"design":[8],"by":[9,115],"an":[10],"untrusted":[11],"foundry":[12],"or":[13,57,112],"designer,":[14],"pose":[15],"threat":[17],"to":[18,46,83,102,110,166],"the":[19,30,36,50,66,168],"fabless":[20],"semiconductor":[21],"industry.":[22],"The":[23,119],"detection":[24,78,114],"of":[25,32,52,68,161,172],"hardware":[26],"Trojans":[27,104],"has":[28,60],"been":[29,62],"subject":[31],"numerous":[33],"studies":[34],"over":[35],"years.":[37],"In":[38],"this":[39,123,139],"paper,":[40],"we":[41,141],"discuss":[42],"novel":[44,144],"approach":[45,124],"Trojan":[47,77],"detection:":[48],"using":[49,116,131],"framework":[51,91],"oracle-guided":[53],"circuit":[54,69,136],"learning":[55],"(OGCL)":[56],"deobfuscation,":[58],"which":[59],"traditionally":[61],"used":[63,101],"for":[64],"assessing":[65],"security":[67],"obfuscation":[70],"schemes.":[71],"We":[72,157],"show":[73],"how":[74],"arbitrary":[75],"functional":[76],"can":[79,98,106],"polynomially":[80],"be":[81,100,107],"reduced":[82],"OGCL,":[84],"yielding":[85],"more":[87],"formal":[88],"and":[89,105,151,170],"versatile":[90],"than":[92],"traditional":[93],"heuristic":[94],"techniques.":[95],"This":[96],"formulation":[97],"also":[99],"locate":[103],"easily":[108],"extended":[109],"side-channel":[111],"hybrid":[113],"non-functional":[117],"OGCL.":[118],"main":[120],"challenge":[121],"with":[122],"is":[125],"its":[126],"worst-case-exponential":[127],"space":[128],"complexity":[129],"when":[130],"baseline":[132],"Boolean":[133,153],"satisfiability":[134],"(SAT)-based":[135],"deobfuscation.":[137],"To":[138],"end,":[140],"propose":[142],"some":[143],"techniques":[145],"based":[146],"on":[147,163],"AllSAT,":[148],"cube":[149],"generalization,":[150],"quantified":[152],"Formula":[154],"(QBF)":[155],"solving.":[156],"present":[158],"set":[160],"experiments":[162],"benchmark":[164],"circuits":[165],"showcase":[167],"validity":[169],"performance":[171],"our":[173],"framework.":[174]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}