YoVDO

SMT Solvers in IT Security - Deobfuscating Binary Code with Logic

Offered By: Cooper via YouTube

Tags

Malware Analysis Courses Reverse Engineering Courses Static Analysis Courses SMT Solvers Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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 Analysis
OpenSecurityTraining2 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