Truly Stripping Functionality for Logic Locking: A Fault-Based Perspective
Autor: | Nimisha Limaye, Mohammed Ashraf, Mohammed Nabeel, Abhrajit Sengupta, Ozgur Sinanoglu |
---|---|
Rok vydání: | 2020 |
Předmět: |
Very-large-scale integration
Computer science business.industry Overhead (engineering) 02 engineering and technology Automatic test pattern generation Computer Graphics and Computer-Aided Design 020202 computer hardware & architecture law.invention Microprocessor law Embedded system 0202 electrical engineering electronic engineering information engineering Electrical and Electronic Engineering business Resilience (network) Boolean satisfiability problem Software |
Zdroj: | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 39:4439-4452 |
ISSN: | 1937-4151 0278-0070 |
Popis: | Logic locking is a holistic solution to counter manufacturing threats, such as intellectual property (IP) piracy and overbuilding at the hardware level. However, years of research has exposed various flaws in locking, including a Boolean satisfiability (SAT)-based attack. Consequently, several SAT-resilient locking techniques, such as SARLock, Anti-SAT, and SFLL have been proposed, although certain instances of them have also been broken by a class of attacks, called removal attack. In this article, we approach logic locking by leveraging well-known principles from very large-scale integration (VLSI) testing and elicit logic locking properties that dictate the resilience of a locking technique against different attacks. We present a revised version of SFLL, namely SFLL-rem, that not only retains all security properties of SFLL, delivering resilience to all the state-of-the-art attacks SFLL can thwart, but also to the latest removal attacks that broke some SFLL instances. Further, we develop a security-aware CAD framework integrated with industry tools that incurs only −1.5%, 0%, and 4.13% overhead for power, performance, and area, respectively. We demonstrate a silicon implementation of SFLL-rem on ARM Cortex-M0 microprocessor in 65 nm. Moreover, we provide a framework for an SoC designer to customize logic locking based on the SoC blocks and their threat models; this is illustrated by locking a multimillion-gate SoC provided by DARPA, and taking the SoC all the way to GDSII layout. |
Databáze: | OpenAIRE |
Externí odkaz: |