CycSAT: SAT-based attack on cyclic logic encryptions.

Hai Zhou, Ruifeng Jiang, Shuyu Kong

Browse the full ICCAD paper archive.