SMT Attack: Next Generation Attack on Obfuscated Circuits with Capabilities and Performance Beyond the SAT Attacks. TCHES [Internet]. 2018 Nov. 9 [cited 2024 Nov. 18];2019(1):97-122. Available from: https://moving-the-social.ub.rub.de/index.php/TCHES/article/view/7335