Education
Relevant programs and courses offered by members of the CyberSecurity Center.
Programs
UE 066 937 – MSc Software Engineering and Internet Computing ➞ Specialization in Security and Privacy
Secure and Intelligent Human-Centric Digital Technologies
Trustworthy Autonomous Cyber-Physical Systems
Doctoral College on Automated Reasoning
Summer School on Artificial Intelligence and Cybersecurity
Courses
Members of the Cybersecurity Center offer the following courses and lectures related to cybersecurity. Note: The list is subject to change (f.i. courses not being offered every year, lecturers being on leave).
- Introduction to Security
- Formal Methods for Security and Privacy
- Cryptocurrencies
- Crypto Asset Analytics
- Network Security
- Network Security - Advanced Topics
- Communication Networks Seminar
- Program and System Verification
- Seminar Formal Methods
- Computer Aided Verification
- Computer Aided Verification (Exercises)
- Runtime Verification
- Advanced Cryptography
- Introduction to Cryptography
- Symmetric Cryptography
- Foundations of System and Applications Security
- Systems and Applications Security
- Selected Topics in Information Security
- Fundamentals of Security and Privacy
- Attacks and Defenses in Computer Security
- Automated Deduction
- Introduction to Type Theories
- Data and Information Law
- Data and Information Law (Exercises)
- Advanced Aspects of IT-Law
- Digital Ethics and the Connected World