{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,17]],"date-time":"2026-06-17T17:26:28Z","timestamp":1781717188915,"version":"3.54.5"},"reference-count":64,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2021,3,13]],"date-time":"2021-03-13T00:00:00Z","timestamp":1615593600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"crossref","award":["FA8650-18-1-7821"],"award-info":[{"award-number":["FA8650-18-1-7821"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Des. Autom. Electron. Syst."],"published-print":{"date-parts":[[2021,7,31]]},"abstract":"<jats:p>Logic locking has emerged as a promising solution to protect integrated circuits against piracy and tampering. However, the security provided by existing logic locking techniques is often thwarted by Boolean satisfiability (SAT)-based oracle-guided attacks. Criteria for successful SAT attacks on locked circuits include: (i) the circuit under attack is fully combinational, or (ii) the attacker has scan chain access. To address the threat posed by SAT-based attacks, we adopt the dynamically obfuscated scan chain (DOSC) architecture and illustrate its resiliency against the SAT attacks when inserted into the scan chain of an obfuscated design. We demonstrate, both mathematically and experimentally, that DOSC exponentially increases the resiliency against key extraction by SAT attack and its variants. Our results show that the mathematical estimation of attack complexity correlates to the experimental results with an accuracy of 95% or better. Along with the formal proof, we model DOSC architecture to its equivalent combinational circuit and perform SAT attack to evaluate its resiliency empirically. Our experiments demonstrate that SAT attack on DOSC-inserted benchmark circuits timeout at minimal test time overhead, and while DOSC requires less than 1% area and power overhead.<\/jats:p>","DOI":"10.1145\/3444960","type":"journal-article","created":{"date-parts":[[2021,3,13]],"date-time":"2021-03-13T17:27:36Z","timestamp":1615656456000},"page":"1-27","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":40,"title":["Security Assessment of Dynamically Obfuscated Scan Chain Against Oracle-guided Attacks"],"prefix":"10.1145","volume":"26","author":[{"given":"M Sazadur","family":"Rahman","sequence":"first","affiliation":[{"name":"University of Florida, Gainesville, Florida, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Adib","family":"Nahiyan","sequence":"additional","affiliation":[{"name":"University of Florida, Gainesville, Florida, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fahim","family":"Rahman","sequence":"additional","affiliation":[{"name":"University of Florida, Gainesville, Florida, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Saverio","family":"Fazzari","sequence":"additional","affiliation":[{"name":"Booz Allen Hamilton, Arlington, Virginia, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kenneth","family":"Plaks","sequence":"additional","affiliation":[{"name":"Defense Advanced Research Projects Agency, Arlington, Virginia, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Farimah","family":"Farahmandi","sequence":"additional","affiliation":[{"name":"University of Florida, Gainesville, Florida, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Domenic","family":"Forte","sequence":"additional","affiliation":[{"name":"University of Florida, Gainesville, Florida, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mark","family":"Tehranipoor","sequence":"additional","affiliation":[{"name":"University of Florida, Gainesville, Florida, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2021,3,13]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Hardware Protection through Obfuscation","author":"\u00a0al B. Shakya","unstructured":"B. Shakya et \u00a0al . 2017. Introduction to hardware obfuscation: Motivation, methods and evaluation . In Hardware Protection through Obfuscation . Springer , 3--32. B. Shakya et\u00a0al. 2017. Introduction to hardware obfuscation: Motivation, methods and evaluation. In Hardware Protection through Obfuscation. Springer, 3--32."},{"key":"e_1_2_1_2_1","volume-title":"Proceedings of the 35th Annual Annual Design Automation Conference (DAC\u201998)","author":"\u00a0al A. B.","year":"1998","unstructured":"A. B. Kahng et \u00a0al . 1998 . Watermarking techniques for intellectual property protection . In Proceedings of the 35th Annual Annual Design Automation Conference (DAC\u201998) . ACM, 776--781. A. B. Kahng et\u00a0al. 1998. Watermarking techniques for intellectual property protection. In Proceedings of the 35th Annual Annual Design Automation Conference (DAC\u201998). ACM, 776--781."},{"key":"e_1_2_1_3_1","unstructured":"IEEE. 2014. IEEE recommended practice for encryption and management of electronic design intellectual property. Retrieved from https:\/\/standards.ieee.org\/findstds\/standard\/1735-2014.html.  IEEE. 2014. IEEE recommended practice for encryption and management of electronic design intellectual property. Retrieved from https:\/\/standards.ieee.org\/findstds\/standard\/1735-2014.html."},{"key":"e_1_2_1_4_1","volume-title":"Proceedings of the Conference on Design, Automation and Test in Europe. ACM, 1069--1074","author":"\u00a0al J. A.","year":"2008","unstructured":"J. A. Roy et \u00a0al . 2008 . Epic: Ending piracy of integrated circuits . In Proceedings of the Conference on Design, Automation and Test in Europe. ACM, 1069--1074 . J. A. Roy et\u00a0al. 2008. Epic: Ending piracy of integrated circuits. In Proceedings of the Conference on Design, Automation and Test in Europe. ACM, 1069--1074."},{"key":"e_1_2_1_5_1","volume-title":"Proceedings of the IEEE\/ACM International Conference on Computer-Aided Design (ICCAD\u201908)","author":"Chakraborty R. S.","unstructured":"R. S. Chakraborty and S. Bhunia . 2008. Hardware protection and authentication through netlist level obfuscation . In Proceedings of the IEEE\/ACM International Conference on Computer-Aided Design (ICCAD\u201908) . IEEE Press, 674--677. R. S. Chakraborty and S. Bhunia. 2008. Hardware protection and authentication through netlist level obfuscation. In Proceedings of the IEEE\/ACM International Conference on Computer-Aided Design (ICCAD\u201908). IEEE Press, 674--677."},{"key":"e_1_2_1_6_1","first-page":"1493","article-title":"Harpoon: An obfuscation-based SoC design methodology for hardware protection","volume":"28","author":"Chakraborty R. S.","year":"2009","unstructured":"R. S. Chakraborty and S. Bhunia . 2009 . Harpoon: An obfuscation-based SoC design methodology for hardware protection . IEEE TCAD Circ. Syst. 28 , 10 (2009), 1493 -- 1502 . R. S. Chakraborty and S. Bhunia. 2009. Harpoon: An obfuscation-based SoC design methodology for hardware protection. IEEE TCAD Circ. Syst. 28, 10 (2009), 1493--1502.","journal-title":"IEEE TCAD Circ. Syst."},{"key":"e_1_2_1_7_1","volume-title":"Proceedings of the ACM SIGSAC Conference on Computer and Communications Security. ACM, 709--720","author":"\u00a0al J. Rajendran","year":"2013","unstructured":"J. Rajendran et \u00a0al . 2013 . Security analysis of integrated circuit camouflaging . In Proceedings of the ACM SIGSAC Conference on Computer and Communications Security. ACM, 709--720 . J. Rajendran et\u00a0al. 2013. Security analysis of integrated circuit camouflaging. In Proceedings of the ACM SIGSAC Conference on Computer and Communications Security. ACM, 709--720."},{"key":"e_1_2_1_8_1","first-page":"195","article-title":"Split manufacturing method for advanced semiconductor circuits","volume":"7","author":"Jarvis R. W.","year":"2007","unstructured":"R. W. Jarvis and M. G. Mcintyre . 2007 . Split manufacturing method for advanced semiconductor circuits . U.S. Patent 7 , 195 ,931. R. W. Jarvis and M. G. Mcintyre. 2007. Split manufacturing method for advanced semiconductor circuits. U.S. Patent 7,195,931.","journal-title":"U.S. Patent"},{"key":"e_1_2_1_9_1","volume-title":"Proceedings of the IEEE International Symposium on Defect and Fault Tolerance (DFT\u201914)","author":"\u00a0al M. T.","year":"2014","unstructured":"M. T. Rahman et \u00a0al . 2014 . CSST: Preventing distribution of unlicensed and rejected ICs by untrusted foundry and assembly . In Proceedings of the IEEE International Symposium on Defect and Fault Tolerance (DFT\u201914) . IEEE, 46--51. M. T. Rahman et\u00a0al. 2014. CSST: Preventing distribution of unlicensed and rejected ICs by untrusted foundry and assembly. In Proceedings of the IEEE International Symposium on Defect and Fault Tolerance (DFT\u201914). IEEE, 46--51."},{"key":"e_1_2_1_10_1","volume-title":"Proceedings of the ACM Conference on Computer and Communications Security (CCS\u201917)","author":"\u00a0al A. Chhotaray","year":"2017","unstructured":"A. Chhotaray et \u00a0al . 2017 . Standardizing bad cryptographic practice . In Proceedings of the ACM Conference on Computer and Communications Security (CCS\u201917) . ACM, 1533--1546. A. Chhotaray et\u00a0al. 2017. Standardizing bad cryptographic practice. In Proceedings of the ACM Conference on Computer and Communications Security (CCS\u201917). ACM, 1533--1546."},{"key":"e_1_2_1_11_1","volume-title":"Proceedings of the Conference on Design, Automation and Test in Europe. EDA Consortium, 1259--1264","author":"\u00a0al J. J.","year":"2013","unstructured":"J. J. Rajendran et \u00a0al . 2013 . Is split manufacturing secure? In Proceedings of the Conference on Design, Automation and Test in Europe. EDA Consortium, 1259--1264 . J. J. Rajendran et\u00a0al. 2013. Is split manufacturing secure? In Proceedings of the Conference on Design, Automation and Test in Europe. EDA Consortium, 1259--1264."},{"key":"e_1_2_1_12_1","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1109\/TC.2013.193","article-title":"Fault analysis-based logic encryption","volume":"64","author":"\u00a0al J. Rajendran","year":"2013","unstructured":"J. Rajendran et \u00a0al . 2013 . Fault analysis-based logic encryption . IEEE Trans. Comput. 64 , 2 (2013), 410 -- 424 . J. Rajendran et\u00a0al. 2013. Fault analysis-based logic encryption. IEEE Trans. Comput. 64, 2 (2013), 410--424.","journal-title":"IEEE Trans. Comput."},{"key":"e_1_2_1_13_1","volume-title":"Proceedings of the 49th Annual Design Automation Conference. ACM, 83--89","author":"\u00a0al J. Rajendran","year":"2012","unstructured":"J. Rajendran et \u00a0al . 2012 . Security analysis of logic obfuscation . In Proceedings of the 49th Annual Design Automation Conference. ACM, 83--89 . J. Rajendran et\u00a0al. 2012. Security analysis of logic obfuscation. In Proceedings of the 49th Annual Design Automation Conference. ACM, 83--89."},{"key":"e_1_2_1_14_1","unstructured":"J. Robertson and M. Riley. 2018. The big hack: How china used a tiny chip to infiltrate U.S. companies. Bloomberg.  J. Robertson and M. Riley. 2018. The big hack: How china used a tiny chip to infiltrate U.S. companies. Bloomberg."},{"key":"e_1_2_1_15_1","volume-title":"Automatic implementation of secure silicon.","author":"DARPA.","unstructured":"DARPA. 2019. Automatic implementation of secure silicon. Retrieved from https:\/\/www.darpa.mil\/news-events\/2019-03-25. DARPA. 2019. Automatic implementation of secure silicon. Retrieved from https:\/\/www.darpa.mil\/news-events\/2019-03-25."},{"key":"e_1_2_1_16_1","unstructured":"DARPA. 2017. Darpa electronics resurgence initiative. https:\/\/www.darpa.mil\/work-with-us\/electronics-resurgence-initiative.  DARPA. 2017. Darpa electronics resurgence initiative. https:\/\/www.darpa.mil\/work-with-us\/electronics-resurgence-initiative."},{"key":"e_1_2_1_17_1","volume-title":"Proceedings of the IEEE International Symposium on Hardware-Oriented Security and Trust (HOST\u201915)","author":"\u00a0al P. Subramanyan","year":"2015","unstructured":"P. Subramanyan et \u00a0al . 2015 . Evaluating the security of logic encryption algorithms . In Proceedings of the IEEE International Symposium on Hardware-Oriented Security and Trust (HOST\u201915) . IEEE, 137--143. P. Subramanyan et\u00a0al. 2015. Evaluating the security of logic encryption algorithms. In Proceedings of the IEEE International Symposium on Hardware-Oriented Security and Trust (HOST\u201915). IEEE, 137--143."},{"key":"e_1_2_1_18_1","volume-title":"Proceedings of the IEEE International Symposium on Hardware-Oriented Security and Trust (HOST\u201916)","author":"\u00a0al M. Yasin","year":"2016","unstructured":"M. Yasin et \u00a0al . 2016 . Sarlock: Sat attack resistant logic locking . In Proceedings of the IEEE International Symposium on Hardware-Oriented Security and Trust (HOST\u201916) . IEEE, 236--241. M. Yasin et\u00a0al. 2016. Sarlock: Sat attack resistant logic locking. In Proceedings of the IEEE International Symposium on Hardware-Oriented Security and Trust (HOST\u201916). IEEE, 236--241."},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2801220"},{"key":"e_1_2_1_20_1","volume-title":"Proceedings of the ACM Conference on Computer and Communications Security (CCS\u201917)","author":"\u00a0al M. Yasin","year":"2017","unstructured":"M. Yasin et \u00a0al . 2017 . Provably secure logic locking: From theory to practice . In Proceedings of the ACM Conference on Computer and Communications Security (CCS\u201917) . ACM, 1601--1618. M. Yasin et\u00a0al. 2017. Provably secure logic locking: From theory to practice. In Proceedings of the ACM Conference on Computer and Communications Security (CCS\u201917). ACM, 1601--1618."},{"key":"e_1_2_1_21_1","volume-title":"Proceedings of the International Conference on Cryptographic Hardware and Embedded Systems. Springer, 189--210","author":"\u00a0al X. Xu","year":"2017","unstructured":"X. Xu et \u00a0al . 2017 . Novel bypass attack and BDD-based tradeoff analysis against all known logic locking attacks . In Proceedings of the International Conference on Cryptographic Hardware and Embedded Systems. Springer, 189--210 . X. Xu et\u00a0al. 2017. Novel bypass attack and BDD-based tradeoff analysis against all known logic locking attacks. In Proceedings of the International Conference on Cryptographic Hardware and Embedded Systems. Springer, 189--210."},{"key":"e_1_2_1_22_1","volume-title":"Proceedings of the 22nd Asia and South Pacific Design Automation Conference (ASP-DAC\u201917)","author":"\u00a0al M. Yasin","year":"2017","unstructured":"M. Yasin et \u00a0al . 2017 . Security analysis of anti-sat . In Proceedings of the 22nd Asia and South Pacific Design Automation Conference (ASP-DAC\u201917) . IEEE, 342--347. M. Yasin et\u00a0al. 2017. Security analysis of anti-sat. In Proceedings of the 22nd Asia and South Pacific Design Automation Conference (ASP-DAC\u201917). IEEE, 342--347."},{"key":"e_1_2_1_23_1","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1109\/TETC.2017.2740364","article-title":"Removal attacks on logic locking and camouflaging techniques","volume":"8","author":"\u00a0al M. Yasin","year":"2017","unstructured":"M. Yasin et \u00a0al . 2017 . Removal attacks on logic locking and camouflaging techniques . IEEE Trans. Emerg. Top. Comput. 8 , 2 (2017), 517 -- 532 . M. Yasin et\u00a0al. 2017. Removal attacks on logic locking and camouflaging techniques. IEEE Trans. Emerg. Top. Comput. 8, 2 (2017), 517--532.","journal-title":"IEEE Trans. Emerg. Top. Comput."},{"key":"e_1_2_1_24_1","volume-title":"Proceedings of the IEEE International Symposium on Hardware Oriented Security and Trust (HOST\u201917)","author":"\u00a0al K. Shamsi","year":"2017","unstructured":"K. Shamsi et \u00a0al . 2017 . Appsat: Approximately deobfuscating integrated circuits . In Proceedings of the IEEE International Symposium on Hardware Oriented Security and Trust (HOST\u201917) . IEEE, 95--100. K. Shamsi et\u00a0al. 2017. Appsat: Approximately deobfuscating integrated circuits. In Proceedings of the IEEE International Symposium on Hardware Oriented Security and Trust (HOST\u201917). IEEE, 95--100."},{"key":"e_1_2_1_25_1","volume-title":"Proceedings of the Design, Automation, and Test in Europe Conference (DATE\u201919)","author":"Sirone D.","unstructured":"D. Sirone and P. Subramanyan . 2019. Functional analysis attacks on logic locking . In Proceedings of the Design, Automation, and Test in Europe Conference (DATE\u201919) . IEEE, 936--939. D. Sirone and P. Subramanyan. 2019. Functional analysis attacks on logic locking. In Proceedings of the Design, Automation, and Test in Europe Conference (DATE\u201919). IEEE, 936--939."},{"key":"e_1_2_1_26_1","volume-title":"ScanSAT: Unlocking static and dynamic scan obfuscation","author":"\u00a0al L. Alrahis","year":"2019","unstructured":"L. Alrahis et \u00a0al . 2019. ScanSAT: Unlocking static and dynamic scan obfuscation . In IEEE Trans. Emerg. Top. Comput . ( 2019 ). https:\/\/doi.org\/10.1109\/TETC.2019.2940750 10.1109\/TETC.2019.2940750 L. Alrahis et\u00a0al. 2019. ScanSAT: Unlocking static and dynamic scan obfuscation. In IEEE Trans. Emerg. Top. Comput. (2019). https:\/\/doi.org\/10.1109\/TETC.2019.2940750"},{"key":"e_1_2_1_27_1","doi-asserted-by":"crossref","first-page":"1867","DOI":"10.1109\/TCAD.2017.2772817","article-title":"Secure scan and test using obfuscation throughout supply chain","volume":"37","author":"\u00a0al X. Wang","year":"2017","unstructured":"X. Wang et \u00a0al . 2017 . Secure scan and test using obfuscation throughout supply chain . IEEE Trans. Integr. Circ. Syst. 37 , 9 (2017), 1867 -- 1880 . X. Wang et\u00a0al. 2017. Secure scan and test using obfuscation throughout supply chain. IEEE Trans. Integr. Circ. Syst. 37, 9 (2017), 1867--1880.","journal-title":"IEEE Trans. Integr. Circ. Syst."},{"key":"e_1_2_1_28_1","first-page":"363","article-title":"Static and dynamic obfuscations of scan data against scan-based side-channel attacks","volume":"12","author":"\u00a0al A. Cui","year":"2016","unstructured":"A. Cui et \u00a0al . 2016 . Static and dynamic obfuscations of scan data against scan-based side-channel attacks . IEEE TIFS 12 , 2 (2016), 363 -- 376 . A. Cui et\u00a0al. 2016. Static and dynamic obfuscations of scan data against scan-based side-channel attacks. IEEE TIFS 12, 2 (2016), 363--376.","journal-title":"IEEE TIFS"},{"key":"e_1_2_1_29_1","volume-title":"Proceedings of the IEEE\/ACM International Conference on Computer-Aided Design (ICCAD\u201914)","author":"Plaza S. M.","unstructured":"S. M. Plaza and I. L. Markov . 2014. Protecting integrated circuits from piracy with test-aware logic locking . In Proceedings of the IEEE\/ACM International Conference on Computer-Aided Design (ICCAD\u201914) . IEEE Press, 262--269. S. M. Plaza and I. L. Markov. 2014. Protecting integrated circuits from piracy with test-aware logic locking. In Proceedings of the IEEE\/ACM International Conference on Computer-Aided Design (ICCAD\u201914). IEEE Press, 262--269."},{"key":"e_1_2_1_30_1","volume-title":"Proceedings of the Network and Distributed System Security Symposium (NDSS\u201915)","author":"\u00a0al M. El Massad","year":"2015","unstructured":"M. El Massad et \u00a0al . 2015 . Integrated circuit (ic) decamouflaging: Reverse engineering camouflaged ICs within minutes . In Proceedings of the Network and Distributed System Security Symposium (NDSS\u201915) . 1--14. M. El Massad et\u00a0al. 2015. Integrated circuit (ic) decamouflaging: Reverse engineering camouflaged ICs within minutes. In Proceedings of the Network and Distributed System Security Symposium (NDSS\u201915). 1--14."},{"key":"e_1_2_1_31_1","unstructured":"R. Karmakar et\u00a0al. 2018. Encrypt flip-flop: A novel logic encryption technique for sequential circuits. Retrieved from https:\/\/arXiv:1801.04961.  R. Karmakar et\u00a0al. 2018. Encrypt flip-flop: A novel logic encryption technique for sequential circuits. Retrieved from https:\/\/arXiv:1801.04961."},{"key":"e_1_2_1_32_1","volume-title":"Proceedings of the IEEE International Symposium on Hardware Oriented Security and Trust (HOST\u201909)","author":"\u00a0al K. Kursawe","year":"2009","unstructured":"K. Kursawe et \u00a0al . 2009 . Reconfigurable physical unclonable functions-enabling technology for tamper-resistant storage . In Proceedings of the IEEE International Symposium on Hardware Oriented Security and Trust (HOST\u201909) . IEEE, 22--29. K. Kursawe et\u00a0al. 2009. Reconfigurable physical unclonable functions-enabling technology for tamper-resistant storage. In Proceedings of the IEEE International Symposium on Hardware Oriented Security and Trust (HOST\u201909). IEEE, 22--29."},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2007.906483"},{"key":"e_1_2_1_34_1","volume-title":"Proceedings of the IEEE International Symposium on Circuits and Systems. 1929--1934","author":"\u00a0al F. Brglez","year":"1989","unstructured":"F. Brglez et \u00a0al . 1989 . Combinational profiles of sequential benchmark circuits . In Proceedings of the IEEE International Symposium on Circuits and Systems. 1929--1934 . F. Brglez et\u00a0al. 1989. Combinational profiles of sequential benchmark circuits. In Proceedings of the IEEE International Symposium on Circuits and Systems. 1929--1934."},{"key":"e_1_2_1_35_1","first-page":"44","article-title":"Rt-level itc\u201999 benchmarks and first atpg results","volume":"17","author":"\u00a0al F. Corno","year":"2000","unstructured":"F. Corno et \u00a0al . 2000 . Rt-level itc\u201999 benchmarks and first atpg results . IEEE DTC 17 , 3 (2000), 44 -- 53 . F. Corno et\u00a0al. 2000. Rt-level itc\u201999 benchmarks and first atpg results. IEEE DTC 17, 3 (2000), 44--53.","journal-title":"IEEE DTC"},{"key":"e_1_2_1_36_1","volume-title":"Proceedings of the 4th International Workshop on Boolean Functions: Cryptography and Applications. 173--184","author":"\u00a0al C. McDonald","year":"2008","unstructured":"C. McDonald et \u00a0al . 2008 . An algebraic analysis of trivium ciphers based on the boolean satisfiability problem . In Proceedings of the 4th International Workshop on Boolean Functions: Cryptography and Applications. 173--184 . C. McDonald et\u00a0al. 2008. An algebraic analysis of trivium ciphers based on the boolean satisfiability problem. In Proceedings of the 4th International Workshop on Boolean Functions: Cryptography and Applications. 173--184."},{"key":"e_1_2_1_37_1","unstructured":"G. V. Bard et\u00a0al. 2007. Efficient methods for conversion and solution of sparse systems of low-degree multivariate polynomials over gf (2) via sat-solvers. https:\/\/eprint.iacr.org\/2007\/024.  G. V. Bard et\u00a0al. 2007. Efficient methods for conversion and solution of sparse systems of low-degree multivariate polynomials over gf (2) via sat-solvers. https:\/\/eprint.iacr.org\/2007\/024."},{"key":"e_1_2_1_38_1","volume-title":"Stream Ciphers","author":"Klein A.","unstructured":"A. Klein . 2013. Linear feedback shift registers . In Stream Ciphers . Springer , 17--58. A. Klein. 2013. Linear feedback shift registers. In Stream Ciphers. Springer, 17--58."},{"key":"e_1_2_1_39_1","volume-title":"Proceedings of the International Conference on Principles and Practice of Constraint Programming. Springer, 143--159","author":"\u00a0al C. Coarfa","year":"2000","unstructured":"C. Coarfa et \u00a0al . 2000 . Random 3-sat: The plot thickens . In Proceedings of the International Conference on Principles and Practice of Constraint Programming. Springer, 143--159 . C. Coarfa et\u00a0al. 2000. Random 3-sat: The plot thickens. In Proceedings of the International Conference on Principles and Practice of Constraint Programming. Springer, 143--159."},{"key":"e_1_2_1_40_1","volume-title":"Automation of Reasoning","author":"Tseitin G. S.","unstructured":"G. S. Tseitin . 1983. On the complexity of derivation in propositional calculus . In Automation of Reasoning . Springer , 466--483. G. S. Tseitin. 1983. On the complexity of derivation in propositional calculus. In Automation of Reasoning. Springer, 466--483."},{"key":"e_1_2_1_41_1","doi-asserted-by":"crossref","unstructured":"J. C.-M. Li and M. S. Hsiao. 2009. Fault simulation and test generation. In Electronic Design Automation. Elsevier 851--917.  J. C.-M. Li and M. S. Hsiao. 2009. Fault simulation and test generation. In Electronic Design Automation. Elsevier 851--917.","DOI":"10.1016\/B978-0-12-374364-0.50021-7"},{"key":"e_1_2_1_42_1","first-page":"41","article-title":"On problems as hard as cnf-sat","volume":"12","author":"\u00a0al M. Cygan","year":"2016","unstructured":"M. Cygan et \u00a0al . 2016 . On problems as hard as cnf-sat . ACM Trans. Algor. 12 , 3 (2016), 41 . M. Cygan et\u00a0al. 2016. On problems as hard as cnf-sat. ACM Trans. Algor. 12, 3 (2016), 41.","journal-title":"ACM Trans. Algor."},{"key":"e_1_2_1_43_1","volume-title":"Proceedings of the European Design and Test Conference (ED&TC\u201995)","author":"\u00a0al T. E.","year":"1995","unstructured":"T. E. Marchok et \u00a0al . 1995 . Complexity of sequential ATPG . In Proceedings of the European Design and Test Conference (ED&TC\u201995) . IEEE, 252--261. T. E. Marchok et\u00a0al. 1995. Complexity of sequential ATPG. In Proceedings of the European Design and Test Conference (ED&TC\u201995). IEEE, 252--261."},{"key":"e_1_2_1_44_1","volume-title":"Proceedings of the IEEE Asian Hardware-Oriented Security and Trust Conference (AsianHOST\u201918)","author":"\u00a0al P. Chakraborty","year":"2018","unstructured":"P. Chakraborty et \u00a0al . 2018 . Sail: Machine learning guided structural analysis attack on hardware obfuscation . In Proceedings of the IEEE Asian Hardware-Oriented Security and Trust Conference (AsianHOST\u201918) . IEEE, 56--61. P. Chakraborty et\u00a0al. 2018. Sail: Machine learning guided structural analysis attack on hardware obfuscation. In Proceedings of the IEEE Asian Hardware-Oriented Security and Trust Conference (AsianHOST\u201918). IEEE, 56--61."},{"key":"e_1_2_1_45_1","volume-title":"Proceedings of the Annual International Cryptology Conference. Springer, 513--525","author":"Biham E.","unstructured":"E. Biham and A. Shamir . 1997. Differential fault analysis of secret key cryptosystems . In Proceedings of the Annual International Cryptology Conference. Springer, 513--525 . E. Biham and A. Shamir. 1997. Differential fault analysis of secret key cryptosystems. In Proceedings of the Annual International Cryptology Conference. Springer, 513--525."},{"key":"e_1_2_1_46_1","first-page":"58","article-title":"A novel differential scan attack on advanced dft structures","volume":"18","author":"\u00a0al J. D.","year":"2013","unstructured":"J. D. Rolt et \u00a0al . 2013 . A novel differential scan attack on advanced dft structures . ACM Trans. Design Autom. Electr. Syst. 18 , 4 (2013), 58 . J. D. Rolt et\u00a0al. 2013. A novel differential scan attack on advanced dft structures. ACM Trans. Design Autom. Electr. Syst. 18, 4 (2013), 58.","journal-title":"ACM Trans. Design Autom. Electr. Syst."},{"key":"e_1_2_1_48_1","volume-title":"Proceedings of the IEEE\/ACM International Conference on Computer-Aided Design (ICCAD\u201917)","author":"\u00a0al El Massad","year":"2017","unstructured":"El Massad et \u00a0al . 2017 . Reverse engineering camouflaged sequential circuits without scan access . In Proceedings of the IEEE\/ACM International Conference on Computer-Aided Design (ICCAD\u201917) . 33--40. El Massad et\u00a0al. 2017. Reverse engineering camouflaged sequential circuits without scan access. In Proceedings of the IEEE\/ACM International Conference on Computer-Aided Design (ICCAD\u201917). 33--40."},{"key":"e_1_2_1_49_1","volume-title":"Proceedings of the SAT Competition.","author":"Biere Armin","year":"2013","unstructured":"Armin Biere . 2013 . Lingeling, plingeling and treengeling entering the SAT competition 2013 . In Proceedings of the SAT Competition. Armin Biere. 2013. Lingeling, plingeling and treengeling entering the SAT competition 2013. In Proceedings of the SAT Competition."},{"key":"e_1_2_1_50_1","volume-title":"Proceedings of the SAT Competition.","author":"Soos Mate","year":"2016","unstructured":"Mate Soos . 2016 . The CryptoMiniSat 5 set of solvers at SAT competition 2016 . In Proceedings of the SAT Competition. Mate Soos. 2016. The CryptoMiniSat 5 set of solvers at SAT competition 2016. In Proceedings of the SAT Competition."},{"key":"e_1_2_1_51_1","volume-title":"Proceedings of the International Conference on Theory and Applications of Satisfiability Testing (SAT\u201905)","author":"Sorensson Niklas","year":"2005","unstructured":"Niklas Sorensson and Niklas Een . 2005 . Minisat v1. 13-a sat solver with conflict-clause minimization . In Proceedings of the International Conference on Theory and Applications of Satisfiability Testing (SAT\u201905) . 1--2. Niklas Sorensson and Niklas Een. 2005. Minisat v1. 13-a sat solver with conflict-clause minimization. In Proceedings of the International Conference on Theory and Applications of Satisfiability Testing (SAT\u201905). 1--2."},{"key":"e_1_2_1_52_1","volume-title":"Proceedings of the International Conference on Computer Aided Verification. 495--499","author":"Cimatti A.","unstructured":"A. Cimatti , E. Clarke , F. Giunchiglia , and M. Roveri . 1999. NuSMV: A new symbolic model verifier . In Proceedings of the International Conference on Computer Aided Verification. 495--499 . A. Cimatti, E. Clarke, F. Giunchiglia, and M. Roveri. 1999. NuSMV: A new symbolic model verifier. In Proceedings of the International Conference on Computer Aided Verification. 495--499."},{"key":"e_1_2_1_53_1","volume-title":"Proceedings of the IEEE International SoC Design Conference (ISOCC\u201912)","author":"\u00a0al Y. Atobe","year":"2012","unstructured":"Y. Atobe et \u00a0al . 2012 . Dynamically changeable secure scan architecture against scan-based side channel attack . In Proceedings of the IEEE International SoC Design Conference (ISOCC\u201912) . 155--158. Y. Atobe et\u00a0al. 2012. Dynamically changeable secure scan architecture against scan-based side channel attack. In Proceedings of the IEEE International SoC Design Conference (ISOCC\u201912). 155--158."},{"key":"e_1_2_1_54_1","doi-asserted-by":"crossref","unstructured":"N. Limaye et\u00a0al. 2020. DynUnlock: Unlocking scan chains obfuscated using dynamic keys. Retrieved from https:\/\/arXiv:2001.06724.  N. Limaye et\u00a0al. 2020. DynUnlock: Unlocking scan chains obfuscated using dynamic keys. Retrieved from https:\/\/arXiv:2001.06724.","DOI":"10.23919\/DATE48585.2020.9116197"},{"key":"e_1_2_1_55_1","volume-title":"Proceedings of the IEEE 36th Very Large-scale Integration Test Symposium (VTS\u201918)","author":"\u00a0al A. Sengupta","year":"2018","unstructured":"A. Sengupta et \u00a0al . 2018 . ATPG-based cost-effective, secure logic locking . In Proceedings of the IEEE 36th Very Large-scale Integration Test Symposium (VTS\u201918) . 1--6. A. Sengupta et\u00a0al. 2018. ATPG-based cost-effective, secure logic locking. In Proceedings of the IEEE 36th Very Large-scale Integration Test Symposium (VTS\u201918). 1--6."},{"key":"e_1_2_1_56_1","doi-asserted-by":"crossref","unstructured":"A. Jain et\u00a0al. 2020. Atpg-guided fault injection attacks on logic locking. Retrieved from https:\/\/arXiv:2007.10512.  A. Jain et\u00a0al. 2020. Atpg-guided fault injection attacks on logic locking. Retrieved from https:\/\/arXiv:2007.10512.","DOI":"10.1109\/PAINE49178.2020.9337734"},{"key":"e_1_2_1_57_1","volume-title":"Efficient key-gate placement and dynamic scan obfuscation towards robust logic encryption","author":"\u00a0al R. Karmakar","year":"2019","unstructured":"R. Karmakar et \u00a0al . 2019. Efficient key-gate placement and dynamic scan obfuscation towards robust logic encryption . IEEE Trans. Emerg. Topics Comput . ( 2019 ). https:\/\/doi.org\/10.1109\/TETC.2019.2963094 10.1109\/TETC.2019.2963094 R. Karmakar et\u00a0al. 2019. Efficient key-gate placement and dynamic scan obfuscation towards robust logic encryption. IEEE Trans. Emerg. Topics Comput. (2019). https:\/\/doi.org\/10.1109\/TETC.2019.2963094"},{"key":"e_1_2_1_58_1","volume-title":"Proceedings of the IEEE 26th International Symposium on On-Line Testing and Robust System Design (IOLTS\u201920)","author":"\u00a0al Q. Nguyen","year":"2020","unstructured":"Q. Nguyen et \u00a0al . 2020 . A secure scan controller for protecting logic locking . In Proceedings of the IEEE 26th International Symposium on On-Line Testing and Robust System Design (IOLTS\u201920) . IEEE. Q. Nguyen et\u00a0al. 2020. A secure scan controller for protecting logic locking. In Proceedings of the IEEE 26th International Symposium on On-Line Testing and Robust System Design (IOLTS\u201920). IEEE."},{"key":"e_1_2_1_59_1","volume-title":"Proceedings of the 54th Annual Design Automation Conference.","author":"\u00a0al Y. Xie","year":"2017","unstructured":"Y. Xie et \u00a0al . 2017 . Delay locking: Security enhancement of logic locking against ic counterfeiting and overproduction . In Proceedings of the 54th Annual Design Automation Conference. Y. Xie et\u00a0al. 2017. Delay locking: Security enhancement of logic locking against ic counterfeiting and overproduction. In Proceedings of the 54th Annual Design Automation Conference."},{"key":"e_1_2_1_60_1","volume-title":"Evaluating the security of delay-locked circuits","author":"\u00a0al A. Chakraborty","year":"2020","unstructured":"A. Chakraborty et \u00a0al . 2020. Evaluating the security of delay-locked circuits . IEEE Trans. Comput.-Aided Design Integr. Circ. Syst . ( 2020 ). https:\/\/doi.org\/10.1109\/TCAD.2020.3008843 10.1109\/TCAD.2020.3008843 A. Chakraborty et\u00a0al. 2020. Evaluating the security of delay-locked circuits. IEEE Trans. Comput.-Aided Design Integr. Circ. Syst. (2020). https:\/\/doi.org\/10.1109\/TCAD.2020.3008843"},{"key":"e_1_2_1_61_1","volume-title":"Proceedings of the on Great Lakes Symposium on Very Large-scale Integration (VLSI\u201917)","author":"\u00a0al Muhammad Yasin","year":"2017","unstructured":"Muhammad Yasin et \u00a0al . 2017 . What to lock? Functional and parametric locking . In Proceedings of the on Great Lakes Symposium on Very Large-scale Integration (VLSI\u201917) . Muhammad Yasin et\u00a0al. 2017. What to lock? Functional and parametric locking. In Proceedings of the on Great Lakes Symposium on Very Large-scale Integration (VLSI\u201917)."},{"key":"e_1_2_1_62_1","volume-title":"Proceedings of the Design, Automation and Test in Europe Conference and Exhibition (DATE\u201916)","author":"\u00a0al Muhammad Yasin","year":"2016","unstructured":"Muhammad Yasin et \u00a0al . 2016 . Activation of logic encrypted chips: Pre-test or post-test? In Proceedings of the Design, Automation and Test in Europe Conference and Exhibition (DATE\u201916) . IEEE. Muhammad Yasin et\u00a0al. 2016. Activation of logic encrypted chips: Pre-test or post-test? In Proceedings of the Design, Automation and Test in Europe Conference and Exhibition (DATE\u201916). IEEE."},{"key":"e_1_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/2893183"},{"issue":"9","key":"e_1_2_1_64_1","first-page":"026","article-title":"Key management using trusted platform modules","author":"\u00a0al Tolga Acar","year":"2015","unstructured":"Tolga Acar et \u00a0al . 2015 . Key management using trusted platform modules . U.S. Patent No. 9 , 026 ,805. Tolga Acar et\u00a0al. 2015. Key management using trusted platform modules. U.S. Patent No. 9,026,805.","journal-title":"U.S. Patent"},{"key":"e_1_2_1_65_1","volume-title":"Proceedings of the International Conference on the Theory and Applications of Cryptographic Techniques. Springer","author":"Nicolas","unstructured":"Nicolas T. Courtois and Willi Meier. 2003. Algebraic attacks on stream ciphers with linear feedback . In Proceedings of the International Conference on the Theory and Applications of Cryptographic Techniques. Springer , Berlin. Nicolas T. Courtois and Willi Meier. 2003. Algebraic attacks on stream ciphers with linear feedback. In Proceedings of the International Conference on the Theory and Applications of Cryptographic Techniques. Springer, Berlin."}],"container-title":["ACM Transactions on Design Automation of Electronic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3444960","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3444960","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:28:13Z","timestamp":1750195693000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3444960"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,3,13]]},"references-count":64,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2021,7,31]]}},"alternative-id":["10.1145\/3444960"],"URL":"https:\/\/doi.org\/10.1145\/3444960","relation":{},"ISSN":["1084-4309","1557-7309"],"issn-type":[{"value":"1084-4309","type":"print"},{"value":"1557-7309","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,3,13]]},"assertion":[{"value":"2020-06-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-12-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-03-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}