Course Instructors
- Marco Vassena for Language-Based Information-Flow Control, marco.vassena@cispa.saarland
- Hamed Nemati for Proof techniques for system verification, hamed.nemati@cispa.saarland
- Robert Künnemann for Protocol Verification, robert.kuennemann@cispa.saarland
Please, contact the instructors by email only for administrative issues. For Q&A regarding the content of the course use the Q&A sessions and RocketChat.