@InProceedings{atpsAndroid,
  author = 	 {Steven Arzt and Kevin Falzon and Andreas Follner and Siegfried Rasthofer and Eric Bodden and Volker Stolz},
  title = 	 {How useful are existing monitoring languages for securing Android apps?},
  booktitle = {ATPS},
  year = 	 2013,
  series = 	 {GI Lecture Notes in Informatics},
  publisher = {Gesellschaft f\"ur Informatik},
  pages = {107--122},
  volume = {P-215},
  url = {https://www.bodden.de/pubs/aff13howuseful.pdf},
}