no code implementations • 30 Apr 2018 • Shervin Roshanisefat, Harshith K. Thirumala, Kris Gaj, Houman Homayoun, Avesta Sasan
In this paper, we investigate the strength of six different SAT solvers in attacking various obfuscation schemes.
Cryptography and Security