| Title | A Novel PUF based Logic Encryption Technique to Prevent SAT Attacks and Trojan Insertion |
| Publication Type | Conference Paper |
| Year of Publication | 2018 |
| Authors | Mobaraki, S., Amirkhani, A., Atani, R. E. |
| Conference Name | 2018 9th International Symposium on Telecommunications (IST) |
| Keywords | Anti-Trojan insertion algorithm, composability, Controllability, copy protection, cryptography, design-for-trust, Encryption, encryption key, Hardware, hardware obfuscation, hardware security, hardware trojan, hardware Trojan insertion, HT insertion, industrial property, integrated circuit design, integrated circuits, intellectual property/IC, invasive software, IP piracy, logic circuits, logic encryption methods, logic encryption techniques, Logic gates, logic locking, physical unclonable function, policy-based governance, pubcrawl, PUF based logic encryption technique, PUF-based encryption, Rare Signal, Resiliency, reverse engineering, reverse engineering attack, SAT attack, Topology, Trojan horses, unique encryption |
| Abstract | The manufacturing of integrated circuits (IC) outside of the design houses makes it possible for the adversary to easily perform a reverse engineering attack against intellectual property (IP)/IC. The aim of this attack can be the IP piracy, overproduction, counterfeiting or inserting hardware Trojan (HT) throughout the supply chain of the IC. Preventing hardware Trojan insertion is a significant issue in the context of hardware security (HS) and has not been considered in most of the previous logic encryption methods. To eliminate this problem, in this paper an Anti-Trojan insertion algorithm is presented. The idea is based on the fact that reducing the signals with low-observability (LO) and low-controllability (LC) can prevent HT insertion significantly. The security of logic encryption methods depends on the algorithm and the encryption key. However, the security of these methods has been compromised by SAT attacks over recent years. SAT attacks, can decode the correct key from most logic encryption techniques. In this article, by using the PUF-based encryption, the applied key in the encryption is randomized and SAT attack cannot be performed. Based on the output of PUF, a unique encryption has been made for each chip that preventing from counterfeiting and IP piracy. |
| DOI | 10.1109/IS℡.2018.8661086 |
| Citation Key | mobaraki_novel_2018 |
A Novel PUF based Logic Encryption Technique to Prevent SAT Attacks and Trojan Insertion