SMT Attack: Next Generation Attack on Obfuscated Circuits with Capabilities and Performance Beyond the SAT Attacks. TCHES. 2018;2019(1):97-122. doi:10.13154/tches.v2019.i1.97-122