@TechReport{android-infoflow:tr12,
  author = 	 {Jassim Aljuraidan and Elli Fragkaki and Lujo Bauer and Limin Jia and Kazuhide Fukushima and Shinsaku Kiyomoto and Yutaka Miyake},
  title = 	 {Run-time enforcement of information-flow properties on {A}ndroid},
  institution =  {CyLab, Carnegie Mellon University},
  year = 	 {2012},
  number = 	 {CMY-CyLab-12-015},
  month = 	 jul,
  url =          {https://www.cylab.cmu.edu/research/techreports/2012/tr_cylab12015.html},
  keywords =     {information-flow control, language-based security, run-time monitoring},
}