Towards Static Analysis of Virtualization-Obfuscated Binaries. - Kinder, Johannes (2012)