論理暗号化に対するSAT攻撃の効率的なアルゴリズムについて

• Item type: SIG Technical Reports(1)
• 公開日: 2018-11-28
• タイトル: 論理暗号化に対するSAT攻撃の効率的なアルゴリズムについて
• タイトル / 言語: en
• タイトル: An efficient SAT-attack algorithm against logic encryption
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: アルゴリズム
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 九州大学大学院システム情報科学研究院
• 著者所属: 京都産業大学情報理工学部
• 著者所属(英): en
• 著者所属(英): Faculty of Information Science and Electorical Engineering, Kyushu University
• 著者所属(英): en
• 著者所属(英): Faculty of Information Science and Engineering, Kyoto Sangyo University
• 著者名: 松永, 裕介; 吉村, 正義
• 著者名(英): Yusuke, Matsunaga; Masayoshi, Yoshimura
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本稿では論理 IP の剽窃や盗用を防ぐための論理暗号化手法に対する攻撃手法である SAT 攻撃の効率的なアルゴリズムについて述べる．既存の SAT 攻撃アルゴリズムは従来の暗号化手法のほとんどを解読することが可能であるが，多大な計算時間を要する場合もある．これは SAT 問題を繰り返し解いていく際に追加される節の数が膨大になっていることに起因する．そこで，追加する節の元となっている論理回路の等価性を調べることで重複した節の追加を行わない改良版の SAT 攻撃アルゴリズムを開発した．実験結果によればほとんどの例題に対してより短い時間で処理を行っており，最大で 35 倍の高速化を達成している．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: 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.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11451459
• 書誌情報: 研究報告システムとLSIの設計技術（SLDM）; 巻 2018-SLDM-185, 号 27, p. 1-6, 発行日 2018-11-28
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 2188-8639
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会