@MastersThesis{ reinhardt:implementation, author = {Simon Reinhardt}, title = {Implementation and Evaluation of a Module for Type-based Information-Flow Analysis of Multi-threaded Programs on Android}, school = {TU Darmstadt}, type = {Bachelor Thesis}, year = 2012 }