Reference Articles

(will be updated with additional materials)

We are providing some of the materials relevant to the locking or obfuscation schemes.

For Logic Locking

  1. Provbly-Secure Logic Locking: From Theory To Practice, by M. Yasin, A. Sengupta, M. Nabeel, M. Ashraf, J. Rajendran, O. Sinanoglu in Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security.

  2. Does logic locking work with EDA tools? by Z. Han, M. Yasin and J. Rajendran in 2021 USENIX Security Conference.


For State Space Obfuscation

  1. HARPOON: An Obfuscation-Based SoC Design Methodology for Hardware Protection, by R. Chakraborty and S. Bhunia in 2009 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

  2. Practical Implementation of Robust State Space Obfuscation for Hardware IP Protection,” by M. Rahman and S. Bhunia.


For Fine-grain Hardware Redaction

  1. LUT-Lock: A Novel LUT-Based Logic Obfuscation for FPGA-Bitstream and ASIC-Hardware Protection,” by H. Mardani Kamali, K. Zamiri Azar, K. Gaj, H. Homayoun and  A. Sasan in 2018 IEEE Computer Society Annual Symposium on VLSI (ISVLSI).

  2. “Hardware Redaction via Designer-Directed Fine-Grained eFPGA Insertion,” by P. Mohan, O. Atli, J. Sweeney, O. Kibar, L. Pileggi and K. Mai in 2021 IEEE Design, Automation & Test in Europe Conference & Exhibition (DATE).