IcySAT: Improved SAT-based Attacks on Cyclic Locked Circuits.

Kaveh Shamsi, David Z. Pan, Yier Jin

Browse the full ICCAD paper archive.