Strong Anti-SAT: Secure and Effective Logic Locking

Yuntao Liu 0001, Michael Zuzak, Yang Xie, Abhishek Chakraborty 0001, Ankur Srivastava. Strong Anti-SAT: Secure and Effective Logic Locking. IACR Cryptology ePrint Archive, 2020:202, 2020. [doi]

Abstract

Abstract is missing.