Search result: Courses in Spring Semester 2020
Cyber Security Master  | ||||||||||||
 Field of Specialization | ||||||||||||
| Electives | ||||||||||||
| Number | Title | Type | ECTS | Hours | Lecturers | |||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 252-0408-00L | Cryptographic Protocols | W | 6 credits | 2V + 2U + 1A | ||||||||
| 252-0408-00 V | Cryptographic Protocols | 2 hrs |
| M. Hirt, U. Maurer | ||||||||
| 252-0408-00 U | Cryptographic Protocols | 2 hrs |
| M. Hirt, U. Maurer | ||||||||
| 252-0408-00 A | Cryptographic Protocols | 1 hrs | M. Hirt, U. Maurer | |||||||||
| 263-2925-00L | Program Analysis for System Security and Reliability | W | 6 credits | 2V + 1U + 2A | ||||||||
| 263-2925-00 V | Program Analysis for System Security and Reliability | 2 hrs |
| P. Tsankov | ||||||||
| 263-2925-00 U | Program Analysis for System Security and Reliability | 1 hrs |
| P. Tsankov | ||||||||
| 263-2925-00 A | Program Analysis for System Security and Reliability | 2 hrs | P. Tsankov | |||||||||
| 263-4600-00L | Formal Methods for Information Security | W | 5 credits | 2V + 1U + 1A | ||||||||
| 263-4600-00 V | Formal Methods for Information Security | 2 hrs |
| R. Sasse, C. Sprenger | ||||||||
| 263-4600-00 U | Formal Methods for Information Security | 1 hrs |
| R. Sasse, C. Sprenger | ||||||||
| 263-4600-00 A | Formal Methods for Information Security | 1 hrs | R. Sasse, C. Sprenger | |||||||||
| 263-4656-00L | Digital Signatures | W | 4 credits | 2V + 1A | ||||||||
| 263-4656-00 V | Digital Signatures | 2 hrs |
| D. Hofheinz | ||||||||
| 263-4656-00 A | Digital Signatures | 1 hrs | D. Hofheinz | |||||||||
Page
1
of
1
