20-00-0799-pr Zuverlässige Softwaresicherheit für mobile Endgeräte

Lehrende: Prof. Dr.-Ing. Heiko Mantel

Veranstaltungsart: Praktikum

Orga-Einheit: FB20 Informatik

Anzeige im Stundenplan: ReliableSecMob-Lab

Fach:

Anrechenbar für:

Semesterwochenstunden: 4

Unterrichtssprache: Englisch

Min. | Max. Teilnehmerzahl: - | -

Lehrinhalte:

• Einführung in Android und in die Programmierung von Apps
  
• mögliche Bedrohungen der Privatheit durch die Ausführung von Apps
  
• Entdecken möglicher Informationslecks durch Informationsflussanalysen
  
• statische und dynamische Sicherheitsanalysen
  
• Proof-Carrying-Code
  
• eigenständige Entwicklung von Apps und Sicherheitsanalyse dieser Apps
  
• eigenständige Erweiterung einer bestehenden Infrastruktur zur formal fundierten Sicherheitsanalyse von Android Apps
  

Voraussetzungen:
Informatik- und Mathematikkenntnisse entsprechend den ersten 4 Semestern des Bachelorstudiengangs Informatik, insbesondere Programmierkenntnisse in Java und die Fähigkeit mit formalen Sprachen und Kalkülen umzugehen.

Weitere Informationen:
Module Exclusions:
20-00-0640 - Software Security for Mobile Devices

Zusätzliche Informationen:
Weitere Informationen sind unter http://www.mais.informatik.tu-darmstadt.de/Teaching zu finden.