M.Sc. IT Security
Lectures

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. Since 2022 all information are published on the webpages of department of Computer Science.

Winter semester 2021/2022

  • 20-00-1107 Symmetrical Cryptography (Ph.D. Jean Paul Gabriele)
  • 20-00-1010 Blockchain Technology (Prof. Sebastian Faust, PhD)
  • 20-00-0745 Physical Layer Security in Wireless Systems (Prof. Dr.-Ing. Matthias Hollick, M.Sc. Matthias Thomas Schulz)
  • 20-00-0780 Wireless Network for Emergency Response: Fundamentals, Design and Build-up from Scratchl (Dr.-Ing. Jiska Dorothee Classen, Prof. Dr.-Ing. Matthias Hollick)
  • 20-00-1123 Information Security Management (M.Sc. Maximilian Müller, Prof. Dr. rer. nat. Michael Waidner)
  • 20-00-0580 Statische und dynamische Programmanalyse (Prof. Dr.-Ing. Heiko Mantel)
  • 20-00-0660 Automated theorem Profing (Prof. Dr. rer. nat. Reiner Hähnle)
  • 20-00-1026 Information Technology for Peace and Security (Prof. Dr. rer. pol. Christian Reuter)
  • 20-00-1076 Typ Systems (Prof. Dr. rer nat. Kirstin Peters)
  • 20-00-1079 Verifikcation of Parallel Programs (Prof. Dr. rer. nat Marie-Christine Jakobs)
  • 20-00-1122 Pogram Analysis (Prof. Dr.-Ing. Ermira Mezini)
  • 20-00-0182 Design and Implementation of Modern Programming Languages (Prof. Dr.-Ing. Ermira Mezini)
  • 20-00-0549 Advanced Seminar on Networking, Security, Mobility and Wireless Communications (Prof. Dr.-Ing. Matthias Hollick)
  • 20-00-0582 Seminar on Networking, Security, Mobility and Wireless Communications (Prof. Dr.-Ing. Matthias Hollick)
  • 20-00-0807 Privacy in a Ubiquitously Connected World (Prof. Dr. rer. nat. Michael Waidner)
  • 20-00-0935 Privacy-Preserving Technologies (Prof. Dr. rer. nat. Michael Waidner)
  • 20-00-1006 Classics of Cryptography (Prof. Dr. phil. nat. Marc Fischlin)
  • 20-00-1019 Crises, Security and Peace Technologies (Prof. Dr. rer. pol. Christian Reuter)
  • 20-00-1021 Research Seminar Science and Technology for Peace and Security (Prof. Dr. rer. pol. Christian Reuter)
  • 20-00-1022 Protection in Invrastructures and Networks (Prof. Dr. rer. nat. Eberhard Max Mühlhäuser)
  • 20-00-1028 Foundations of Static Analyses (Prof. Dr.-Ing. Ermira Mezini)
  • 20-00-1078 Advances Approaches in Software Verification (Prof. Dr. rer. nat. Marie-Christine Jakobs)
  • 20-00-1102 Seminar Computer Science, Ethics and Society (Prof. Dr. rer. pol. Christian Reuter)
  • 20-00-1106 Security and Privacy in Networked Systems (Prof. Dr. rer. nat. Michael Waidner)
  • 20-00-1128 Deductive and Interactive Verifiers (Prof. Dr. rer. nat. Richard Bubel; Prof. Dr. rer. nat. Reiner Hähnle)
  • 20-00-0114 Hacker Contest (Prof. Dr. phil. nat. Marc Fischlin, Dipl.-Inform. Christian Mark Frei)
  • 20-00-1073 Protect Interactive Reslilient Information Technology (Prof. Dr. rer. pol. Christian Reuters)
  • 20-00-0306 Implementation of Programming Languages (Prof. Dr.-Ing. Ermira Mezini)
  • 20-00-0552 Secure Mobile Networking Lab (Prof. Dr.-Ing. Matthias Hollick)
  • 20-00-0553 Secure Mobile Networking Project (Prof. Dr.-Ing. Matthias Hollick)
  • 20-00-0603 Implementierung in Forensik und Mediensicherheit (Dr. Martin Steinebach)
  • 20-00-0615 Practical Lab on System und IoT Security (Prof. Dr.-Ing. Ahmad-Reza Sadeghi)
  • 20-00-0957 Teaching Lab – Internet Security and Security in Mobile Networks (Prof. Dr.-Ing. Matthias Hollick)
  • 20-00 -0986 Practical Lab in Teaching – CS (Prof. Dr. rer. nat. Michael Waidner)
  • 20-00-1045 Practical Lab in Teaching – SIT (Prof. Dr. rer. nat. Michael Waidner)
  • 20-00-0984 Distributed Systems Programming: Project (Prof. Dr. Patrick Eugster)
  • 20-00-1072 Lab Responsibility and Security in Computer Science (Prof. Dr. rer. pol. Christian Reuter)

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://dasec.h-da.de/teaching/lehrkooperation-mit-tud-ws-21-22/

Registration for the h_da courses via the following link:

https://sp-dasec.fbi.h-da.de/teaching/Lists/LectureRegistration/Blank.aspx

User: LectureRegistration

Password: #P6E1E7I*I@uRxE2

Registration period: Monday, 04.10.2021, 10:00 CEST until Monday, 18.10.2021, 23:00 CEST

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

Archive

The lecture catalogues of the last semesters can be found here:

Summer semester 2021
Winter semester 2020/21
Summer semester 2020
Winter semester 2019/20
Summer semester 2019
Winter semester 2018/19
Summersemester 2018
Winter semester 2017/18
Summer semester 2017
Winter semester 2016/17