WS 2023
Wintersemester 2023/2024 | |
Seminare | |
| Concepts of Trust Establishment (2 SWS / 5 ECTS-Credits) | |
| Formal Methods in IT Security (2 SWS / 5 ECTS-Credits) | |
| Operational Technology Security (2 SWS / 5 ECTS-Credits) | |
| Selected Topics of Protocol Security (2 SWS / 5 ECTS-Credits) | |
| Verifiable Computation (2 SWS / 5 ECTS-Credits) | |
Praktika | |
| Advanced Binary Exploitation (6SWS / 10ECTS-Credits) | |