Teaching

Winter Term 2017/2018

• Exercises on Modelling and Analysing Security Properties
• Exercises on Introduction to Informatics 1

Summer Term 2017

• Exercises on Cryptographic Protocols

Winter Term 2016/2017

• Exercises on Modelling and Analysing Security Properties
• Seminary on Computational Geometry

Summer Term 2016

• Exercises on Cryptographic Protocols

Winter Term 2015/2016

• Exercises on Modelling and Analysing Security Properties
• Exercises on Cryptology

Summer Term 2015

• Exercises on Cryptographic Protocols

Winter Term 2014/2015

• Exercises on Modelling and Analysing Security Properties
• Seminary on Data Security

Summer Term 2014

• Exercises on Algorithmic Learning and Data Mining