Courses

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  
Game Theory MICS-3 Winter Mon09:45 - 10:15  
Information Security Basics MICS-1 Winter Tue14:00 - 15:30  
Introduction to IT Security BECS-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  
Formal Languages BINFO-6 Summer Wed10:30 - 13:00