Lab Course: Software Security for Mobile Devices (Summer Term 2013)

Prof. Dr.-Ing. Heiko Mantel, Dr.-Ing. Artem Starostin
in TUCAN and at MAIS Secretary (S2|02 E318)
Weekly meeting:
Wednesdays, 14:30-16:00, S2|02 E302 / E306
Preparation meeting:
Wednesdays, 17.04.13, 16:15 in S2|02 E302


The seminar Software Security for Mobile Device will take place on Thursday, May 23rd, 14:00-17:15 in E302 and on Friday, May 24th, 9:00-12:15 in E202. Presence at the seminar and participation in discussions is mandatory for the lab participants.


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")

Internal Area

Further information for participants is available in the internal area.

Last modified on 15 May 2013.

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