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
Malicious Software and its Underground Economy: Two Sides to Every StoryUniversity of London International Programmes via Coursera Palo Alto Networks Cybersecurity Essentials II
Palo Alto Networks via Coursera Introducción al Análisis del Malware en Windows
National Technological University – Buenos Aires Regional Faculty via Miríadax Android Malware Analysis - From Zero to Hero
Udemy How to Create and Embed Malware (2-in-1 Course)
Udemy