@techreport{oai:ipsj.ixsq.nii.ac.jp:00192599,
 author = {松永, 裕介 and 吉村, 正義 and Yusuke, Matsunaga and Masayoshi, Yoshimura},
 issue = {27},
 month = {Nov},
 note = {本稿では論理 IP の剽窃や盗用を防ぐための論理暗号化手法に対する攻撃手法である SAT 攻撃の効率的なアルゴリズムについて述べる．既存の SAT 攻撃アルゴリズムは従来の暗号化手法のほとんどを解読することが可能であるが，多大な計算時間を要する場合もある．これは SAT 問題を繰り返し解いていく際に追加される節の数が膨大になっていることに起因する．そこで，追加する節の元となっている論理回路の等価性を調べることで重複した節の追加を行わない改良版の SAT 攻撃アルゴリズムを開発した．実験結果によればほとんどの例題に対してより短い時間で処理を行っており，最大で 35 倍の高速化を達成している．, 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 equivallence of clauses to be added. Experiments show that the proposed algorithm is much faster than the existing algorithm.},
 title = {論理暗号化に対するSAT攻撃の効率的なアルゴリズムについて},
 year = {2018}
}