
Sebastian Poeplau
@poeplau
Software security and programming languages enthusiast, developer of the SymCC and SymQEMU symbolic executors
ID: 386102471
http://www.s3.eurecom.fr/~seba/ 06-10-2011 17:30:59
35 Tweet
341 Followers
27 Following

Our new paper (to appear at NDSS 21) with Sebastian Poeplau SymQEMU: Compilation-based symbolic execution for binaries Like for SymCC we directly embed the instrumentation for symbolic execution in the app, but this time in QEMU, so works with binaries PDF: s3.eurecom.fr/docs/ndss21_sy…
















Execute this! Looking at code-loading techniques in Android wp.me/p17xdu-a6 via WordPress.com

Anyone interested to hook Ghost up to VirusTotal? They've got a C API now blog.virustotal.com/2014/06/virust…


