Greybox Program Synthesis - A New Approach to Attack Dataflow Obfuscation

Explore the cutting-edge application of program synthesis in deobfuscation through this 36-minute Black Hat conference talk. Delve into the widespread adoption of obfuscation techniques for protecting intellectual property in mobile ecosystems and embedded systems. Gain insights into the challenges posed by increasingly sophisticated obfuscation methods and discover how greybox program synthesis offers a novel approach to tackle dataflow obfuscation. Learn about input-output synthesis, table generation, benchmarks, and Q synthesis as presenter Robin David walks through the algorithm, use cases, and implications of this innovative deobfuscation technique.

Introduction
Obfuscation
Synthesis
Algorithm
InputOutput Synthesis
Table Generation
Benchmarks
Q Synthesis
Use Cases
Conclusions