Cryptology ePrint Archive: Report 2016/896

Security Analysis of Anti-SAT

Muhammad Yasin and Bodhisatwa Mazumdar and Ozgur Sinanoglu and Jeyavijayan Rajendran

Abstract: Logic encryption protects integrated circuits (ICs) against intellectual property (IP) piracy and over- building attacks by encrypting the IC with a key. A Boolean satisfiability (SAT) based attack breaks all existing logic encryption technique within few hours. Recently, a defense mechanism known as Anti-SAT was presented that protects against SAT attack, by rendering the SAT-attack effort exponential in terms of the number of key gates. In this paper, we highlight the vulnerabilities of Anti-SAT and propose signal probability skew (SPS) attack against Anti-SAT block. SPS attack leverages the structural traces in Anti-SAT block to identify and isolate Anti-SAT block. The attack is 100% successful on all variants of Anti-SAT block. SPS attack is scalable to large circuits, as it breaks circuits with up to 22K gates within two minutes.

Category / Keywords: applications /

Date: received 8 Sep 2016, last revised 13 Sep 2016

Contact author: bm105 at nyu edu

Available format(s): PDF | BibTeX Citation

Version: 20160914:115249 (All versions of this report)

Short URL: ia.cr/2016/896

Discussion forum: Show discussion | Start new discussion


[ Cryptology ePrint archive ]