On SAT-Based Attacks On Encrypted Sequential Logic Circuits | IEEE Conference Publication | IEEE Xplore