Language-Based Security on Android

Avik Chaudhuri

In this paper, we initiate a formal study of security on Android: Google's new open-source platform for mobile devices. Specifically, we present a core typed language to describe Android applications, and to reason about their data-flow security properties. Our operational semantics and type system provide the necessary foundations to help both users and developers of Android applications deal with their security concerns.


    author = {Avik Chaudhuri},
    title = {Language-Based Security on Android},
    booktitle = {Proceedings of the 4th ACM SIGPLAN Workshop on
                 Programming Languages and Analysis for Security (PLAS'09)},
    year = {2009},
    pages = {1--7},
    publisher = {ACM}