Azar, Kimia Zamiri, Hadi Mardani Kamali, Houman Homayoun, and Avesta Sasan. 2018. “SMT Attack: Next Generation Attack on Obfuscated Circuits With Capabilities and Performance Beyond the SAT Attacks”. IACR Transactions on Cryptographic Hardware and Embedded Systems 2019 (1):97-122. https://doi.org/10.13154/tches.v2019.i1.97-122.