Abstract
Cyclic logic encryption is newly proposed in the area of hardware security. It introduces feedback cycles into the circuit to defeat existing logic decryption techniques. To ensure that the circuit is acyclic under the correct key, CycSAT is developed to add the acyclic condition as a CNF formula to the SAT-based attack. However, we found that it is impossible to capture all cycles in any graph with any set of feedback signals as done in the CycSAT algorithm. In this paper, we propose a behavioral SAT-based attack called BeSAT. BeSAT observes the behavior of the encrypted circuit on top of the structural analysis, so the stateful and oscillatory keys missed by CycSAT can still be blocked. The experimental results show that BeSAT successfully overcomes the drawback of CycSAT.
| Original language | English (US) |
|---|---|
| Title of host publication | ASP-DAC 2019 - 24th Asia and South Pacific Design Automation Conference |
| Publisher | Institute of Electrical and Electronics Engineers Inc. |
| Pages | 657-662 |
| Number of pages | 6 |
| ISBN (Electronic) | 9781450360074 |
| DOIs | |
| State | Published - Jan 21 2019 |
| Event | 24th Asia and South Pacific Design Automation Conference, ASPDAC 2019 - Tokyo, Japan Duration: Jan 21 2019 → Jan 24 2019 |
Publication series
| Name | Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC |
|---|
Other
| Other | 24th Asia and South Pacific Design Automation Conference, ASPDAC 2019 |
|---|---|
| Country/Territory | Japan |
| City | Tokyo |
| Period | 1/21/19 → 1/24/19 |
Funding
This work is partially supported by NSF under CNS-1441695, CCF-1533656, and CNS-1651695.
ASJC Scopus subject areas
- Electrical and Electronic Engineering
- Computer Science Applications
- Computer Graphics and Computer-Aided Design