Summer Term 2011

In the summer term 2011 we offer the following courses:

• Lecture: Formal Methods for Information Security
• Distinguished Lectures Series (selected Thursdays, 16:15, S2|02, C110)
• Graduate Seminar: MAIS
• Lab: Proof-Carrying Code
• Seminar: Proof-Carrying Code
• Seminar: Current Topics in Usage Control
• Reading Group/Seminar: Runtime Monitoring