A gentle introduction to SMT-based program analysis
02/2023
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