IcySAT: Improved SAT-based Attacks on Cyclic Locked Circuits | IEEE Conference Publication | IEEE Xplore