Yuntao Liu 0001, Michael Zuzak, Yang Xie, Abhishek Chakraborty 0001, Ankur Srivastava. Strong Anti-SAT: Secure and Effective Logic Locking. In 21st International Symposium on Quality Electronic Design, ISQED 2020, Santa Clara, CA, USA, March 25-26, 2020. pages 199-205, IEEE, 2020. [doi]
Abstract is missing.