Explore the application of SMT solvers in IT security through this conference talk focusing on deobfuscating binary code with logic. Delve into the challenges posed by malware obfuscation techniques and learn how analysis tools can enhance security by identifying vulnerabilities. Discover the practical applications of SMT solvers in binary static analysis and code deobfuscation, examining both theoretical limitations and real-world solutions. Gain insights from malware researcher Thaís Moreira Hamasaki as she shares her expertise on threat protection systems, static analysis, and reverse engineering. Understand the importance of advanced tools in adapting to and automating the analysis of increasingly sophisticated malicious code.