Robin David (Quarkslab)
Analyzing obfuscated binaries with QSynth
View More Papers
Creating Human Readable Path Constraints from Symbolic Execution
Tod Amon (Sandia National Laboratories), Tim Loffredo (Sandia National Laboratories)
Read More
Robin David (Quarkslab)
Tod Amon (Sandia National Laboratories), Tim Loffredo (Sandia National Laboratories)
Read More