A Critical Evaluation of the Paradigm Shift in the Design of Logic Encryption Algorithms
- Šišejković, D. , Merchant, F. , Leupers, R. , Ascheid, G. , Kiefer, V.
- 2019 International Symposium on VLSI Design, Automation and Test (VLSI-DAT)
- accepted for publication
The globalization of the integrated circuit supply chain has given rise to major security concerns ranging from intellectual property piracy to hardware Trojans. Logic encryption is a promising solution to tackle these threats. Recently, a Boolean satisfiability attack capable of unlocking existing logic encryption techniques was introduced. This attack initiated a paradigm shift in the design of logic encryption algorithms. However, recent approaches have been strongly focusing on low-cost countermeasures that unfortunately lead to low functional and structural corruption. In this paper, we show that a simple approach can offer provable security and more than 99% corruption if a higher area overhead is accepted. Our results strongly suggest that future proposals should consider higher overheads or more realistic circuit sizes for the evaluation of modern logic encryption algorithms.