SAT-Hard Cyclic Logic Obfuscation for Protecting the IP in the Manufacturing Supply Chain

Shervin Roshanisefat, Hadi Mardani Kamali, Houman Homayoun, Avesta Sasan. SAT-Hard Cyclic Logic Obfuscation for Protecting the IP in the Manufacturing Supply Chain. IEEE Trans. VLSI Syst., 28(4):954-967, 2020. [doi]

@article{RoshanisefatKHS20,
  title = {SAT-Hard Cyclic Logic Obfuscation for Protecting the IP in the Manufacturing Supply Chain},
  author = {Shervin Roshanisefat and Hadi Mardani Kamali and Houman Homayoun and Avesta Sasan},
  year = {2020},
  doi = {10.1109/TVLSI.2020.2968552},
  url = {https://doi.org/10.1109/TVLSI.2020.2968552},
  researchr = {https://researchr.org/publication/RoshanisefatKHS20},
  cites = {0},
  citedby = {0},
  journal = {IEEE Trans. VLSI Syst.},
  volume = {28},
  number = {4},
  pages = {954-967},
}