@inproceedings{android:esorics13,
  title =        {Run-Time Enforcement of Information-Flow Properties on {A}ndroid (Extended Abstract)},
  author =       {Limin Jia and Jassim Aljuraidan and Elli Fragkaki and Lujo Bauer and Michael Stroucken and Kazuhide Fukushima and Shinsaku Kiyomoto and Yutaka Miyake},
  booktitle =    {Computer Security---ESORICS 2013: 18th European Symposium on Research in Computer Security},
  year =         {2013},
  month =        sep,
  pages =        {775--792},
  publisher =    {Springer},
  note =         {(Full version appears as <a href="https://www.ece.cmu.edu/~lbauer/papers/2012/tr2012-android-info-flow.pdf">technical report CMU-CyLab-12-015</a>.)},
  copyright =    {Springer-Verlag},
  url =          {https://www.ece.cmu.edu/~lbauer/papers/2013/esorics2013-android.pdf},
  doi =          {10.1007/978-3-642-40203-6_43},
  keywords =     {android security, information-flow control, language-based security},
}