J. Kranz
Validating the Decoding and the Translation into Value Semantics of X86 Machine Code
Masterarbeit
2013

J. Kranz and B. Mihaila and H. Siegel and A. Simon
IR Preprocessing for Deep Binary Analysis
2016