Research

Articles


A gentle introduction to SMT-based program analysis
02/2023


Presentations


Symbolic execution for security researchers (updated)
10/2023 | Navaja Negra

Symbolic execution for security researchers
06/2023 | EuskalHack

Tales of software protection: cryptography and obfuscation, better together
03/2023 | RootedCON

Hands-on binary (de)obfuscation (updated)
02/2023 | h-c0n

A practical approach to advanced code obfuscation with MBA expressions
08/2022 | HITB

Hands-on binary (de)obfuscation
06/2022 | RingZer0

Code obfuscation through Mixed Boolean-Arithmetic expressions
02/2022 | h-c0n

Code obfuscation through Mixed Boolean-Arithmetic expressions
11/2021 | Intent Summit