Supervised Courses
CS 301 Formal Foundations of Computer Science
Fall 2016 – 2021
CS 307 Algorithms and Data Structures
Fall 2018 – 2022
CS 404 Cryptography
Spring 2021 & 2024
CS 406 Theoretical Computer Science
Spring 2016 – 2022
SM 448 Complexity Theoretical Classification of Games
Fall 2019
SM 448 Quantum Computing
Fall 2020 – 2022
CS 550 Algorithmics
Spring 2016 – 2017, Fall 2018 – 2019, Spring 2020 – 2024
CS 655 Cryptography
Spring 2021 & 2024
CS 701 Advanced Algorithms for Flow and Matching Problems
Spring 2020 – 2021
Publications
Creation of Custom-made Serious Games with User-generated Learning Content
Philip Mildner, Benjamin John, Alexander Moch and Wolfgang Effelsberg
13th Annual Workshop on Network and Systems Support for Games – 2014
https://doi.org/10.1109/NetGames.2014.7008959
Parallelizable MACs Based on the Sum of PRPs with Security Beyond the Birthday Bound
Alexander Moch and Eik List
Applied Cryptography and Network Security – 17th International Conference – 2019
https://doi.org/10.1007/978-3-030-21568-2_7
Tight Security Bounds for Generic Stream Cipher Constructions
Matthias Hamann, Matthias Krause and Alexander Moch
Selected Areas in Cryptography – 26th International Conference – 2019
https://doi.org/10.1007/978-3-030-38471-5_14
Improving OBDD attacks against stream ciphers
Matthias Hamann, Matthias Krause and Alexander Moch
Математические вопросы криптографии (Mathematical Aspects of Cryptography) – Volume 11, Issue 2 – 2020
https://doi.org/10.4213/mvk327
The DRACO Stream Cipher
Matthias Hamann, Alexander Moch, Matthias Krause and Vasily Mikhalev
IACR Transactions on Symmetric Cryptology – Volume 2022, Issue 2 – 2022
https://doi.org/10.46586/tosc.v2022.i2.1–42
Provable security against generic attacks on stream ciphers
Alexander Moch
Journal of Mathematical Cryptology – Volume 17, Issue 1 – 2023
https://doi.org/10.1515/jmc-2022-0033