Security Analysis of Anti-SAT Conference Paper uri icon


  • 2017 IEEE. Logic encryption protects integrated circuits (ICs) against intellectual property (IP) piracy and overbuilding 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.

name of conference

  • 2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC)

published proceedings

  • 2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC)

author list (cited authors)

  • Yasin, M., Mazumdar, B., Sinanoglu, O., & Rajendran, J.

citation count

  • 78

complete list of authors

  • Yasin, Muhammad||Mazumdar, Bodhisatwa||Sinanoglu, Ozgur||Rajendran, Jeyavijayan

publication date

  • January 2017