Teaching

Teaching Experience

• Algorithms of Information Security
• Mathematics for Cryptology
• Cryptography and Security
• Elements of Calculus

Doctoral theses

1. Matouš Kozák, Adversarial Learning Techniques for Malware Detection, expected 2027

Master theses

1. Benjamín Peraus, Reducing the Surface for Adversarial Attacks in Malware Detectors, expected 2024
   
   
2. Lukáš Děd, Selection of Representative Samples from Datasets for Malware Detection, expected 2024
   
   
3. Jan Dolejš, Algebraic Cryptanalysis of Small-Scale Variants of Stream Cipher E0, defended 2024, Dean's Award
   
   
4. Mehmet Efe Zorlutuna, Unsupersived Instance Selection for Malware Detection, defended 2023
   
   
5. Daniel Minarovič, Algebraic Cryptanalysis of Small Scale Variants of the Grain (in Slovak), defended 2023
   
   
6. Pavla Louthánová, A Comparison of Adversarial Learning Techniques for Malware Detection, defended 2023, Dean's Award
   
   
7. Matouš Kozák, Application of Reinforcement Learning to Creating Adversarial Malware Samples, defended 2023, Dean's Award
   
   
8. Jana Berušková, Reducing Overdefined Systems of Polynomial Equations Derived from Small Scale Variants of the AES (in Czech), defended 2023
   
   
9. Tomáš Zvára, Generating Malware Family Signatures from Behavioral Graphs using Unsupervised Learning, defended 2022
   
   
10. Jiří Soukup, Algebraic Cryptanalysis of LFSR-based Stream Ciphers (in Czech), defended 2022
    
    
11. Marek Bielik, Algebraic Cryptanalysis of Small Scale Variants of the AES, defended 2021, SVOČ 2021 third place
    
    
12. Libor Šlechta, Simulation of Malware Detection Model (in Czech), defended 2020
    
    
13. Michal Buchovecký, Semi-supervised Learning for Malware Detection (in Slovak), defended 2019

Bachelor theses

1. Marek Holík, Hard Mathematical Problems in Cryptography, defended 2022
   
   
2. Jan Dolejš, Interpretability of Machine Learning-based Results of Malware Detection using a Set of Rules, defended 2021, Dean's Award
   
   
3. Petr Horák, Cryptanalysis of RSA Based on Factorization, defended 2020
   
   
4. Matouš Kozák, Static Malware Detection Using Recurrent Neural Networks, defended 2020
   
   
5. Jakub Ács, Static Detection of Malicious PE Files, defended 2018
   
   
6. Tomáš Hradský, Real Time Attack of A5/1 (in Czech), defended 2015
   
   
7. Martin Holec, Correlation Attack on A5/1, defended 2015