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

Malicious Software and its Underground Economy: Two Sides to Every Story
University 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