In this lab course, we implement a realistic tool that will allow us to reliably detect leakage of private information on Android smartphones. The lab will cover the following topics:
- we investigate the problem of information leaks in detail
- we consider languages for defining privacy requirements
- we formally define an analysis for finding leaks in Android applications
- we implement this analysis in a tool
- Dozent*in: Tobias Hamann
- Dozent*in: David Schneider
- Dozent*in: Markus Tasch