Course Instructors
- Marco Patrignani for Language-Based Information-Flow Control, marco.patrignani@cispa.de
- 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.