Software obfuscation has always been a controversially discussed research area. While
theoretical results indicate that provably secure obfuscation in general is impossible, its …

Protecting a digital asset once it leaves the cyber trust boundary of its creator is a
challenging security problem. The creator is an entity which can range from a single person …

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

Code obfuscation is widely used by software developers to protect intellectual property, and
malware writers to hamper program analysis. However, there seems to be little work on …

Current state-of-the-art deobfuscation approaches operate on instruction traces and use a
mixed approach of symbolic execution and taint analysis; two techniques that require …

Software obfuscation is a crucial technology to protect intellectual property and manage
digital rights within our society. Despite its huge practical importance, both commercial and …

Software protection has taken an important place during the last decade in order to protect
legit software against reverse engineering or tampering. Virtualization is considered as one …

Android apps are vulnerable to reverse engineering, which makes app tampering and
repackaging relatively easy. While obfuscation is widely known to make reverse engineering …

Code virtualization is a highly sophisticated obfuscation technique adopted by malware
authors to stay under the radar. However, the increasing complexity of code virtualization …

Code obfuscation is a major tool for protecting software intellectual property from attacks
such as reverse engineering or code tampering. Yet, recently proposed (automated) attacks …