Breaking State-of-the-Art Binary Code Obfuscation via Program Synthesis

Explore contemporary binary code obfuscation techniques, including Mixed Boolean-Arithmetic and Virtual Machines, in this 48-minute Black Hat conference talk. Gain insights into state-of-the-art deobfuscation methods that utilize symbolic execution and taint analysis for precise code examination. Learn from speakers Tim Blazytko and Moritz Contag as they delve into breaking advanced binary code obfuscation through program synthesis, providing a comprehensive overview of this critical cybersecurity topic.