1.
Azar KZ, Kamali HM, Homayoun H, Sasan A. SMT Attack: Next Generation Attack on Obfuscated Circuits with Capabilities and Performance Beyond the SAT Attacks. TCHES [Internet]. 2018Nov.9 [cited 2020Aug.12];2019(1):97-122. Available from: https://tches.iacr.org/index.php/TCHES/article/view/7335