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]

Abstract

Abstract is missing.