Complexity Analysis of the SAT Attack on Logic Locking. (arXiv:2207.01808v1 [cs.CR])

Due to the adoption of horizontal business models following the globalization
of semiconductor manufacturing, the overproduction of integrated circuits (ICs)
and the piracy of intellectual properties (IPs) can lead to significant damage
to the integrity of the semiconductor supply chain. Logic locking emerges as a
primary design-for-security measure to counter these threats, where ICs become
fully functional only when unlocked with a secret key. However, Boolean
satisfiability-based attacks have rendered most locking schemes ineffective.
This gives rise to numerous defenses …

analysis attack complexity logic sat