An Efficient SAT-Attack Algorithm Against Logic Encryption

Yusuke Matsunaga, Masayoshi Yoshimura

研究成果: Chapter in Book/Report/Conference proceedingConference contribution

抄録

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.

本文言語英語
ホスト出版物のタイトル2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design, IOLTS 2019
編集者Dimitris Gizopoulos, Dan Alexandrescu, Panagiota Papavramidou, Michail Maniatakos
出版社Institute of Electrical and Electronics Engineers Inc.
ページ44-47
ページ数4
ISBN(電子版)9781728124902
DOI
出版ステータス出版済み - 7 2019
イベント25th IEEE International Symposium on On-Line Testing and Robust System Design, IOLTS 2019 - Rhodes, ギリシャ
継続期間: 7 1 20197 3 2019

出版物シリーズ

名前2019 IEEE 25th International Symposium on On-Line Testing and Robust System Design, IOLTS 2019

会議

会議25th IEEE International Symposium on On-Line Testing and Robust System Design, IOLTS 2019
国/地域ギリシャ
CityRhodes
Period7/1/197/3/19

All Science Journal Classification (ASJC) codes

  • 人工知能
  • コンピュータ ネットワークおよび通信
  • ハードウェアとアーキテクチャ
  • 安全性、リスク、信頼性、品質管理

フィンガープリント

「An Efficient SAT-Attack Algorithm Against Logic Encryption」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル