teaching

2020

• Master thesis co-supervision: Knoll, Thorsten: Verifiable delay functions in hardware

2019

• Master thesis co-supervision: Müller, Marcel: Fast implementation of the CSIDH algorithm using a domain specific language

WS2018/2019

• Postquantum-Kryptographie (Master) – WS2018/2019
  • Einleitung
  • LD-OTS
  • PoC implementation of LD-OTS (SAGE)
  • W-OTS
  • PoC implementation of W-OTS (SAGE)
  • Fortsetzung
  • MSS
  • PoC implementation of MSS using W-OTS (SAGE)
  • Drawbacks of MSS

SS2018

• Automatentheorie und Formale Sprachen (Bachelor) – SS2018
  • Lösungen zu Übungsblatt 10 (JFLAP)
  • Übungsblatt zum Thema Pumping-Lemma
  • zu Augabe 5.2: (JFLAP files) NFA, DFA & minimized DFA
  • Hilfestellung zu Aufgabe 5.4

WS2017/2018

• Diskrete Strukturen (Bachelor) – WS2017/2018
  • Lösung zur 3.ten Aufgabe aus Übungsblatt 2 (SAGE)
  • Der Skandal des Irrationalen

SS2017

• Automatentheorie und Formale Sprachen (Bachelor) – SS2017
  • Übungsblatt zum Thema “Abgeschlossenheitseigenschaft regulärer Sprachen”
  • Lösungen zum Übungsblatt 7

SS2016

• Automatentheorie und Formale Sprachen (Bachelor) – SS2016
  • Übungsblatt zum Thema “JFLAP”