Provably Secure Active IC Metering Techniques for Piracy Avoidance and Digital Rights Management
- 29 July 2011
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Information Forensics and Security
- Vol. 7 (1), 51-63
- https://doi.org/10.1109/tifs.2011.2163307
Abstract
In the horizontal semiconductor business model where the designer's intellectual property (IP) is transparent to foundry and to other entities on the production chain, integrated circuits (ICs) overbuilding and IP piracy are prevalent problems. Active metering is a suite of methods enabling the designers to control their chips postfabrication. We provide a comprehensive description of the first known active hardware metering method and introduce new formal security proofs. The active metering method uniquely and automatically locks each IC upon manufacturing, such that the IP rights owner is the only entity that can provide the specific key to unlock or otherwise control each chip. The IC control mechanism exploits: 1) the functional description of the design, and 2) unique and unclonable IC identifiers. The locks are embedded by modifying the structure of the hardware computation model, in the form of a finite state machine (FSM). We show that for each IC hiding the locking states within the modified FSM structure can be constructed as an instance of a general output multipoint function that can be provably efficiently obfuscated. The hidden locks within the FSM may also be used for remote enabling and disabling of chips by the IP rights owner during the IC's normal operation. An automatic synthesis method for low overhead hardware implementation is devised. Attacks and countermeasures are addressed. Experimental evaluations demonstrate the low overhead of the method. Proof-of-concept implementation on the H.264 MPEG decoder automatically synthesized on a Xilinix Virtex-5 field-programmable gate array (FPGA) further shows the practicality, security, and the low overhead of the new method.Keywords
This publication has 33 references indexed in Scilit:
- Techniques for Design and Implementation of Secure Reconfigurable PUFsACM Transactions on Reconfigurable Technology and Systems, 2009
- Hardware-Based Public-Key Cryptography with Public Physically Unclonable FunctionsLecture Notes in Computer Science, 2009
- Trusted Integrated Circuits: A Nondestructive Hidden Characteristics Extraction ApproachLecture Notes in Computer Science, 2008
- On Best-Possible ObfuscationLecture Notes in Computer Science, 2007
- Bogus: electronic manufacturing and consumers confront a rising tide of counterfeit electronicsIEEE Spectrum, 2006
- Behavioral synthesis techniques for intellectual property protectionACM Transactions on Design Automation of Electronic Systems, 2005
- Security in embedded systemsACM Transactions on Embedded Computing Systems, 2004
- Information Hiding in Finite State MachineLecture Notes in Computer Science, 2004
- Intellectual Property MeteringLecture Notes in Computer Science, 2001
- Techniques for the creation of digital watermarks in sequential circuit designsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2001