BeSAT: behavioral SAT-based attack on cyclic logic encryption.

Yuanqi Shen, You Li, Amin Rezaei, Shuyu Kong, David Dlott, Hai Zhou

Browse the full ASPDAC paper archive.