Full-Lock: Hard Distributions of SAT instances for Obfuscating Circuits using Fully Configurable Logic and Routing Blocks

Hadi Mardani Kamali, Kimia Zamiri Azar, Houman Homayoun, Avesta Sasan. Full-Lock: Hard Distributions of SAT instances for Obfuscating Circuits using Fully Configurable Logic and Routing Blocks. In Proceedings of the 56th Annual Design Automation Conference 2019, DAC 2019, Las Vegas, NV, USA, June 02-06, 2019. pages 89, ACM, 2019. [doi]

@inproceedings{KamaliAHS19,
  title = {Full-Lock: Hard Distributions of SAT instances for Obfuscating Circuits using Fully Configurable Logic and Routing Blocks},
  author = {Hadi Mardani Kamali and Kimia Zamiri Azar and Houman Homayoun and Avesta Sasan},
  year = {2019},
  doi = {10.1145/3316781.3317831},
  url = {https://doi.org/10.1145/3316781.3317831},
  researchr = {https://researchr.org/publication/KamaliAHS19},
  cites = {0},
  citedby = {0},
  pages = {89},
  booktitle = {Proceedings of the 56th Annual Design Automation Conference 2019, DAC 2019, Las Vegas, NV, USA, June 02-06, 2019},
  publisher = {ACM},
  isbn = {978-1-4503-6725-7},
}