Run-time enforcement of information-flow properties on Android.   [PDF, BibTeX, ]
Jassim Aljuraidan, Elli Fragkaki, Lujo Bauer, Limin Jia, Kazuhide Fukushima, Shinsaku Kiyomoto, and Yutaka Miyake.
Technical Report CMY-CyLab-12-015, CyLab, Carnegie Mellon University, July 2012.