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. Radek Večerník, Robust Malware Detection Under Adversarial Packing: Analysis and Mitigation of Static ML Weaknesses, expected 2026
   
   
2. Damián Baraník, Adversarial Malware Generator Based on Generative Adversarial Network, expected 2026
   
   
3. David Košťál, Building an Adversarial Malware Dataset by Family and Type: Generation, Evasion, and Poisoning Evaluation, expected 2026
   
   
4. Martin Heinrich, Adversarial Malware Obfuscation via Semantic-Preserving Instruction Transformations, expected 2026
   
   
5. Tomáš Kalný, Detecting Concept Drift in Evolving Malware Families Using Rule-Based Classifiers, expected 2026
   
   
6. Lukáš Hrdonka, Robust Adversarial Attacks on Linux ELF Binaries: Evaluating and Bypassing ML-Based Malware Detectors, expected 2026
   
   
7. Pavel Holý, Comparative Evaluation of Open-Source Implementations of Gröbner Basis Computation Algorithms for Small-Scale AES Polynomial Systems over GF(2), expected 2026
   
   
8. David Bálik, Machine Learning-Based Malware Classification by Type and Family, defended 2025, Dean's Award
   
   
9. Tomáš Faikl, Algebraic Cryptanalysis of Small Scale Variants of the AES Based on Lattice Basis Reduction, defended 2025
   
   
10. Benjamín Peraus, Reducing the Surface for Adversarial Attacks in Malware Detectors, defended 2024
    
    
11. Lukáš Děd, Selection of Representative Samples from Datasets for Malware Detection E0, defended 2024, Dean's Award
    
    
12. Jan Dolejš, Algebraic Cryptanalysis of Small-Scale Variants of Stream Cipher E0, defended 2024, Dean's Award
    
    
13. Mehmet Efe Zorlutuna, Unsupersived Instance Selection for Malware Detection, defended 2023
    
    
14. Daniel Minarovič, Algebraic Cryptanalysis of Small Scale Variants of the Grain (in Slovak), defended 2023
    
    
15. Pavla Louthánová, A Comparison of Adversarial Learning Techniques for Malware Detection, defended 2023, Dean's Award
    
    
16. Matouš Kozák, Application of Reinforcement Learning to Creating Adversarial Malware Samples, defended 2023, Dean's Award
    
    
17. Jana Berušková, Reducing Overdefined Systems of Polynomial Equations Derived from Small Scale Variants of the AES (in Czech), defended 2023
    
    
18. Tomáš Zvára, Generating Malware Family Signatures from Behavioral Graphs using Unsupervised Learning, defended 2022
    
    
19. Jiří Soukup, Algebraic Cryptanalysis of LFSR-based Stream Ciphers (in Czech), defended 2022
    
    
20. Marek Bielik, Algebraic Cryptanalysis of Small Scale Variants of the AES, defended 2021, SVOČ 2021 third place
    
    
21. Libor Šlechta, Simulation of Malware Detection Model (in Czech), defended 2020
    
    
22. 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