Context Static analysis exploits techniques that parse program source code or bytecode,
often traversing program paths to check some program properties. Static analysis …

The widespread use of mobile devices in comparison to personal computers has led to a
new era of information exchange. The purchase trends of personal computers have started …

Mobile devices have become a significant part of people's lives, leading to an increasing
number of users involved with such technology. The rising number of users invites hackers …

Android software presents many challenges for static program analysis. In this work we
focus on the fundamental problem of static control-flow analysis. Traditional analyses cannot …

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 …

This work develops a static analysis to create a model of the behavior of an Android
application's GUI. We propose the window transition graph (WTG), a model representing the …

With Android being the most widespread mobile platform, protecting it against malicious
applications is essential. Android users typically install applications from large remote …

Mobile device manufacturers are rapidly producing miscellaneous Android versions
worldwide. Simultaneously, cyber criminals are executing malicious actions, such as …

As the popularity of Android smart phones has increased in recent years, so too has the
number of malicious applications. Due to the potential for data theft that mobile phone users …

We propose a type-based taint analysis for Android. Concretely, we present DFlow, a
context-sensitive information flow type system, and DroidInfer, the corresponding type …