teaching

• 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

• 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

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

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

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