{"id":"https://openalex.org/W2293528060","doi":"https://doi.org/10.1109/aspdac.2016.7428081","title":"To Detect, Locate, and Mask Hardware Trojans in digital circuits by reverse engineering and functional ECO","display_name":"To Detect, Locate, and Mask Hardware Trojans in digital circuits by reverse engineering and functional ECO","publication_year":2016,"publication_date":"2016-01-01","ids":{"openalex":"https://openalex.org/W2293528060","doi":"https://doi.org/10.1109/aspdac.2016.7428081","mag":"2293528060"},"language":"en","primary_location":{"id":"doi:10.1109/aspdac.2016.7428081","is_oa":false,"landing_page_url":"https://doi.org/10.1109/aspdac.2016.7428081","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 21st Asia and South Pacific Design Automation Conference (ASP-DAC)","raw_type":"proceedings-article"},"type":"conference-paper","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":null,"display_name":"Xing Wei","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xing Wei","raw_affiliation_strings":["Easy-Logic Technology Ltd. Hong Kong Science Park, Hong Kong"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Easy-Logic Technology Ltd. Hong Kong Science Park, Hong Kong","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069926547","display_name":"Yi Diao","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yi Diao","raw_affiliation_strings":["Easy-Logic Technology Ltd. Hong Kong Science Park, Hong Kong"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Easy-Logic Technology Ltd. Hong Kong Science Park, Hong Kong","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5112052620","display_name":"Yu-Liang Wu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yu-Liang Wu","raw_affiliation_strings":["Easy-Logic Technology Ltd. Hong Kong Science Park, Hong Kong"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Easy-Logic Technology Ltd. Hong Kong Science Park, Hong Kong","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"1","issue":null,"first_page":"623","last_page":"630"},"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":1.0,"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":1.0,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9950000047683716,"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.9926999807357788,"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/hardware-trojan","display_name":"Hardware Trojan","score":0.8241002559661865},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6969387531280518},{"id":"https://openalex.org/keywords/reverse-engineering","display_name":"Reverse engineering","score":0.683695912361145},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.6091643571853638},{"id":"https://openalex.org/keywords/vendor","display_name":"Vendor","score":0.5402519106864929},{"id":"https://openalex.org/keywords/block","display_name":"Block (permutation group theory)","score":0.5105848908424377},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.5076698064804077},{"id":"https://openalex.org/keywords/integrated-circuit-design","display_name":"Integrated circuit design","score":0.4564109444618225},{"id":"https://openalex.org/keywords/hardware-security-module","display_name":"Hardware security module","score":0.45239323377609253},{"id":"https://openalex.org/keywords/integrated-circuit","display_name":"Integrated circuit","score":0.4472000002861023},{"id":"https://openalex.org/keywords/scheme","display_name":"Scheme (mathematics)","score":0.4439292848110199},{"id":"https://openalex.org/keywords/chip","display_name":"Chip","score":0.43373551964759827},{"id":"https://openalex.org/keywords/trojan","display_name":"Trojan","score":0.43243342638015747},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.2293863296508789},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.21120116114616394},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.14936846494674683}],"concepts":[{"id":"https://openalex.org/C2780873074","wikidata":"https://www.wikidata.org/wiki/Q5656397","display_name":"Hardware Trojan","level":3,"score":0.8241002559661865},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6969387531280518},{"id":"https://openalex.org/C207850805","wikidata":"https://www.wikidata.org/wiki/Q269608","display_name":"Reverse engineering","level":2,"score":0.683695912361145},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.6091643571853638},{"id":"https://openalex.org/C2777338717","wikidata":"https://www.wikidata.org/wiki/Q1762621","display_name":"Vendor","level":2,"score":0.5402519106864929},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.5105848908424377},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.5076698064804077},{"id":"https://openalex.org/C74524168","wikidata":"https://www.wikidata.org/wiki/Q1074539","display_name":"Integrated circuit design","level":2,"score":0.4564109444618225},{"id":"https://openalex.org/C39217717","wikidata":"https://www.wikidata.org/wiki/Q1432354","display_name":"Hardware security module","level":3,"score":0.45239323377609253},{"id":"https://openalex.org/C530198007","wikidata":"https://www.wikidata.org/wiki/Q80831","display_name":"Integrated circuit","level":2,"score":0.4472000002861023},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.4439292848110199},{"id":"https://openalex.org/C165005293","wikidata":"https://www.wikidata.org/wiki/Q1074500","display_name":"Chip","level":2,"score":0.43373551964759827},{"id":"https://openalex.org/C174333608","wikidata":"https://www.wikidata.org/wiki/Q19635","display_name":"Trojan","level":2,"score":0.43243342638015747},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.2293863296508789},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.21120116114616394},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.14936846494674683},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/aspdac.2016.7428081","is_oa":false,"landing_page_url":"https://doi.org/10.1109/aspdac.2016.7428081","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 21st Asia and South Pacific Design Automation Conference (ASP-DAC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.6100000143051147}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W83507793","https://openalex.org/W1488059233","https://openalex.org/W1518705996","https://openalex.org/W1983336721","https://openalex.org/W1998166651","https://openalex.org/W2000519336","https://openalex.org/W2002622579","https://openalex.org/W2002990987","https://openalex.org/W2021949528","https://openalex.org/W2028356192","https://openalex.org/W2028563209","https://openalex.org/W2047855165","https://openalex.org/W2057339729","https://openalex.org/W2080267935","https://openalex.org/W2080530976","https://openalex.org/W2098536553","https://openalex.org/W2109092163","https://openalex.org/W2109103805","https://openalex.org/W2123594341","https://openalex.org/W2139171217","https://openalex.org/W2142732755","https://openalex.org/W2148392148","https://openalex.org/W2151668694","https://openalex.org/W2154958010","https://openalex.org/W2156134305","https://openalex.org/W2161998562","https://openalex.org/W2163027960","https://openalex.org/W2163789430","https://openalex.org/W2164038636","https://openalex.org/W2169938611","https://openalex.org/W2293134456","https://openalex.org/W4232678353","https://openalex.org/W4236075722","https://openalex.org/W4236423066","https://openalex.org/W4244124617","https://openalex.org/W4247317103","https://openalex.org/W6630973549","https://openalex.org/W6670857703","https://openalex.org/W6674690352"],"related_works":["https://openalex.org/W4385434494","https://openalex.org/W3159333627","https://openalex.org/W3004467197","https://openalex.org/W2104671161","https://openalex.org/W2148357146","https://openalex.org/W2120912790","https://openalex.org/W2809590703","https://openalex.org/W4248805755","https://openalex.org/W2093397737","https://openalex.org/W2782017703"],"abstract_inverted_index":{"During":[0,36],"the":[1,22,40,80,104,109,114,124,128,141,150,155,158,169,213,236,240],"EDA":[2],"process,":[3],"a":[4,28,74,135,180],"design":[5,75],"may":[6,17,42],"be":[7,18,44,95,164],"tampered":[8,19,45],"directly":[9],"by":[10,46,97,126,153],"dishonest":[11],"engineers":[12],"(or":[13],"\u201cindustry":[14],"spy\u201d),":[15],"or":[16,50,57,99,111,117],"indirectly":[20],"through":[21],"use":[23],"of":[24,212,239],"malicious":[25],"modules":[26],"from":[27],"third":[29],"party":[30],"Intellectual":[31],"Property":[32],"(3PIP)":[33],"block":[34],"vendor.":[35],"integration":[37],"and":[38,119,148,190,196,218,247],"fabrication,":[39],"chips":[41],"also":[43,163],"untrusted":[47],"system":[48],"integrator":[49],"even":[51],"foundry.":[52],"Particularly":[53],"for":[54],"high-end":[55],"commercial":[56],"classified":[58],"military":[59],"chips,":[60],"Hardware":[61,198],"Trojan":[62],"(HT)":[63],"Detect-Locate-and-Mask":[64],"(DL&M)":[65],"is":[66,76],"crucially":[67],"necessary":[68],"so":[69],"as":[70,79],"to":[71,88,102,107,112,121,132,166,193],"make":[72],"sure":[73],"produced":[77],"exactly":[78],"original":[81],"specification":[82],"(golden).":[83],"Our":[84],"objectives":[85],"are":[86],"(1)":[87],"detect":[89],"any":[90],"functionality":[91,130],"difference":[92,105],"which":[93],"might":[94],"caused":[96],"bugs":[98,110],"HTs,":[100],"(2)":[101],"locate/output":[103],"circuitry":[106,137],"correct":[108],"investigate":[113],"tampering":[115],"intention":[116],"purpose,":[118],"(3)":[120],"\u201ckill\u201d":[122],"(mask)":[123],"HTs":[125,217,222],"restoring":[127],"chip's":[129],"back":[131],"golden":[133],"with":[134,200],"minimum":[136],"change.":[138],"Besides":[139],"blocking":[140],"plotted":[142],"damage":[143],"in":[144,227],"an":[145],"early":[146],"stage":[147],"pointing":[149],"spy":[151],"source":[152],"revealing":[154],"HT":[156],"intention,":[157],"masking":[159],"circuit":[160,216],"revision":[161],"must":[162],"minimized":[165,201],"avoid":[167],"affecting":[168],"chip":[170],"performance":[171],"(timing)":[172],"too":[173],"much.":[174],"In":[175],"this":[176],"paper,":[177],"we":[178],"propose":[179],"scheme":[181,207,234],"that":[182],"integrates":[183],"reverse":[184],"engineering,":[185],"formal":[186,204],"verification,":[187],"functional":[188],"ECO,":[189],"logic":[191],"rewiring":[192],"detect,":[194],"locate":[195],"mask":[197],"Trojans":[199],"cost.":[202],"This":[203],"verification":[205],"based":[206],"can":[208,219],"guarantee":[209],"catching":[210],"100%":[211],"hidden":[214],"combinational":[215],"handle":[220],"multiple":[221],"(no":[223],"number":[224],"limit)":[225],"automatically":[226],"one":[228],"run.":[229],"Some":[230],"techniques":[231],"within":[232],"our":[233],"won":[235],"first":[237],"places":[238],"CAD":[241],"Contests":[242],"at":[243],"ICCAD":[244],"2012,":[245],"2013,":[246],"2014":[248],"[1-3].":[249]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}
