Kaveh Shamsi, David Z. Pan, Yier Jin. IcySAT: Improved SAT-based Attacks on Cyclic Locked Circuits. In David Z. Pan, editor, Proceedings of the International Conference on Computer-Aided Design, ICCAD 2019, Westminster, CO, USA, November 4-7, 2019. pages 1-7, ACM, 2019. [doi]
Abstract is missing.