Binary rewriting is changing the semantics of a program without having the source code at
hand. It is used for diverse purposes, such as emulation (eg, QEMU), optimization (eg …

This paper presents S2E, a platform for analyzing the properties and behavior of software
systems. We demonstrate S2E's use in develo** practical tools for comprehensive …

Developers today have access to an arsenal of toolkits and libraries for rapid application
prototy**. However, when an application loads a library, the entirety of that library's code …

Software deobfuscation is a crucial activity in security analysis and especially in malware
analysis. While standard static and dynamic approaches suffer from well-known …

Virtualization-obfuscation protects a program from manual or automated analysis by
compiling it into byte code for a randomized virtual architecture and attaching a …

This dissertation is concerned with static analysis of binary executables in a theoretically
well-founded, sound, yet practical way. The major challenge is the reconstruction of a correct …

Privacy violations and compliance issues in mobile apps are serious concerns for users,
developers, and regulators. With many off-the-shelf tools on Android, prior works extensively …

A Webview embeds a fully-fledged browser in a mobile application and allows that
application to expose a custom interface to JavaScript code. This is a popular technique to …