SMT Solvers in IT Security - Deobfuscating Binary Code with Logic
Offered By: Cooper via YouTube
Course Description
Overview
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.
Syllabus
Hack.lu 2017 SMT Solvers in the IT Security - deobfuscating binary code with logic by Thaís Hamasaki
Taught by
Cooper
Related Courses
Reverse Engineering 3201: Symbolic AnalysisOpenSecurityTraining2 via Independent Logic Against Sneak Obfuscated Malware
NorthSec via YouTube SMT- Quantifiers, and Future Prospects - IPAM at UCLA
Institute for Pure & Applied Mathematics (IPAM) via YouTube Jumping the Fence - Comparison and Improvements for Existing Jump Oriented Programming Tools
YouTube Jumping the Fence - Comparison and Improvements for Existing Jump Oriented Programming Tools
YouTube