Yuanqi Shen, You Li, Amin Rezaei, Shuyu Kong, David Dlott, Hai Zhou. BeSAT: behavioral SAT-based attack on cyclic logic encryption. In Toshiyuki Shibuya, editor, Proceedings of the 24th Asia and South Pacific Design Automation Conference, ASPDAC 2019, Tokyo, Japan, January 21-24, 2019. pages 657-662, ACM, 2019. [doi]
Abstract is missing.