Azar, K. Z., H. M. Kamali, H. Homayoun, and A. 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, Vol. 2019, no. 1, Nov. 2018, pp. 97-122, doi:10.13154/tches.v2019.i1.97-122.