A new key-gate insertion strategy for logic locking with high output corruption - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

A new key-gate insertion strategy for logic locking with high output corruption

Résumé

The outsourcing business model currently dominates the semiconductor industry. Ever-shrinking technologies have indeed raised the cost of manufacturing Integrated Circuits (ICs). Currently, constructing a fabrication plan with advanced technologies (5 nm to 3 nm) costs more than $10 Billions [1]. Therefore, outsourcing the fabrication process to offshore, but possibly unreliable, foundries has become a major trend [2]. This leads to possible security threats on hardware, such as IP piracy, Hardware Trojan insertion and IC overproduction [3]. Logic locking has emerged as a solution to protect ICs against overproduction – An untrusted foundry fabricating more ICs than the required/ordered number in order to sell the excess on the black market. Logic locking consists in modifying the circuit structure with additional logic gates, driven by an added input pin: a key with a secret value, required for the IC to function properly [4]. For the past decade, logic locking has garnered tremendous attention from the research community [5]. Early research in logic locking focused on solutions based on key-gate insertion. One of the main goals of these techniques was to attain significant output corruption, so that a locked IC is unusable. In 2015, an oracle guided attack broke all previously proposed solutions [6], by discovering the value of the secret key thanks to a SAT solver and comparison of the outputs with the ones of an unlocked IC (the oracle). Subsequent locking methods therefore focused on thwarting this so-called SAT attack, often to the detriment of output corruption [5]. The computation time of this type of attacks indeed increases as corruption decreases. Most recent solutions have recently begun to propose a satisfactory compromise between output corruption and protection against the attack, making gate insertion algorithms aimed at maximizing corruption interesting once again [7]. In this presentation, we will present a scalable insertion strategy in which nets for insertion are chosen according to their output corruption score, computed by measuring the change in primary outputs’ probabilities to be logic 0 or logic 1, upon the insertion of a key gate onto the net or not. Experimental results show that this insertion strategy achieves optimal results in the three output corruptions metrics evaluated – output corruption rate (the percentage of input vectors leading to errors at the output of a locked circuit), output corruption coverage (the maximum number of outputs bit that can be corrupted) and output corruptibility (the average Hamming distance between the output on applying any wrong key and the correct key) – while requiring much less execution time than FLL [8], the initial most effective key gate insertion strategy strategy in terms of output corruption.
Fichier principal
Vignette du fichier
THCON22.pdf (174.17 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

lirmm-04048983 , version 1 (28-03-2023)

Identifiants

  • HAL Id : lirmm-04048983 , version 1

Citer

Quang-Linh Nguyen, Sophie Dupuis, Marie-Lise Flottes. A new key-gate insertion strategy for logic locking with high output corruption. THCon 2022 - Toulouse Hacking Convention, ENAC, Apr 2022, Toulouse, France. ⟨lirmm-04048983⟩
30 Consultations
27 Téléchargements

Partager

Gmail Facebook X LinkedIn More