Lehre

Wintersemester 2017/2018

• Modellierung und Analyse von Sicherheitseigenschaften, Übung
• Einführung in die Informatik 1, Übung

Sommersemester 2017

• Kryptografische Protokolle, Übung

Wintersemester 2016/2017

• Modellierung und Analyse von Sicherheitseigenschaften, Übung
• Computational Geometry, Seminar

Sommersemester 2016

• Kryptografische Protokolle, Übung

Wintersemester 2015/2016

• Modellierung und Analyse von Sicherheitseigenschaften, Übung
• Kryptologie, Übung

Sommersemester 2015

• Kryptografische Protokolle, Übung

Wintersemester 2014/2015

• Modellierung und Analyse von Sicherheitseigenschaften, Übung
• Datensicherheit, Seminar

Sommersemester 2014

• Algorithmisches Lernen und Data Mining, Übung