Analyzing obfuscated binaries with QSynth

TBD

Ryo Ichikawa, Captain of CTF Team TokyoWesterns

Read More

Towards Parallel Binary Code Analysis

Xiaozhu Meng (University of Wisconsin-Madison)

Read More

Creating Human Readable Path Constraints from Symbolic Execution

Tod Amon (Sandia National Laboratories), Tim Loffredo (Sandia National Laboratories)

Read More