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]

Authors

Hadi Mardani Kamali

This author has not been identified. Look up 'Hadi Mardani Kamali' in Google

Kimia Zamiri Azar

This author has not been identified. Look up 'Kimia Zamiri Azar' in Google

Houman Homayoun

This author has not been identified. Look up 'Houman Homayoun' in Google

Avesta Sasan

This author has not been identified. Look up 'Avesta Sasan' in Google