Azar, K. Z., Kamali, H. M., Homayoun, H. and Sasan, A. (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), pp. 97-122. doi: 10.13154/tches.v2019.i1.97-122.