Visible to the public An Efficient SAT-Attack Algorithm Against Logic Encryption

TitleAn Efficient SAT-Attack Algorithm Against Logic Encryption
Publication TypeConference Paper
Year of Publication2019
AuthorsMatsunaga, Yusuke, Yoshimura, Masayoshi
Conference Name2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design (IOLTS)
ISBN Number978-1-7281-2490-2
KeywordsBenchmark testing, composability, computability, cryptography, Cyber physical system, cyber physical systems, decryption, efficient encryption, encrypted circuits, Encryption, information science, integrated circuits, logic encryption, Logic gates, logic IP protection, pubcrawl, resilience, Resiliency, SAT, SAT-attack algorithm, Superluminescent diodes

This paper presents a novel efficient SAT-attack algorithm for logic encryption. The existing SAT-attack algorithm can decrypt almost all encrypted circuits proposed so far, however, there are cases that it takes a huge amount of CPU time. This is because the number of clauses being added during the decryption increases drastically in that case. To overcome that problem, a novel algorithm is developed, which considers the equivalence of clauses to be added. Experiments show that the proposed algorithm is much faster than the existing algorithm.

Citation Keymatsunaga_efficient_2019