Improving Integrated Circuit Security using Mathematical Model Based on Clique Covering Reformulation - Archive ouverte HAL Access content directly
Conference Papers Year : 2023

Improving Integrated Circuit Security using Mathematical Model Based on Clique Covering Reformulation

Abstract

Integrated Circuits (IC) are increasingly present in our daily lives through various everyday objects. Many third-party companies are involved during the manufacturing process. It introduces many threats to the ICs manufacturing, such as IP piracy and Hardware Trojans. Strong Logic Locking methodology is generally used to protect from IC piracy, such as counterfeiting or reverse engineering, and against Hardware Trojans insertion; however, the lack of automated tools fully integrated into a CAD flow limits the integration of countermeasures. This paper proposes mathematical models on the Strong Logic Locking method to optimize the security and an automatic security design inserted in an open CAD flow. We implemented an exact algorithm to maximize the security measure while implementing a strategy to minimize the impact of delay and area on the circuit. This algorithm is a custom branch and bound based on the mathematical model developed in this paper. In addition, we propose a strategy to limit the impact of countermeasures on the delay. Furthermore, our approach takes place inside a standard open CAD flow after logic synthesis to be as generic as possible. The experiments carried out that security can be added in a standard open CAD flow with a reasonable computation time and a limited impact on the circuit. Our security measure is more precise than the previous one, with a limited area overhead defined by a user. The increase of the critical path is less than 7% for large benches with a limit of 10% area overhead.
Fichier principal
Vignette du fichier
codit2023 (3).pdf (1.13 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

cea-04266150 , version 1 (31-10-2023)

Identifiers

Cite

Jonathan Fontaine, Mohamed Benazouz, Lilia Zaourar, Roselyne Chotin. Improving Integrated Circuit Security using Mathematical Model Based on Clique Covering Reformulation. 9th International Conference on Control, Decision and Information Technologies (CoDiT 2023), Jul 2023, Rome, Italy. pp.1717 - 1722, ⟨10.1109/CoDIT58514.2023.10284435⟩. ⟨cea-04266150⟩
65 View
10 Download

Altmetric

Share

Gmail Facebook X LinkedIn More