IcySAT: Improved SAT-based Attacks on Cyclic Locked Circuits

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]

Authors

Kaveh Shamsi

This author has not been identified. Look up 'Kaveh Shamsi' in Google

David Z. Pan

This author has not been identified. Look up 'David Z. Pan' in Google

Yier Jin

This author has not been identified. Look up 'Yier Jin' in Google