Tool Fun-SAT [code] An open-source SAT-based attack tool against sequential logic locking of integrated circuits. TriLock [code] IC protection with tunable corruptibility and resilience to SAT and removal attacks.
