Search result: Courses in Spring Semester 2016
Computer Science Master | |||||||||
Focus Courses | |||||||||
Focus Courses in Information Security | |||||||||
Focus Elective Courses Information Security | |||||||||
Number | Title | Type | ECTS | Hours | Lecturers | ||||
---|---|---|---|---|---|---|---|---|---|
263-4600-00L | Formal Methods for Information Security | W | 4 credits | 2V + 1U | |||||
263-4600-00 V | Formal Methods for Information Security | 2 hrs |
| C. Sprenger, S. Radomirovic, R. Sasse | |||||
263-4600-00 U | Formal Methods for Information Security | 1 hrs |
| C. Sprenger, S. Radomirovic, R. Sasse | |||||
252-0408-00L | Cryptographic Protocols | W | 5 credits | 2V + 2U | |||||
252-0408-00 V | Cryptographic Protocols Does not take place this semester. | 2 hrs | U. Maurer | ||||||
252-0408-00 U | Cryptographic Protocols Does not take place this semester. | 2 hrs | U. Maurer |
- Page 1 of 1