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