Paper 2019/1463

Rescuing Logic Encryption in Post-SAT Era by Locking & Obfuscation

Amin Rezaei, Yuanqi Shen, and Hai Zhou


The active participation of external entities in the manufacturing flow has produced numerous hardware security issues in which piracy and overproduction are likely to be the most ubiquitous and expensive ones. The main approach to prevent unauthorized products from functioning is logic encryption that inserts key-controlled gates to the original circuit in a way that the valid behavior of the circuit only happens when the correct key is applied. The challenge for the security designer is to ensure neither the correct key nor the original circuit can be revealed by different analyses of the encrypted circuit. However, in state-of-the-art logic encryption works, a lot of performance is sold to guarantee security against powerful logic and structural attacks. This contradicts the primary reason of logic encryption that is to protect a precious design from being pirated and overproduced. In this paper, we propose a bilateral logic encryption platform that maintains high degree of security with small circuit modification. The robustness against exact and approximate attacks is also demonstrated.

Available format(s)
Publication info
Preprint. MINOR revision.
Logic EncryptionLogic LockingCircuit ObfuscationSAT-based Attack
Contact author(s)
haizhou @ northwestern edu
2019-12-18: received
Short URL
Creative Commons Attribution


      author = {Amin Rezaei and Yuanqi Shen and Hai Zhou},
      title = {Rescuing Logic Encryption in Post-SAT Era by Locking & Obfuscation},
      howpublished = {Cryptology ePrint Archive, Paper 2019/1463},
      year = {2019},
      note = {\url{}},
      url = {}
Note: In order to protect the privacy of readers, does not use cookies or embedded third party content.