Visible to the public Increasing the SAT Attack Resiliency of In-Cone Logic Locking

TitleIncreasing the SAT Attack Resiliency of In-Cone Logic Locking
Publication TypeConference Paper
Year of Publication2019
AuthorsJuretus, Kyle, Savidis, Ioannis
Conference Name2019 IEEE International Symposium on Circuits and Systems (ISCAS)
ISBN Number978-1-7281-0397-6
Keywordscircuit netlist, Electronics packaging, Hardware, hardware security, in-cone logic locking, in-cone techniques, integrated circuits, integrated logic circuits, Iterative methods, key gate selection, logic design, Logic gates, logic locking, Manufacturing, maximum fanout free cones, MFFC based algorithm, provable security, pubcrawl, removal attack, resilience, Resiliency, SAT attack, SAT attack resiliency, satisfiability attack, security
Abstract

A method to increase the resiliency of in-cone logic locking against the SAT attack is described in this paper. Current logic locking techniques provide protection through the addition of circuitry outside of the original logic cone. While the additional circuitry provides provable security against the SAT attack, other attacks, such as the removal attack, limit the efficacy of such techniques. Traditional in-cone logic locking is not prone to removal attacks, but is less secure against the SAT attack. The focus of this paper is, therefore, the analysis of in-cone logic locking to increase the security against the SAT attack, which provides a comparison between in-cone techniques and newly developed methodologies. A novel algorithm is developed that utilizes maximum fanout free cones (MFFC). The application of the algorithm limits the fanout of incorrect key information. The MFFC based algorithm resulted in an average increase of 61.8% in the minimum number of iterations required to complete the SAT attack across 1,000 different variable orderings of the circuit netlist while restricted to a 5% overhead in area.

URLhttps://ieeexplore.ieee.org/document/8702683
DOI10.1109/ISCAS.2019.8702683
Citation Keyjuretus_increasing_2019