Summer Term 2012

In the summer term 2012 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: Secure Coding Lab
• Lab: Software Security for Mobile Devices
• Seminar: Software Security for Mobile Devices
• Seminar: Current Topics in Usage Control