Teaching

2020S

• Orientation Bachelor with Honors of Informatics and Business Informatics / SE / 180.767
• Research Seminar LogiCS / SE / 184.767
• Introduction to Security / VU / 184.783
• Formal Methods for Security and Privacy / VU / 192.059
• Seminar for PhD Students / SE / 192.060
• Bachelor Thesis / PR / 192.061
• Project in Computer Science 1 / PR / 192.075
• Project in Computer Science 2 / PR / 192.076
• Crypto Asset Analytics / VU / 192.080
• Introduction to Security / UE / 192.082
• Seminar on System Security / SE / 192.093

2019W

• Orientation Bachelor with Honors of Informatics and Business Informatics / SE / 180.767
• Introduction to Logical Methods in Computer Science / VO / 184.766
• Research Seminar LogiCS / SE / 184.767
• Bachelor Thesis / PR / 192.061
• Introduction to Modern Cryptography / VU / 192.062
• Tutorial on Introduction to Modern Cryptography / VU / 192.063
• Cryptocurrencies / VU / 192.065
• Seminar for PhD Students / SE / 192.069
• Project in Computer Science 1 / PR / 192.075
• Project in Computer Science 2 / PR / 192.076
• Advanced Internet Security / VU / 192.091
• Capture The Flag / SE / 192.092
• Seminar on System Security / SE / 192.093