Harshith K. Thirumala

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

Avesta Sasan, Houman Homayoun, Kris Gaj, 2018, 2018 IEEE 24th International Symposium on On-Line Testing And Robust System Design (IOLTS).