Benchmarking the Capabilities and Limitations of SAT Solvers in Defeating Obfuscation Schemes. - Shervin Roshanisefat; Harshith K. Thirumala; Kris Gaj; Houman Homayoun; Avesta Sasan (IOLTS, 2018)