Teaching

Teaching Experience

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

Doctoral theses

1. Matouš Kozák, Adversarial Learning Techniques for Malware Detection, expected 2027
   
   
2. Benjamín Peraus, Reducing the Surface for Adversarial Attacks in Malware Detectors, expected 2028
   
   
3. Jan Dolejš, Defense Against Adversarial Attacks for Malware Detection, expected 2029

Master theses

1. David Košťál, Building an Adversarial Malware Dataset by Family and Type: Generation, Evasion, and Poisoning Evaluation, expected 2026
   
   
2. Martin Heinrich, Defense Techniques Against Adversarial Attacks in Malware Detection Systems, expected 2026
   
   
3. Tomáš Kalný, Detecting Concept Drift in Evolving Malware Families Using Rule-Based Classifier Representations, expected 2026
   
   
4. Lukáš Hrdonka, Robust Adversarial Attacks on Linux ELF Binaries: Evaluating and Bypassing ML-Based Malware Detectors, expected 2026
   
   
5. Pavel Holý, Efficient F4-Based Gröbner Basis Computation for Small-Scale AES Polynomial Systems over GF(2), expected 2026
   
   
6. Tomáš Kratochvíl, Adversarial Malware Generation for Dynamic Analysis Evasion: IAT Bypass and Runtime Obfuscation, expected 2026
   
   
7. David Bálik, Machine Learning-Based Malware Classification by Type and Family, defended 2025, Dean's Award
   
   
8. Tomáš Faikl, Algebraic Cryptanalysis of Small Scale Variants of the AES Based on Lattice Basis Reduction, defended 2025
   
   
9. Benjamín Peraus, Reducing the Surface for Adversarial Attacks in Malware Detectors, defended 2024
   
   
10. Lukáš Děd, Selection of Representative Samples from Datasets for Malware Detection E0, defended 2024, Dean's Award
    
    
11. Jan Dolejš, Algebraic Cryptanalysis of Small-Scale Variants of Stream Cipher E0, defended 2024, Dean's Award
    
    
12. Mehmet Efe Zorlutuna, Unsupersived Instance Selection for Malware Detection, defended 2023
    
    
13. Daniel Minarovič, Algebraic Cryptanalysis of Small Scale Variants of the Grain (in Slovak), defended 2023
    
    
14. Pavla Louthánová, A Comparison of Adversarial Learning Techniques for Malware Detection, defended 2023, Dean's Award
    
    
15. Matouš Kozák, Application of Reinforcement Learning to Creating Adversarial Malware Samples, defended 2023, Dean's Award
    
    
16. Jana Berušková, Reducing Overdefined Systems of Polynomial Equations Derived from Small Scale Variants of the AES (in Czech), defended 2023
    
    
17. Tomáš Zvára, Generating Malware Family Signatures from Behavioral Graphs using Unsupervised Learning, defended 2022
    
    
18. Jiří Soukup, Algebraic Cryptanalysis of LFSR-based Stream Ciphers (in Czech), defended 2022
    
    
19. Marek Bielik, Algebraic Cryptanalysis of Small Scale Variants of the AES, defended 2021, SVOČ 2021 third place
    
    
20. Libor Šlechta, Simulation of Malware Detection Model (in Czech), defended 2020
    
    
21. Michal Buchovecký, Semi-supervised Learning for Malware Detection (in Slovak), defended 2019

Bachelor theses

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