Cryptology ePrint Archive: Report 2019/139

Vulnerability and Remedy of Stripped Function Logic Locking

Hai Zhou and Yuanqi Shen and Amin Rezaei

Abstract: Stripped Function Logic Locking (SFLL) as the most advanced logic locking technique is robust against both the SAT-based and the removal attacks under the assumption of thorough resynthesis of the stripped function. In this paper, we propose a bit-coloring attack based on our discovery of a critical vulnerability in SFLL. In fact, we show that if only one protected input pattern is discovered, then the scheme can be unlocked with a polynomial number of queries to an activated circuit. As a remedy to this vulnerability, we also propose a provably secure general function that deregularizes the relation between the protected input patterns and the secret key. The mathematical proofs as well as the experiments confirm both the polynomiality of the bit-coloring attack on standard SFLL and the exponentiality of similar attacks on SFLL with general function.

Category / Keywords: Logic Locking; SAT-based Attack; Stripped Function Logic Locking; One Way Function

Date: received 5 Feb 2019, last revised 13 Feb 2019

Contact author: yuanqishen2020 at u northwestern edu

Available format(s): PDF | BibTeX Citation

Version: 20190214:185138 (All versions of this report)

Short URL: ia.cr/2019/139


[ Cryptology ePrint archive ]