Recent years have seen a global adoption of smart mobile devices, particularly those based
on Android. However, Android's widespread adoption is marred with increasingly rampant …

We present DroidSafe, a static information flow analysis tool that reports potential leaks of
sensitive information in Android applications. DroidSafe combines a comprehensive …

Mobile malware attempts to evade detection during app analysis by mimicking security-
sensitive behaviors of benign apps that provide similar functionality (eg, sending SMS …

In parallel with the meteoric rise of mobile software, we are witnessing an alarming
escalation in the number and sophistication of the security threats targeted at mobile …

With the proliferation of the smart Internet of Things (IoT) devices based on Android system,
malicious Android applications targeting for IoT devices have received more and more …

The dramatic rise of Android application (app) marketplaces has significantly gained the
success of convenience for mobile users. Consequently, with the advantage of numerous …

It is reported recently that legitimate libraries are repackaged for propagating malware. An in-
depth analysis of such potentially-harmful libraries (PhaLibs), however, has never been …

More and more people rely on mobile devices to access the Internet, which also increases
the amount of private information that can be gathered from people's devices. Although …

With billions of people using smartphones and the exponential growth of smartphone apps,
it is prohibitive for app marketplaces, such as Google App Store, to thoroughly verify if an …

We present HornDroid, a new tool for the static analysis of information flow properties in
Android applications. The core idea underlying HornDroid is to use Horn clauses for soundly …