The SaToSS group is involved in the following courses:
name study semester  lectures   
Distributed Systems MICS-1 Winter Thu11:30 - 13:00  
Formal Methods MICS-2 Summer Fri10:30 - 13:00  
Information Security Basics MICS-1 Winter Tue14:00 - 15:30  
Introduction to IT Security BINFO-3    Winter Wed10:30 - 13:00  
Network Security MSSI Summer Fri09:00 - 12:15  
Security Protocols  MICS-3 Winter Mon14:00 - 15:30  
Security Modeling  MICS-3 Winter Wed15:45 - 17:15  
Theoretical Computer Science I BiCS-2 Summer Wed10:30 - 13:00  
Theoretical Computer Science II BiCS-4 Summer