The Android platform facilitates reuse of app functionalities by allowing an app to request an
action from another app through inter-process communication mechanism. This feature is …

Android is a successful mobile platform with a thriving application ecosystem. However,
despite its security precautions like permission mechanism, it is still vulnerable to privilege …

The existing modeling and verification methods for embedded software are insufficient
towards the increasingly prominent security requirements. In this paper, aiming at high …

In Android, inter-app communication is a cornerstone feature where apps exchange special
messages called Intents in order to integrate with each other and deliver a rich end-user …

Android is the most popular operating system in the world, with numerous applications
having been developed for the platform since its inception, however, it has its fair share of …

An application layer privacy data protection scheme combining dynamic and static analysis
is proposed. Android component life cycle and system calls are first studied, and the taint …

ABSTRACT GRACE, MICHAEL C. Privilege Leakage in Practical Systems.(Under the
direction of Xuxian Jiang and William Enck.) The modern world places great reliance on …