This module describes a powerful attack, SAT attack, developed in 2015 by researchers from Princeton (HOST 2015). This attack broke all the logic locking defenses existing at that time. In this module, we also talk about defenses, such as SARLock and TTLock, against the SAT attack.
