{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T09:40:08Z","timestamp":1759138808957,"version":"3.44.0"},"reference-count":43,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T00:00:00Z","timestamp":1561939200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T00:00:00Z","timestamp":1561939200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/www.elsevier.com\/legal\/tdmrep-license"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61774091"],"award-info":[{"award-number":["61774091"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Integration"],"published-print":{"date-parts":[[2019,7]]},"DOI":"10.1016\/j.vlsi.2018.10.009","type":"journal-article","created":{"date-parts":[[2018,11,20]],"date-time":"2018-11-20T10:18:49Z","timestamp":1542709129000},"page":"108-120","update-policy":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":5,"special_numbering":"C","title":["Parallelizing SAT-based de-camouflaging attacks by circuit partitioning and conflict avoiding"],"prefix":"10.1016","volume":"67","author":[{"ORCID":"https:\/\/2.zoppoz.workers.dev:443\/https\/orcid.org\/0000-0003-0080-4730","authenticated-orcid":false,"given":"Xueyan","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qiang","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yici","family":"Cai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gang","family":"Qu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"8","key":"10.1016\/j.vlsi.2018.10.009_bib1","doi-asserted-by":"crossref","first-page":"1283","DOI":"10.1109\/JPROC.2014.2335155","article-title":"A primer on hardware security: models, methods, and metrics","volume":"102","author":"Rostami","year":"2014","journal-title":"Proc. IEEE"},{"issue":"4","key":"10.1016\/j.vlsi.2018.10.009_bib2","doi-asserted-by":"crossref","first-page":"763","DOI":"10.3390\/electronics4040763","article-title":"Introduction to hardware security","volume":"4","author":"Jin","year":"2015","journal-title":"Electronics"},{"year":"2007","series-title":"Intellectual Property Protection in VLSI Designs: Theory and Practice","author":"Qu","key":"10.1016\/j.vlsi.2018.10.009_bib3"},{"key":"10.1016\/j.vlsi.2018.10.009_bib4","doi-asserted-by":"crossref","unstructured":"M. Tehranipoor, F. Koushanfar, A survey of hardware trojan taxonomy and detection, IEEE Des. Test Comput. 27 (1).","DOI":"10.1109\/MDT.2010.7"},{"key":"10.1016\/j.vlsi.2018.10.009_bib5","series-title":"The Hardware Trojan War","first-page":"291","article-title":"Hardware obfuscation methods for hardware trojan prevention and detection","author":"Yu","year":"2018"},{"key":"10.1016\/j.vlsi.2018.10.009_bib6","series-title":"Proc. ACM\/IEEE Design Automation Conference (DAC)","first-page":"333","article-title":"The state-of-the-art in semiconductor reverse engineering","author":"Torrance","year":"2011"},{"issue":"1","key":"10.1016\/j.vlsi.2018.10.009_bib7","first-page":"6","article-title":"A survey on chip to system reverse engineering","volume":"13","author":"Quadir","year":"2016","journal-title":"JETC"},{"year":"2008","series-title":"Reverse Engineering for War","key":"10.1016\/j.vlsi.2018.10.009_bib8"},{"key":"10.1016\/j.vlsi.2018.10.009_bib9","series-title":"Hardware-oriented Security and Trust (HOST), 2012 IEEE International Symposium on","first-page":"83","article-title":"Reverse engineering circuits using behavioral pattern mining","author":"Li","year":"2012"},{"key":"10.1016\/j.vlsi.2018.10.009_bib10","series-title":"Verification and Security Workshop (IVSW), 2017 IEEE 2nd International","first-page":"88","article-title":"Hardware reverse engineering: overview and open challenges","author":"Fyrbiak","year":"2017"},{"year":"2008","series-title":"Innovation Is at Risk as Semiconductor Equipment and Materials Industry Loses up to $4 Billion Annually Due to Ip Infringement","author":"SEMI","key":"10.1016\/j.vlsi.2018.10.009_bib11"},{"year":"2017","series-title":"Hardware Protection through Obfuscation","author":"Forte","key":"10.1016\/j.vlsi.2018.10.009_bib12"},{"key":"10.1016\/j.vlsi.2018.10.009_bib13","series-title":"Proc. ACM Conference on Computer and Communications Security (CCS)","first-page":"709","article-title":"Security analysis of integrated circuit camouflaging","author":"Rajendran","year":"2013"},{"key":"10.1016\/j.vlsi.2018.10.009_bib14","series-title":"Proc. IEEE Design, Automation and Test in Europe (DATE)","first-page":"1","article-title":"Embedded reconfigurable logic for ASIC design obfuscation against supply chain attacks","author":"Liu","year":"2014"},{"key":"10.1016\/j.vlsi.2018.10.009_bib15","series-title":"Proceedings of Design Automation Conference (DAC)","first-page":"153","article-title":"Circuit camouflage integration for hardware IP protection","author":"Cocchi","year":"2014"},{"key":"10.1016\/j.vlsi.2018.10.009_bib16","series-title":"Proceedings of International Conference on Computer-aided Design (ICCAD)","first-page":"29","article-title":"Camoperturb: secure IC camouflaging for minterm protection","author":"Yasin","year":"2016"},{"key":"10.1016\/j.vlsi.2018.10.009_bib17","series-title":"Proceedings of International Conference on Computer-aided Design (ICCAD)","first-page":"28","article-title":"Provably secure camouflaging strategy for IC protection","author":"Li","year":"2016"},{"key":"10.1016\/j.vlsi.2018.10.009_bib18","series-title":"Foundations of Hardware IP Protection","first-page":"105","article-title":"Hardware obfuscation: techniques and open challenges","author":"Becker","year":"2017"},{"key":"10.1016\/j.vlsi.2018.10.009_bib19","series-title":"Computer-aided Design (ICCAD), 2017 IEEE\/ACM International Conference on","first-page":"41","article-title":"Obfuscating the interconnects: low-cost and resilient full-chip layout camouflaging","author":"Patnaik","year":"2017"},{"key":"10.1016\/j.vlsi.2018.10.009_bib20","series-title":"Proceedings of the on Great Lakes Symposium on VLSI 2017","first-page":"357","article-title":"Circuit obfuscation and oracle-guided attacks: who can prevail?","author":"Shamsi","year":"2017"},{"key":"10.1016\/j.vlsi.2018.10.009_bib21","article-title":"Removal attacks on logic locking and camouflaging techniques","volume":"2017:348","author":"Yasin","year":"2017","journal-title":"IACR Cryptol. ePrint Archive"},{"key":"10.1016\/j.vlsi.2018.10.009_bib22","series-title":"International Conference on Cryptographic Hardware and Embedded Systems","first-page":"189","article-title":"Novel bypass attack and bdd-based tradeoff analysis against all known logic locking attacks","author":"Xu","year":"2017"},{"key":"10.1016\/j.vlsi.2018.10.009_bib23","series-title":"Hardware Oriented Security and Trust (HOST), 2017 IEEE International Symposium on","first-page":"95","article-title":"Appsat: approximately deobfuscating integrated circuits","author":"Shamsi","year":"2017"},{"key":"10.1016\/j.vlsi.2018.10.009_bib24","series-title":"Proceedings of the on Great Lakes Symposium on VLSI 2017","first-page":"179","article-title":"Double dip: Re-evaluating security of logic encryption algorithms","author":"Shen","year":"2017"},{"key":"10.1016\/j.vlsi.2018.10.009_bib25","series-title":"Asia and South Pacific Design Automation Conference (ASP-DAC)","article-title":"A comparative investigation of approximate attacks on logic encryptions","author":"Shen","year":"2018"},{"key":"10.1016\/j.vlsi.2018.10.009_bib26","series-title":"IEEE International Symposium on Circuits and Systems (ISCAS)","first-page":"1710","article-title":"Is the secure ic camouflaging really secure?","author":"Wang","year":"2016"},{"key":"10.1016\/j.vlsi.2018.10.009_bib27","series-title":"Hardware Oriented Security and Trust (HOST), IEEE International Symposium on","first-page":"137","article-title":"Evaluating the security of logic encryption algorithms","author":"Subramanyan","year":"2015"},{"key":"10.1016\/j.vlsi.2018.10.009_bib28","series-title":"NDSS","article-title":"Integrated circuit (ic) decamouflaging: reverse engineering camouflaged ics within minutes","author":"El Massad","year":"2015"},{"key":"10.1016\/j.vlsi.2018.10.009_bib29","series-title":"Design, Automation & Test in Europe Conference & Exhibition (DATE)","first-page":"433","article-title":"Oracle-guided incremental sat solving to reverse engineer camouflaged logic circuits","author":"Liu","year":"2016"},{"issue":"10","key":"10.1016\/j.vlsi.2018.10.009_bib30","doi-asserted-by":"crossref","first-page":"1647","DOI":"10.1109\/TCAD.2017.2652220","article-title":"Incremental sat-based reverse engineering of camouflaged logic circuits","volume":"36","author":"Yu","year":"2017","journal-title":"IEEE Trans. Comput. Aided Des. Integrated Circ. Syst."},{"issue":"11","key":"10.1016\/j.vlsi.2018.10.009_bib31","doi-asserted-by":"crossref","first-page":"2668","DOI":"10.1109\/TIFS.2017.2710954","article-title":"Testing the trustworthiness of ic testing: an oracle-less attack on ic camouflaging","volume":"12","author":"Yasin","year":"2017","journal-title":"IEEE Trans. Inf. Forensics Secur."},{"key":"10.1016\/j.vlsi.2018.10.009_bib32","series-title":"IEEE International Test Conference (ITC)","first-page":"1","article-title":"VLSI testing based security metric for IC camouflaging","author":"Rajendran","year":"2013"},{"key":"10.1016\/j.vlsi.2018.10.009_bib33","series-title":"Computer Design (ICCD), 2017 IEEE International Conference on","first-page":"41","article-title":"Template attack based deobfuscation of integrated circuits","author":"Chakraborty","year":"2017"},{"issue":"6","key":"10.1016\/j.vlsi.2018.10.009_bib34","doi-asserted-by":"crossref","first-page":"939","DOI":"10.1109\/TCAD.2010.2048374","article-title":"Layout decomposition approaches for double patterning lithography","volume":"29","author":"Kahng","year":"2010","journal-title":"IEEE Trans. CAD Integrated Circ. Syst."},{"key":"10.1016\/j.vlsi.2018.10.009_bib35","series-title":"Automation of Reasoning","first-page":"466","article-title":"On the complexity of derivation in propositional calculus","author":"Tseitin","year":"1983"},{"key":"10.1016\/j.vlsi.2018.10.009_bib36","unstructured":"Connected component (graph theory).https:\/\/2.zoppoz.workers.dev:443\/https\/en.wikipedia.org\/wiki\/Connected_component_(graph_theory)."},{"issue":"6","key":"10.1016\/j.vlsi.2018.10.009_bib37","doi-asserted-by":"crossref","first-page":"372","DOI":"10.1145\/362248.362272","article-title":"Algorithm 447: efficient algorithms for graph manipulation","volume":"16","author":"Hopcroft","year":"1973","journal-title":"Commun. ACM"},{"key":"10.1016\/j.vlsi.2018.10.009_bib38","unstructured":"k-medoids. https:\/\/2.zoppoz.workers.dev:443\/https\/en.wikipedia.org\/wiki\/K-medoids."},{"issue":"8","key":"10.1016\/j.vlsi.2018.10.009_bib39","doi-asserted-by":"crossref","first-page":"651","DOI":"10.1016\/j.patrec.2009.09.011","article-title":"Data clustering: 50 years beyond k-means","volume":"31","author":"Jain","year":"2010","journal-title":"Pattern Recogn. Lett."},{"issue":"2","key":"10.1016\/j.vlsi.2018.10.009_bib40","doi-asserted-by":"crossref","first-page":"3336","DOI":"10.1016\/j.eswa.2008.01.039","article-title":"A simple and fast algorithm for k-medoids clustering","volume":"36","author":"Park","year":"2009","journal-title":"Expert Syst. Appl."},{"year":"1987","series-title":"Clustering by Means of Medoids, North-Holland","author":"Kaufman","key":"10.1016\/j.vlsi.2018.10.009_bib41"},{"key":"10.1016\/j.vlsi.2018.10.009_bib42","series-title":"Theory and Applications of Satisfiability Testing, International Conference (SAT)","first-page":"502","article-title":"An extensible sat-solver","author":"E\u00e9n","year":"2003"},{"key":"10.1016\/j.vlsi.2018.10.009_bib43","unstructured":"Sun microsystems, opensparc t1 processor. https:\/\/2.zoppoz.workers.dev:443\/http\/www.opensparc.net\/opensparc-t1\/index.html."}],"container-title":["Integration"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/api.elsevier.com\/content\/article\/PII:S0167926018302670?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/api.elsevier.com\/content\/article\/PII:S0167926018302670?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T09:25:16Z","timestamp":1759137916000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/linkinghub.elsevier.com\/retrieve\/pii\/S0167926018302670"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7]]},"references-count":43,"alternative-id":["S0167926018302670"],"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1016\/j.vlsi.2018.10.009","relation":{},"ISSN":["0167-9260"],"issn-type":[{"type":"print","value":"0167-9260"}],"subject":[],"published":{"date-parts":[[2019,7]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Parallelizing SAT-based de-camouflaging attacks by circuit partitioning and conflict avoiding","name":"articletitle","label":"Article Title"},{"value":"Integration","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1016\/j.vlsi.2018.10.009","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2018 Elsevier B.V. All rights reserved.","name":"copyright","label":"Copyright"}]}}