Context: In last decade, due to tremendous usage of smart phones it seems that these
gadgets became an essential necessity of day-to-day life. People are using new …

The new and disruptive technologies for ensuring smartphone security are very limited and
largely scattered. The available options and gaps in this research area must be analysed to …

Resource leaks–a program does not release resources it previously acquired–are a
common kind of bug in Android applications. Even with the help of existing techniques to …

Detecting zero-day sophisticated malware is like searching for a needle in the haystack, not
knowing what the needle looks like. This paper describes Android Malicious Flow …

Due to their handshake-based flow control, asynchronous circuits generally do not suffer
from metastability issues as much as synchronous circuits do. We will show, however, that …

Traditional machine-based static analyses use a worklist algorithm to explore the analysis
state space, and compare each state in the worklist against a set of seen states as part of …

There are over a billion devices running the Android operating system. It is being used
globally in personal, public, private and government organizations. Device and application …

As mobile devices grow in popularity, they have become indispensable in people's daily
lives, kee** us connected to social networks, breaking news, and the entire Internet. While …

Im Rahmen dieser Dissertation nehmen wir uns einige der Probleme im Forschungsthema"
Mobile Sicherheit" an. Wir stellen zunächst das Forschungsfeld vor und verdeutlichen, dass …

Statically reasoning in the presence of exceptions and about the effects of exceptions is
challenging: exception-flows are mutually determined by traditional control-flow and points …