Lecture Catalogue
A list of all credited lectures offered at TU Darmstadt in the master's programme IT security is provided below. Some lectures are only offered in the summer or winter semester.
Summer semester 2019
Specialisation Area A – Cryptography
- 20-00-0063-iv Public Key Infrastrukturen (PKI) (Dr. Johannes Braun)
- 20-00-0632-iv Post-Quantum Kryptographie (Prof. Dr. Johannes Buchmann)
- 20-00-1032-iv Kryptographische Protokolle (Prof. Dr.-Ing. Thomas Schneider)
- 20-00-1062-vl Grundlagen des Symmetrischen Kryptographischen Designs (Jean Paul Degabriele, Ph.D.)
Specialisation Area B – System Security
- 20-00-0581-iv Embedded System Security (Prof. Dr.-Ing. Ahmad-Reza Sadeghi) (Pflicht-VO)
- 04-00-0218-vu Seitenkanalangriffe gegen IT-Systeme (Apl. Prof. Dr. Werner Schindler)
- 20-00-0512-iv Netzsicherheit (Prof. Dr.-Ing. Matthias Hollick)
- 20-00-0583-vl Sichere Mobile Systeme (Prof. Dr.-Ing. Matthias Hollick)
- 20-00-0969-iv Schutz in vernetzten Systemen – Vertrauen, Widerstandsfähigkeit und Privatheit (Prof. Dr. Max Mühlhäuser)
- 20-00-0990-iv Reliable Software and Operating Systems (Prof. Neeraj Suri, Ph.D.)
- Biometric Systems (Veranstaltung der h_da, die für Studierende der TU offen ist) (Prof. Dr. Christoph Busch, h_da)
- Automotive Security (Veranstaltung der h_da, die für Studierende der TU offen ist) (Prof. Christoph Krauß, h_da)
Specialisation Area C – Software Security
- 20-00-0219-iv IT Sicherheit (Prof. Dr. Michael Waidner) (Pflicht-VO)
- 20-00-0093-iv Sicherheit in Multimedia Systemen und Anwendungen (Dr. Martin Steinebach)
- 20-00-1025-iv Sicherheitskritische Mensch-Computer-Interaktion (Prof. Dr. Christian Reuter)
- 20-00-0794-iv Formale Spezifikation und Verifikation von Software (Prof. Dr. Reiner Hähnle)
- 20-00-0949-iv Applied Static Analysis (Dr.-Ing. Michael Eichberg)
- Computer Forensik (Veranstaltung der h_da, die für Studierende der TU offen ist) (Prof. Harald Baier, h_da)
Seminars
- 20-00-0549-se Forschungsseminar zu Netzen, Sicherheit, Mobilität und Drahtloser Kommunikation (Prof. Dr.-Ing. Matthias Hollick)
- 20-00-0577-se Security and the Cloud – The Issues and Metrics (Prof. Neeraj Suri, Ph.D.)
- 20-00-0582-se Seminar zu Netzen, Sicherheit, Mobilität und Drahtloser Kommunikation (Prof. Dr.-Ing. Matthias Hollick)
- 20-00-0652-se System and IoT Security (Prof. Dr.-Ing. Ahmad-Reza Sadeghi)
- 20-00-0712-se Aktuelle Themen zu Secure Usage (Prof. Dr.-Ing. Heiko Mantel)
- 20-00-0798-se Seitenkanalangriffe gegen Software (Prof. Dr.-Ing. Heiko Mantel)
- 20-00-0807-se Privatheit & Anonymität in einer vernetzten Welt (Prof. Dr. Michael Waidner)
- 20-00-0961-se Zivile Sicherheit (Dr. Martin Steinebach)
- 20-00-0975-se Rigorose und formale Analyse verlässlicher Software (Prof. Neeraj Suri, Ph.D.)
- 20-00-1022-se Schutz von verteilten Infrastrukturen und Netzwerken (Prof. Dr. Max Mühlhäuser)
- 20-00-1024-se Seminar Cyber-Sicherheit, -Krieg, und -Frieden (Prof. Dr. Christian Reuter)
- 20-00-1063-se Binary Analysis Seminar (Prof. Dr. Michael Waidner)
Practical Courses
- 20-00-0105-pr Kryptographie (Prof. Dr. Johannes Buchmann)
- 20-00-0114-pr Hacker Contest (Dipl.-Inform. Christian Mark Frei)
- 20-00-0552-pr Praktikum Sichere Mobile Netze (Prof. Dr.-Ing. Matthias Hollick)
- 20-00-0553-pp Projektpraktikum Sichere Mobile Netze (Prof. Dr.-Ing. Matthias Hollick)
- 20-00-0603-pr Implementierung in Forensik und Mediensicherheit (Dr. Martin Steinebach)
- 20-00-0719-pr Softwaresecurity durch Laufzeitüberwachung (Prof. Dr.-Ing. Heiko Mantel)
- 20-00-0778-pr Praktikum: Formale Spezifikation und Verifikation in Isabelle/HOL (Prof. Dr.-Ing. Heiko Mantel)
- 20-00-0929-pr Software Dependability Praktikum (Prof. Neeraj Suri, Ph.D.)
- 20-00-1018-pr Cybersecurity Lab (Prof. Dr. Michael Waidner)
- 20-00-1020-pr Praktikum Friedens-, Sicherheits- und Kriseninformatik (Prof. Dr. Christian Reuter)
- 20-00-1027-pp Projektpraktikum Friedens- und Kriseninformatik (Prof. Dr. Christian Reuter)
- 20-00-1053-pp Projektpraktikum Softwareentwicklung zum Schutz der Privatsphäre (Prof. Dr.-Ing. Thomas Schneider)
- 20-00-1054-pr Praktikum Softwareentwicklung zum Schutz der Privatsphäre (Prof. Dr.-Ing. Thomas Schneider)
- 20-00-1064-pr IoT- und Funkprotokolle in eingebetteten Systemen (Prof. Dr. Michael Waidner)
- 20-00-1067-pr IT (Security) StartUp: Von der Idee zur Umsetzung (Prof. Dr. Peter Buxmann)
Teaching Cooperation between TU Darmstadt's and h_da's Department of Computer Science
Since summer semester 2010 both departments open some courses for students from the other institution. The cooperation applies to courses offered within M.Sc. IT Security at TU Darmstadt and M.Sc. Computer Science, specialisation IT Security, at h_da.
Information about the course schedule for lectures of h_da are available from the following link:
https://obs.fbi.h-da.de/stundenplaene/s/S_MastervIS.htm
Registration for courses of h_da for TU Darmstadt students is only available from Friday, 22.03.2019, 10:00 am CET to Monday, 27.03.2019, 10:00 am CET, on the teaching cooperation website:
https://dasec.h-da.de/teaching/lehrkooperation-mit-tud-ss19/
Students from TU Darmstadt will be informed about admission via email before the first occurence. Failure to attend the first lecture will lead to the place being assigned to another student.
Recommendation: exam planning tool by the Department of Computer Science at TU Darmstadt