B. Shakya, X. Xu, M. Tehranipoor, and D. Forte, “CAS-Lock: A Security-Corruptibility Trade-off Resilient Logic Locking Scheme”, TCHES, vol. 2020, no. 1, pp. 175–202, Nov. 2019.