"Enabling sophisticated analyses of ×86 binaries with RevGen."

Vitaly Chipounov, George Candea (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics