Benchmarking the Capabilities and Limitations of SAT Solvers in Defeating Obfuscation Schemes.

Shervin Roshanisefat, Harshith K. Thirumala, Kris Gaj, Houman Homayoun, Avesta Sasan

Browse the full IOLTS paper archive.