SKG-Lock+: A Provably Secure Logic Locking SchemeCreating Significant Output Corruption - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Accéder directement au contenu
Article Dans Une Revue Electronics Année : 2022

SKG-Lock+: A Provably Secure Logic Locking SchemeCreating Significant Output Corruption

Résumé

The current trend to globalize the supply chain in the Integrated Circuits (ICs) industry has raised several security concerns including, among others, IC overproduction. Over the past years, logic locking has grown into a prominent countermeasure to tackle this threat in particular. Logic locking consists of "locking" an IC with an added primary input, the so-called key, which, unless fed with the correct secret value, renders the ICs unusable. One of the first criteria ensuring the quality of a logic locking technique was the output corruption, i.e., the corruption at the outputs of a locked circuit, for any wrong key value. However, since the introduction of SAT-based attacks, resulting countermeasures have compromised this criterion in favor of a better resilience against such attacks. In this work, we propose SKG-Lock+, a Provably Secure Logic Locking scheme that can thwart SAT-based attacks while maintaining significant output corruption. We perform a comprehensive security analysis of SKG-Lock+ and show its resilience against SAT-based attacks, as well as various other state-of-the-art attacks. Compared with related works, SKG-Lock+ provides higher output corruption and incurs acceptable overhead.
Fichier principal
Vignette du fichier
electronics-11-03906-v3.pdf (821.69 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

lirmm-03884259 , version 1 (05-12-2022)

Licence

Paternité

Identifiants

Citer

Quang-Linh Nguyen, Sophie Dupuis, Marie-Lise Flottes, Bruno Rouzeyre. SKG-Lock+: A Provably Secure Logic Locking SchemeCreating Significant Output Corruption. Electronics, 2022, 11, pp.3906. ⟨10.3390/electronics11233906⟩. ⟨lirmm-03884259⟩
35 Consultations
45 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More