Mitigating SAT Attack on Logic Locking

Yang Xie, Ankur Srivastava. Mitigating SAT Attack on Logic Locking. IACR Cryptology ePrint Archive, 2016:590, 2016. [doi]

Abstract

Abstract is missing.