Visible to the public High-level Intellectual Property Obfuscation via Decoy Constants

TitleHigh-level Intellectual Property Obfuscation via Decoy Constants
Publication TypeConference Paper
Year of Publication2021
AuthorsAksoy, Levent, Nguyen, Quang-Linh, Almeida, Felipe, Raik, Jaan, Flottes, Marie-Lise, Dupuis, Sophie, Pagliarini, Samuel
Conference Name2021 IEEE 27th International Symposium on On-Line Testing and Robust System Design (IOLTS)
Date Publishedjun
Keywordsautomatic 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.

DOI10.1109/IOLTS52814.2021.9486714
Citation Keyaksoy_high-level_2021