High-level Intellectual Property Obfuscation via Decoy Constants
Title | High-level Intellectual Property Obfuscation via Decoy Constants |
Publication Type | Conference Paper |
Year of Publication | 2021 |
Authors | Aksoy, Levent, Nguyen, Quang-Linh, Almeida, Felipe, Raik, Jaan, Flottes, Marie-Lise, Dupuis, Sophie, Pagliarini, Samuel |
Conference Name | 2021 IEEE 27th International Symposium on On-Line Testing and Robust System Design (IOLTS) |
Date Published | jun |
Keywords | automatic test pattern generation, Complexity theory, composability, digital FIR filter design, Foundries, Hardware, hardware obfuscation, intellectual property, intellectual property security, IP obfuscation, Logic gates, pattern locks, policy-based governance, pubcrawl, resilience, Resiliency, reverse engineering, SAT attack |
Abstract | This paper presents a high-level circuit obfuscation technique to prevent the theft of intellectual property (IP) of integrated circuits. In particular, our technique protects a class of circuits that relies on constant multiplications, such as neural networks and filters, where the constants themselves are the IP to be protected. By making use of decoy constants and a key-based scheme, a reverse engineer adversary at an untrusted foundry is rendered incapable of discerning true constants from decoys. The time-multiplexed constant multiplication (TMCM) block of such circuits, which realizes the multiplication of an input variable by a constant at a time, is considered as our case study for obfuscation. Furthermore, two TMCM design architectures are taken into account; an implementation using a multiplier and a multiplierless shift-adds implementation. Optimization methods are also applied to reduce the hardware complexity of these architectures. The well-known satisfiability (SAT) and automatic test pattern generation (ATPG) based attacks are used to determine the vulnerability of the obfuscated designs. It is observed that the proposed technique incurs small overheads in area, power, and delay that are comparable to the hardware complexity of prominent logic locking methods. Yet, the advantage of our approach is in the insight that constants - instead of arbitrary circuit nodes - become key-protected. |
DOI | 10.1109/IOLTS52814.2021.9486714 |
Citation Key | aksoy_high-level_2021 |
- intellectual property security
- SAT attack
- reverse engineering
- Resiliency
- resilience
- pubcrawl
- policy-based governance
- Logic gates
- IP obfuscation
- pattern locks
- intellectual property
- hardware obfuscation
- Hardware
- Foundries
- digital FIR filter design
- composability
- Complexity theory
- automatic test pattern generation