{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T07:10:51Z","timestamp":1730272251337,"version":"3.28.0"},"reference-count":33,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,10,1]],"date-time":"2020-10-01T00:00:00Z","timestamp":1601510400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,10,1]],"date-time":"2020-10-01T00:00:00Z","timestamp":1601510400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,10]]},"DOI":"10.1109\/iscas45731.2020.9180705","type":"proceedings-article","created":{"date-parts":[[2020,9,29]],"date-time":"2020-09-29T13:22:27Z","timestamp":1601385747000},"page":"1-5","source":"Crossref","is-referenced-by-count":2,"title":["Efficacy of Satisfiability-Based Attacks in the Presence of Circuit Reverse-Engineering Errors"],"prefix":"10.1109","author":[{"given":"Qinhan","family":"Tan","sequence":"first","affiliation":[{"name":"College of Computer Science and Technology, Zhejiang University, Hangzhou, China"}]},{"given":"Seetal","family":"Potluri","sequence":"additional","affiliation":[{"name":"Department of ECE, North Carolina State University, Raleigh, U.S."}]},{"given":"Aydin","family":"Aysu","sequence":"additional","affiliation":[{"name":"Department of ECE, North Carolina State University, Raleigh, U.S."}]}],"member":"263","reference":[{"journal-title":"Satisfiability-based attack source code","year":"0","key":"ref33"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2755563"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ISQED.2014.6783305"},{"key":"ref30","article-title":"The State-of-the-Art in IC reverse engineering","author":"torrance","year":"2009","journal-title":"IACR Transactions on Cryptographic Hardware and Embedded Systems"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3133985"},{"key":"ref11","first-page":"63:1","article-title":"FORTIS: A comprehensive solution for establishing forward trust for protecting IPs and ICs","volume":"21","author":"ouin","year":"2016","journal-title":"ACM Transactions on Design Automation of Electronic Systems (TODAES)"},{"key":"ref12","first-page":"1","article-title":"A novel design-for-security (DFS) architecture to prevent unauthorized IC overproduction","author":"ouin","year":"2017","journal-title":"IEEE VLSI Test Symposium (VTS)"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"818","DOI":"10.1109\/TVLSI.2018.2797019","article-title":"Robust design-for-security architecture for enabling trust in IC manufacturing and test","volume":"26","author":"ouin","year":"2018","journal-title":"IEEE Transactions on Very Large Scale Integration Systems (TVLSI)"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD45719.2019.8942047"},{"key":"ref15","first-page":"1","article-title":"A scan obfuscation guided design-for-security approach for sequential circuits","author":"karmakar","year":"2019","journal-title":"IEEE Transactions on Circuits and Systems II Express Briefs"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2018.2850319"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3287624.3287691"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ISQED48828.2020.9136991"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2015.7140252"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/3287624.3287670"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS.2014.6873671"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3287624.3287693"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228377"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2016.7495588"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2017.8203759"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2013.193"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3060403.3060458"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2801220"},{"year":"0","author":"china","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2017.7951830"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1403375.1403631"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2017.7951805"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2018.8351412"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2017.8050606"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2019.8702400"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2018.8351235"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3060403.3060469"},{"key":"ref25","article-title":"SMT attack: Next generation attack on obfuscated circuits with capabilities and performance beyond the SAT attacks","author":"azar","year":"2019","journal-title":"IACR Transactions on Cryptographic Hardware and Embedded Systems"}],"event":{"name":"2020 IEEE International Symposium on Circuits and Systems (ISCAS)","start":{"date-parts":[[2020,10,12]]},"location":"Seville, Spain","end":{"date-parts":[[2020,10,14]]}},"container-title":["2020 IEEE International Symposium on Circuits and Systems (ISCAS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9179985\/9180369\/09180705.pdf?arnumber=9180705","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,15]],"date-time":"2024-01-15T21:07:27Z","timestamp":1705352847000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9180705\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/iscas45731.2020.9180705","relation":{},"subject":[],"published":{"date-parts":[[2020,10]]}}}