Azar, Kimia Zamiri, Hadi Mardani Kamali, Houman Homayoun, and Avesta Sasan. “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, no. 1 (November 9, 2018): 97-122. Accessed August 15, 2020. https://tches.iacr.org/index.php/TCHES/article/view/7335.