{"id":"https://openalex.org/W2887819081","doi":"https://doi.org/10.1109/tcad.2018.2864220","title":"Toward a Formal and Quantitative Evaluation Framework for Circuit Obfuscation Methods","display_name":"Toward a Formal and Quantitative Evaluation Framework for Circuit Obfuscation Methods","publication_year":2018,"publication_date":"2018-08-07","ids":{"openalex":"https://openalex.org/W2887819081","doi":"https://doi.org/10.1109/tcad.2018.2864220","mag":"2887819081"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2018.2864220","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2018.2864220","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/A5100390413","display_name":"Xueyan Wang","orcid":"https://orcid.org/0000-0003-0080-4730"},"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":true,"raw_author_name":"Xueyan Wang","raw_affiliation_strings":["Department of Computer Science and Technology, Tsinghua University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101929507","display_name":"Qiang Zhou","orcid":"https://orcid.org/0000-0001-7369-3598"},"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":"Qiang Zhou","raw_affiliation_strings":["Department of Computer Science and Technology, Tsinghua University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100894724","display_name":"Yici Cai","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":"Yici Cai","raw_affiliation_strings":["Department of Computer Science and Technology, Tsinghua University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012474783","display_name":"Gang Qu","orcid":"https://orcid.org/0000-0001-6759-8949"},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Gang Qu","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Institute for Systems Research, University of Maryland at College Park, College Park, MD, USA"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Institute for Systems Research, University of Maryland at College Park, College Park, MD, USA","institution_ids":["https://openalex.org/I66946132"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5100390413"],"corresponding_institution_ids":["https://openalex.org/I99065089"],"apc_list":null,"apc_paid":null,"fwci":0.5049,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.61635297,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"38","issue":"10","first_page":"1844","last_page":"1857"},"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/T14117","display_name":"Integrated Circuits and Semiconductor Failure Analysis","score":0.9958999752998352,"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.9818000197410583,"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/obfuscation","display_name":"Obfuscation","score":0.9722439050674438},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7238203287124634},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.6108337044715881},{"id":"https://openalex.org/keywords/reverse-engineering","display_name":"Reverse engineering","score":0.5530421137809753},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.5439664125442505},{"id":"https://openalex.org/keywords/hardware-security-module","display_name":"Hardware security module","score":0.4626392424106598},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.3626253008842468},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.34943604469299316},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3417414426803589},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.3395521342754364},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.29183927178382874},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10225903987884521}],"concepts":[{"id":"https://openalex.org/C40305131","wikidata":"https://www.wikidata.org/wiki/Q2616305","display_name":"Obfuscation","level":2,"score":0.9722439050674438},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7238203287124634},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.6108337044715881},{"id":"https://openalex.org/C207850805","wikidata":"https://www.wikidata.org/wiki/Q269608","display_name":"Reverse engineering","level":2,"score":0.5530421137809753},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.5439664125442505},{"id":"https://openalex.org/C39217717","wikidata":"https://www.wikidata.org/wiki/Q1432354","display_name":"Hardware security module","level":3,"score":0.4626392424106598},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.3626253008842468},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34943604469299316},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3417414426803589},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3395521342754364},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.29183927178382874},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10225903987884521},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcad.2018.2864220","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2018.2864220","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/G265770845","display_name":null,"funder_award_id":"61774091","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":62,"referenced_works":["https://openalex.org/W1503336004","https://openalex.org/W1504027613","https://openalex.org/W1505879652","https://openalex.org/W1518705996","https://openalex.org/W1521839253","https://openalex.org/W1524250393","https://openalex.org/W1528837436","https://openalex.org/W1767588723","https://openalex.org/W1898234120","https://openalex.org/W1973410838","https://openalex.org/W1988151559","https://openalex.org/W2012725064","https://openalex.org/W2020279094","https://openalex.org/W2052353102","https://openalex.org/W2059313056","https://openalex.org/W2063615695","https://openalex.org/W2067276029","https://openalex.org/W2075795621","https://openalex.org/W2095410905","https://openalex.org/W2103292881","https://openalex.org/W2106409910","https://openalex.org/W2106722176","https://openalex.org/W2112965713","https://openalex.org/W2116320487","https://openalex.org/W2117181658","https://openalex.org/W2119749816","https://openalex.org/W2124954128","https://openalex.org/W2128943990","https://openalex.org/W2135211381","https://openalex.org/W2140904634","https://openalex.org/W2160492587","https://openalex.org/W2163578245","https://openalex.org/W2202385382","https://openalex.org/W2285261652","https://openalex.org/W2336864643","https://openalex.org/W2347054447","https://openalex.org/W2380876451","https://openalex.org/W2394517960","https://openalex.org/W2419784917","https://openalex.org/W2499445168","https://openalex.org/W2517202391","https://openalex.org/W2532898432","https://openalex.org/W2536656707","https://openalex.org/W2563406968","https://openalex.org/W2566491692","https://openalex.org/W2579874865","https://openalex.org/W2587958472","https://openalex.org/W2614753493","https://openalex.org/W2615010670","https://openalex.org/W2615060729","https://openalex.org/W2708742051","https://openalex.org/W2741711485","https://openalex.org/W2747980214","https://openalex.org/W2770781225","https://openalex.org/W3144121041","https://openalex.org/W4231903137","https://openalex.org/W4246809981","https://openalex.org/W4253548266","https://openalex.org/W6669490149","https://openalex.org/W6675797392","https://openalex.org/W6677336575","https://openalex.org/W6728616018"],"related_works":["https://openalex.org/W2913519194","https://openalex.org/W4362634109","https://openalex.org/W2055981842","https://openalex.org/W2793135307","https://openalex.org/W3134235726","https://openalex.org/W2906395579","https://openalex.org/W128871440","https://openalex.org/W2532550198","https://openalex.org/W4231223498","https://openalex.org/W4321192641"],"abstract_inverted_index":{"Since":[0],"the":[1,51,96,159,175],"first":[2],"circuit":[3,54,91],"obfuscation":[4,28,36,55,59,127,151],"technique":[5],"was":[6],"proposed":[7,90,176],"to":[8,14,38,49,62,110,114,130,139],"thwart":[9],"reverse":[10],"engineering":[11],"(RE)":[12],"attacks":[13,25,113,202],"integrated":[15],"circuits":[16],"(ICs),":[17],"there":[18],"have":[19],"been":[20],"active":[21],"research":[22],"in":[23,157],"de-obfuscation":[24,43,112,201],"and":[26,69,95,178,187,205,211],"new":[27,123],"countermeasures.":[29],"Although":[30],"it":[31,45],"is":[32,46,163],"crucial":[33],"for":[34,66,82,150],"an":[35],"method":[37],"be":[39,63,107],"secure":[40],"against":[41,199],"known":[42,200],"attacks,":[44],"equally":[47],"important":[48],"keep":[50],"cost":[52],"of":[53,78],"low.":[56],"Most":[57],"importantly,":[58],"methods":[60],"need":[61],"formally":[64],"analyzed":[65],"their":[67],"effectiveness":[68],"efficiency.":[70],"In":[71],"this":[72,83],"paper,":[73],"we":[74,102,146],"propose":[75,121],"a":[76,88,122],"set":[77],"quantitatively":[79],"evaluable":[80],"metrics":[81,177],"purpose,":[84],"particularly":[85],"facilitated":[86],"by":[87],"recently":[89],"partition":[92],"attack":[93,99],"(CPA)":[94],"powerful":[97],"SAT-based":[98],"(SATA).":[100],"Moreover,":[101],"find":[103],"that":[104,194],"CPA":[105,132,204],"can":[106],"applied":[108],"prior":[109],"any":[111],"reduce":[115],"RE":[116],"efforts":[117],"exponentially.":[118],"We":[119,171],"then":[120],"equivalent":[124,155,161],"class":[125],"guided":[126],"scheme":[128],"(ECG-Obfus)":[129],"defeat":[131],"which":[133,158],"leverages":[134],"specially":[135],"designed":[136],"camouflaged":[137],"cells":[138],"replace":[140],"judiciously":[141],"selected":[142],"logic":[143],"gates.":[144],"Specifically,":[145],"select":[147],"candidate":[148],"gates":[149],"from":[152],"one":[153],"certain":[154],"class,":[156],"underlying":[160],"relation":[162],"defined":[164],"based":[165],"on":[166,181],"IC":[167],"topological":[168],"structure":[169],"information.":[170],"evaluate":[172],"ECG-Obfus":[173,195],"using":[174],"conduct":[179],"experiments":[180],"ISCAS":[182],"85/89":[183],"standard":[184],"benchmark":[185],"suites":[186],"OpenSparc":[188],"T1":[189],"microprocessor.":[190],"The":[191],"results":[192],"show":[193],"gains":[196],"good":[197],"resilience":[198],"(including":[203],"SATA),":[206],"with":[207],"low":[208],"design":[209],"complexity":[210],"performance":[212],"overhead.":[213]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}
