Archive of Past Semesters

Winter term 2008/2009

• Foundations of Computing (canonic lecture with exercises, 3IV)
• Seminar: Formale Spezifikation
  
• Lab:  Modellierungspraktikum
• Seminar: Analyse von Sicherheitsprotokollen
  
• Graduate Seminar "Formale Methoden"

Summer term 2008

• Lecture: Formal Methods for Information Security
• Graduate Seminar "Theoretical Computer Science / Formal Methods and Information Security"
• Lab: Proof Carrying Code
• Seminar: Proof Carrying Code
• Seminar (for Bachelor students): Formale Spezifikation und Analyse
  

Winter term 2007/2008

• Foundations of Computing (canonic lecture with exercises, 3IV)
• Graduate Seminar "Formale Methoden"
  
• Lab:  Modellierungspraktikum
• Seminar: Probabilistische Modelle
• Seminar: Formale Spezifikation
  

Summer term 2007

• Lecture: Formal Methods for Information Security
  
• Ringvorlesung "Langfristige IT-Sicherheit" (Cycle of Lectures "Long Term IT Security")
• Oberseminar "Theoretische Informatik / Formale Methoden und Informationssicherheit" (Graduate Class "Theoretical Computer Science / Formal Methods and Information Security")
• Seminar: Network Security

Winter term 2006/07

• Seminar: Quantitative Aspects of Security
• Seminar: Formal Methods for Information Security (Advanced Topics)

Summer term 2006

• Formal Methods for Information Security (Lecture)

Winter term 2005/06

• Seminar: Current Topics in Information Security
• Seminar: Network Security