These labels were automatically added by AI and may be inaccurate. For details, see About Literature Database.
Abstract
In a zero-trust fabless paradigm, designers are increasingly concerned about
hardware-based attacks on the semiconductor supply chain. Logic locking is a
design-for-trust method that adds extra key-controlled gates in the circuits to
prevent hardware intellectual property theft and overproduction. While
attackers have traditionally relied on an oracle to attack logic-locked
circuits, machine learning attacks have shown the ability to retrieve the
secret key even without access to an oracle. In this paper, we first examine
the limitations of state-of-the-art machine learning attacks and argue that the
use of key hamming distance as the sole model-guiding structural metric is not
always useful. Then, we develop, train, and test a corruptibility-aware graph
neural network-based oracle-less attack on logic locking that takes into
consideration both the structure and the behavior of the circuits. Our model is
explainable in the sense that we analyze what the machine learning model has
interpreted in the training process and how it can perform a successful attack.
Chip designers may find this information beneficial in securing their designs
while avoiding incremental fixes.
External Datasets
multiple logic-locked circuits of a single benchmark with different key sizes
5,390 elements of data with multiple labels, including a label for the locking method, a label for the designated key for each benchmark (be it correct or wrong), and a label for the ER of that key