@PhdThesis{phdArzt,
  author = 	 {Steven Arzt},
  title = 	 {Static Data Flow Analysis for Android Applications},
  school = 	 {Technische Universit\"at Darmstadt},
  year = 	 2016,
  month = 	 dec,
  awarded = {Summa cum laude, Fraunhofer IuK Dissertation Award \& Dissertation Award of the Ernst Denert Foundation},
  url = {https://bodden.de/pubs/phd-arzt.pdf},
}