20-00-0799-pr Reliable Software Security for Mobile Devices

Course offering details

Instructors: Prof. Dr.-Ing. Heiko Mantel

Event type: practical / lab /internship

Org-unit: Dept. 20 - Computer Science

Displayed in timetable as: ReliableSecMob-Lab

Subject:

Crediting for:

Hours per week: 4

Language of instruction: Englisch

Min. | Max. participants: - | -

Course Contents:
- introduction to Android and to the programming of Android apps
- possible privacy threats due to the execution of apps
- detection of possible information leaks using information flow analysis techniques
- static and dynamic security analysis
- proof-carrying code
- independent development of apps and security analysis of these apps in small teams
- independent extension of an existing framework for analyzing the security of apps in small teams

Preconditions:
Knowledge of Computer Science and Mathematics, equivalent to the first four semesters in the Computer Science Bachelor program, in particular
- programming skills in Java and
- ability to understand with formal calculi

Further Grading Information:
Module Exclusions:
20-00-0640 - Software Security for Mobile Devices

Literature
Appointments
Date From To Room Instructors
1 Fri, 18. Oct. 2019 13:30 15:10 S103/112 Prof. Dr.-Ing. Heiko Mantel
2 Fri, 25. Oct. 2019 13:30 15:10 S103/112 Prof. Dr.-Ing. Heiko Mantel
3 Fri, 1. Nov. 2019 13:30 15:10 S103/112 Prof. Dr.-Ing. Heiko Mantel
4 Fri, 8. Nov. 2019 13:30 15:10 S103/112 Prof. Dr.-Ing. Heiko Mantel
5 Fri, 15. Nov. 2019 13:30 15:10 S103/112 Prof. Dr.-Ing. Heiko Mantel
6 Fri, 22. Nov. 2019 13:30 15:10 S103/112 Prof. Dr.-Ing. Heiko Mantel
7 Fri, 29. Nov. 2019 13:30 15:10 S103/112 Prof. Dr.-Ing. Heiko Mantel
8 Fri, 6. Dec. 2019 13:30 15:10 S103/112 Prof. Dr.-Ing. Heiko Mantel
9 Fri, 13. Dec. 2019 13:30 15:10 S103/112 Prof. Dr.-Ing. Heiko Mantel
10 Fri, 20. Dec. 2019 13:30 15:10 S103/112 Prof. Dr.-Ing. Heiko Mantel
11 Fri, 17. Jan. 2020 13:30 15:10 S103/112 Prof. Dr.-Ing. Heiko Mantel
12 Fri, 24. Jan. 2020 13:30 15:10 S103/112 Prof. Dr.-Ing. Heiko Mantel
13 Fri, 31. Jan. 2020 13:30 15:10 S103/112 Prof. Dr.-Ing. Heiko Mantel
14 Fri, 7. Feb. 2020 13:30 15:10 S103/112 Prof. Dr.-Ing. Heiko Mantel
15 Fri, 14. Feb. 2020 13:30 15:10 S103/112 Prof. Dr.-Ing. Heiko Mantel
Class session overview
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
Instructors
Prof. Dr.-Ing. Heiko Mantel