Tool Name
SMT Attack
Description
SMT tool is a SAT Module Theory solver based attack on logic locking. SMT attack provides Boolean SAT solver as well as non-Boolean theory solvers, such as graph theory solver.
More Info
Publications/References
Azar, K. Z., Kamali, H. M., Homayoun, H., & 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), 97–122. https://doi.org/10.13154/tches.v2019.i1.97-122