Our talk consists of:- An implementation of a simple 32-bit stack machine which we use to virtualize "payloads".- Control flow obfuscation on the binary using a generic obfuscator.- Automated de-obfuscation of these binaries using Triton and Libdft.And how the underlying methodologies work!