{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T16:36:29Z","timestamp":1773246989392,"version":"3.50.1"},"reference-count":25,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,3,1]],"date-time":"2020-03-01T00:00:00Z","timestamp":1583020800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,3,1]],"date-time":"2020-03-01T00:00:00Z","timestamp":1583020800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,3,1]],"date-time":"2020-03-01T00:00:00Z","timestamp":1583020800000},"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,3]]},"DOI":"10.1109\/isqed48828.2020.9136983","type":"proceedings-article","created":{"date-parts":[[2020,7,9]],"date-time":"2020-07-09T20:46:45Z","timestamp":1594327605000},"page":"199-205","source":"Crossref","is-referenced-by-count":37,"title":["Strong Anti-SAT: Secure and Effective Logic Locking"],"prefix":"10.1109","author":[{"given":"Yuntao","family":"Liu","sequence":"first","affiliation":[]},{"given":"Michael","family":"Zuzak","sequence":"additional","affiliation":[]},{"given":"Yang","family":"Xie","sequence":"additional","affiliation":[]},{"given":"Abhishek","family":"Chakraborty","sequence":"additional","affiliation":[]},{"given":"Ankur","family":"Srivastava","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2013.193"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1403375.1403631"},{"key":"ref12","first-page":"1","article-title":"ATPG-based cost-effective, secure logic locking","author":"abhrajit","year":"0","journal-title":"2018 IEEE 36th VLSI Test Symposium (VTS)"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2017.7951805"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3060403.3060469"},{"key":"ref15","first-page":"936","article-title":"Functional analysis attacks on logic locking","author":"sirone","year":"0","journal-title":"Design Automation and Test in Europe Conference and Exhibition (DATE) 2019"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2015.7140252"},{"key":"ref17","first-page":"62","article-title":"Security-Aware 2.5 D Integrated Circuit Design Flow Against Hardware IP Piracy","volume":"5","author":"yang","year":"2017","journal-title":"Computer"},{"key":"ref18","first-page":"127","article-title":"Mitigating sat attack on logic locking","author":"xie","year":"0","journal-title":"International Conference on Cryptographic Hardware and Embedded Systems"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3061639.3062226"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3240765.3240857"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2019.2944586"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3195970.3196058"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2017.15"},{"key":"ref8","first-page":"354","volume":"66","author":"thuy ngo","year":"2017","journal-title":"IEEE Trans Comput"},{"key":"ref7","first-page":"89","article-title":"Full-Lock: Hard Distributions of SAT Instances for Obfuscating Circuits using Fully Configurable Logic and Routing Blocks","author":"mardani kamali","year":"0","journal-title":"Proceedings of the 56th Annual Design Automation Conference 2019 ACM"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2024716.2024718","article-title":"The gem5 simulator","volume":"39","author":"nathan","year":"2011","journal-title":"ACM SIGARCH Computer Architecture News"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228377"},{"key":"ref1","first-page":"72","article-title":"The PARSEC benchmark suite: Characterization and architectural implications","author":"christian","year":"0","journal-title":"Proceedings of the 17th International Conference on Parallel Architectures and Compilation Techniques"},{"key":"ref20","article-title":"Anti-SAT: Mitigating SAT Attack on Logic Locking","author":"xie","year":"2018","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"ref22","first-page":"166","author":"muhammad","year":"0","journal-title":"2017 IEEE International Symposium on Hardware Oriented Security and Trust (HOST) IEEE"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2016.7495588"},{"key":"ref24","first-page":"1601","article-title":"Provably-Secure Logic Locking: From Theory To Practice","author":"muhammad","year":"0","journal-title":"Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"1411","DOI":"10.1109\/TCAD.2015.2511144","article-title":"On improving the security of logic locking","volume":"35","author":"muhammad","year":"2016","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ISVLSI.2019.00103"}],"event":{"name":"2020 21st International Symposium on Quality Electronic Design (ISQED)","location":"Santa Clara, CA, USA","start":{"date-parts":[[2020,3,25]]},"end":{"date-parts":[[2020,3,26]]}},"container-title":["2020 21st International Symposium on Quality Electronic Design (ISQED)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9131689\/9136966\/09136983.pdf?arnumber=9136983","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,28]],"date-time":"2022-06-28T21:52:42Z","timestamp":1656453162000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9136983\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/isqed48828.2020.9136983","relation":{},"subject":[],"published":{"date-parts":[[2020,3]]}}}