CAS-Lock: A Security-Corruptibility Trade-off Resilient Logic Locking Scheme. TCHES. 2019;2020(1):175-202. doi:10.13154/tches.v2020.i1.175-202