Courses
The SaToSS group is involved in the following courses:
| name | study | semester | lectures | ||
|---|---|---|---|---|---|
| Distributed Systems | MICS-1 | Winter | Thu | 11:30 - 13:00 | |
| Formal Methods | MICS-2 | Summer | Fri | 10:30 - 13:00 | |
| Information Security Basics | MICS-1 | Winter | Tue | 14:00 - 15:30 | |
| Introduction to IT Security | BINFO-3 | Winter | Wed | 10:30 - 13:00 | |
| Network Security | MSSI | Summer | Fri | 09:00 - 12:15 | |
| Security Protocols | MICS-3 | Winter | Mon | 14:00 - 15:30 | |
| Security Modeling | MICS-3 | Winter | Wed | 15:45 - 17:15 | |
| Theoretical Computer Science I | BiCS-2 | Summer | Wed | 10:30 - 13:00 | |
| Theoretical Computer Science II | BiCS-4 | Summer | |||