Lehre

Wintersemester 2020/2021

• Kryptologie, Übung

Sommersemester 2020

• Einführung in die Logik, Übung
• Kryptographische Protokolle, Übung

Wintersemester 2019/2020

• Einführung in die Informatik 1, Übung
• Einführung in die Logik, Übung
• Computing beyond Turing, Seminar

Sommersemester 2019

• Codierung und Sicherheit, Übung
• Kryptographische Protokolle, Übung

Wintersemester 2018/2019

• Kryptologie, Übung
• Modellierung und Analyse von Sicherheitseigenschaften, Übung
• Computing beyond Turing, Seminar

Sommersemester 2018

• Codierung und Sicherheit, Übung

Wintersemester 2017/2018

• Kryptologie, Übung
• Einführung in IT-Sicherheit und Zuverlässigkeit, Übung

Sommersemester 2017

• Computing beyond Turing, Seminar
• Codierung und Sicherheit, Übung

Wintersemester 2016/2017

• Kryptologie, Übung
• Praktikum IT-Sicherheit

Sommersemester 2016

• Computing beyond Turing, Seminar