Attack of the Genes: Finding Keys and Parameters of Locked Analog ICs Using Genetic Algorithm

03/31/2020
by   Rabin Yu Acharya, et al.
0

Hardware intellectual property (IP) theft is a major issue in today's globalized supply chain. To address it, numerous logic locking and obfuscation techniques have been proposed. While locking initially focused on digital integrated circuits (ICs), there have been recent attempts to extend it to analog ICs, which are easier to reverse engineer and to copy than digital ICs. In this paper, we use algorithms based on evolutionary strategies to investigate the security of analog obfuscation/locking techniques. We present a genetic algorithm (GA) approach which is capable of completely breaking a locked analog circuit by finding either its obfuscation key or its obfuscated parameters. We implement both the GA attack as well as a more naive satisfiability modulo theory (SMT)-based attack on common analog benchmark circuits obfuscated by combinational locking and parameter biasing. We find that GA attack can unlock all the circuits using only the locked netlist and an unlocked chip in minutes. On the other hand, while the SMT attack converges faster, it requires circuit specification to execute and it also returns multiple keys that need to be brute-forced by a post-processing step. We also discuss how the GA attack can generalize to other recent analog locking techniques not tested in the paper

READ FULL TEXT
research
10/05/2011

Using Genetic Algorithm in the Evolutionary Design of Sequential Logic Circuits

Evolvable hardware (EHW) is a set of techniques that are based on the id...
research
09/05/2022

Leveraging Layout-based Effects for Locking Analog ICs

While various obfuscation methods exist in the digital domain, technique...
research
04/28/2023

Unraveling Latch Locking Using Machine Learning, Boolean Analysis, and ILP

Logic locking has become a promising approach to provide hardware securi...
research
06/23/2021

Prospects for Analog Circuits in Deep Networks

Operations typically used in machine learning al-gorithms (e.g. adds and...
research
10/26/2020

Track-Assignment Detailed Routing Using Attention-based Policy Model With Supervision

Detailed routing is one of the most critical steps in analog circuit des...
research
02/10/2022

CMOS Circuits for Shape-Based Analog Machine Learning

While analog computing is attractive for implementing machine learning (...
research
09/06/2020

A Comparison of Virtual Analog Modelling Techniques for Desktop and Embedded Implementations

We develop a virtual analog model of the Klon Centaur guitar pedal circu...

Please sign up or login with your details

Forgot password? Click here to reset