Cyclic Obfuscation for Creating SAT-Unresolvable Circuits

Kaveh Shamsi, Meng Li, Travis Meade, Zheng Zhao, David Z. Pan, Yier Jin. Cyclic Obfuscation for Creating SAT-Unresolvable Circuits. In Laleh Behjat, Jie Han, Miroslav N. Velev, Deming Chen, editors, Proceedings of the on Great Lakes Symposium on VLSI 2017, Banff, AB, Canada, May 10-12, 2017. pages 173-178, ACM, 2017. [doi]

Authors

Kaveh Shamsi

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

Meng Li

This author has not been identified. Look up 'Meng Li' in Google

Travis Meade

This author has not been identified. Look up 'Travis Meade' in Google

Zheng Zhao

This author has not been identified. Look up 'Zheng Zhao' 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