CycSAT: SAT-Based Attack on Cyclic Logic Encryptions. - Hai Zhou 001; Ruifeng Jiang; Shuyu Kong (IACR Cryptol. ePrint Arch., 2017)