Welcome to the resource topic for 2020/324
Title:
Defeating CAS-Unlock
Authors: Bicky Shakya, Xiaolin Xu, Mark Tehranipoor, Domenic Forte
Abstract:Recently, a logic locking approach termed CAS-Lock' was proposed to simultaneously counter Boolean satisfiability (SAT) and bypass attacks. The technique modifies the AND/OR tree structure in Anti-SAT to achieve non-trivial output corruptibility while maintaining resistance to both SAT and bypass attacks. An attack against CAS-Lock (dubbed CAS-Unlock’) was also recently proposed on a naive implementation of CAS-Lock. It relies on setting key values to all 1’s or 0’s to break CAS-Lock. In this short paper, we evaluate this attack’s ineffectiveness and describe a misinterpretation of CAS-Lock’s implementation.
ePrint: https://eprint.iacr.org/2020/324
See all topics related to this paper.
Feel free to post resources that are related to this paper below.
Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.
For more information, see the rules for Resource Topics .