@Misc{ fiedler:towards, author = {Rune Fiedler}, title = {Towards Precise Treatment of Inter-Procedural Implicit Information Flow in Android Applications}, institution = {TU Darmstadt}, year = 2017, howpublished = {Bachelor's thesis, TU Darmstadt} }