Lab Course: Software Security for Mobile Devices

Prof. Dr. Heiko Mantel
in the TUCAN and additionally by Artem Starostin (S2|02 E312)
Weekly Meeting:
Wednesdays 14:25-15:55, S2|02 E302 / E306
Preparation Meeting:
Thursday, 12.04.12, 16:15 in S2|02 E302


For a given piece of software, it is in general hard to assess if it satisfies the properties that the manufacturer promises. If these properties are defined formally, then formal methods can be used to verify whether the software satisfies the properties. This verification can be done in two ways: statically, i.e., by analyzing the code of an application at installation time, or dynamically, i.e., by monitoring execution steps of an application during its run-time. In this lab course we will consider security properties (e.g., information flow properties) and implement selected verification methods on real mobile devices like Android smartphones or tablets.


  • Basic Java programming skills
  • Basic knowledge in formal methods (e.g., at the level of successful participation in the lecture "Introduction to Foundations of Computing")

Course Material

  • Slides from the preparation meeting [PDF]
  • For further materials please visit the internal webpage of the course.

Last modified on 22 October 2012.

A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang