Teaching

Winter Term 2020/2021

• Exercises on Cryptology

Summer Term 2020

• Exercises on Introduction to Logic
• Exercises on Cryptographic Protocols

Winter Term 2019/2020

• Exercises on Introduction to Informatics 1
• Exercises on Introduction to Logic
• Computing beyond Turing

Summer Term 2019

• Exercises on Coding and Security
• Exercises on Cryptographic Protocols

Winter Term 2018/2019

• Exercises on Cryptology
• Exercises on Modellierung und Analyse von Sicherheitseigenschaften
• Computing beyond Turing

Summer Term 2018

• Exercises on Coding and Security

Winter Term 2017/2018

• Exercises on Cryptology
• Exercises on Introduction to IT-Security and Reliability

Summer Term 2017

• Computing beyond Turing
• Exercises on Coding and Security

Winter Term 2016/2017

• Exercises on Cryptology
• Praktikum IT-Security

Summer Term 2016

• Computing beyond Turing