Lockit: A Logic Locking Automation Software

The significant rise in the cost of manufacturing nanoscale integrated circuits (ICs) has led the majority of IC design companies to outsource the fabrication of their products to other companies, often located in different countries. The multinational nature of the hardware supply chain has led to...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Nemanja Kajtez, Yue Zhang, Basel Halak
Formato:	article
Lenguaje:	EN
Publicado:	MDPI AG 2021
Materias:	logic locking design automation SFLL-HD hardware security IP piracy Electronics TK7800-8360
Acceso en línea:	https://doaj.org/article/1ef182d7e9f84c358db36dfd80d3fb82
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

id	oai:doaj.org-article:1ef182d7e9f84c358db36dfd80d3fb82
record_format	dspace
spelling	oai:doaj.org-article:1ef182d7e9f84c358db36dfd80d3fb822021-11-25T17:24:54ZLockit: A Logic Locking Automation Software10.3390/electronics102228172079-9292https://doaj.org/article/1ef182d7e9f84c358db36dfd80d3fb822021-11-01T00:00:00Zhttps://www.mdpi.com/2079-9292/10/22/2817https://doaj.org/toc/2079-9292The significant rise in the cost of manufacturing nanoscale integrated circuits (ICs) has led the majority of IC design companies to outsource the fabrication of their products to other companies, often located in different countries. The multinational nature of the hardware supply chain has led to a host of security threats, including IP piracy, IC overproduction, and Trojan insertion. To combat these, researchers have proposed logic locking techniques to protect the intellectual properties of the design and increase the difficulty of malicious modification of its functionality. However, the adoption of logic locking approaches has been rather slow due to the lack of integration with the IC production process and the lack of efficacy of existing algorithms. This work automates the logic locking process by developing software using Python that performs the locking on a gate-level netlist, which can be integrated with the existing digital synthesis tools. Analysis of the latest logic locking algorithms has demonstrated that the SFLL-HD algorithm is one of the most secure and versatile when trading-off levels of protection against different types of attacks and was thus selected for implementation. The presented tool can also be expanded to incorporate the latest locking mechanisms to keep up with the fast-paced development in this field. The paper also presents a case study to demonstrate the functionality of the tool and how it could be used to explore the design space and compare different locking solutions.Nemanja KajtezYue ZhangBasel HalakMDPI AGarticlelogic lockingdesign automationSFLL-HDhardware securityIP piracyElectronicsTK7800-8360ENElectronics, Vol 10, Iss 2817, p 2817 (2021)
institution	DOAJ
collection	DOAJ
language	EN
topic	logic locking design automation SFLL-HD hardware security IP piracy Electronics TK7800-8360
spellingShingle	logic locking design automation SFLL-HD hardware security IP piracy Electronics TK7800-8360 Nemanja Kajtez Yue Zhang Basel Halak Lockit: A Logic Locking Automation Software
description	The significant rise in the cost of manufacturing nanoscale integrated circuits (ICs) has led the majority of IC design companies to outsource the fabrication of their products to other companies, often located in different countries. The multinational nature of the hardware supply chain has led to a host of security threats, including IP piracy, IC overproduction, and Trojan insertion. To combat these, researchers have proposed logic locking techniques to protect the intellectual properties of the design and increase the difficulty of malicious modification of its functionality. However, the adoption of logic locking approaches has been rather slow due to the lack of integration with the IC production process and the lack of efficacy of existing algorithms. This work automates the logic locking process by developing software using Python that performs the locking on a gate-level netlist, which can be integrated with the existing digital synthesis tools. Analysis of the latest logic locking algorithms has demonstrated that the SFLL-HD algorithm is one of the most secure and versatile when trading-off levels of protection against different types of attacks and was thus selected for implementation. The presented tool can also be expanded to incorporate the latest locking mechanisms to keep up with the fast-paced development in this field. The paper also presents a case study to demonstrate the functionality of the tool and how it could be used to explore the design space and compare different locking solutions.
format	article
author	Nemanja Kajtez Yue Zhang Basel Halak
author_facet	Nemanja Kajtez Yue Zhang Basel Halak
author_sort	Nemanja Kajtez
title	Lockit: A Logic Locking Automation Software
title_short	Lockit: A Logic Locking Automation Software
title_full	Lockit: A Logic Locking Automation Software
title_fullStr	Lockit: A Logic Locking Automation Software
title_full_unstemmed	Lockit: A Logic Locking Automation Software
title_sort	lockit: a logic locking automation software
publisher	MDPI AG
publishDate	2021
url	https://doaj.org/article/1ef182d7e9f84c358db36dfd80d3fb82
work_keys_str_mv	AT nemanjakajtez lockitalogiclockingautomationsoftware AT yuezhang lockitalogiclockingautomationsoftware AT baselhalak lockitalogiclockingautomationsoftware
_version_	1718412394597711872

Lockit: A Logic Locking Automation Software

Ejemplares similares