Prof. Ing. Ivan Zelinka, Ph.D.
Lab Leader
Our laboratory explores the convergence of three strategic domains: artificial intelligence, quantum algorithms, and cybersecurity. Rather than treating them as isolated disciplines, we focus on their fusion and on the capabilities, risks and questions emerging at their intersection. We develop methods for malware analysis, intelligent penetration testing, autonomous cyber defence, and agentic AI systems supporting detection, reasoning, and response. Our research also investigates the structure, behaviour, and properties of modern cyber weapons and AI-enabled malware, including adaptive, evasive, and semi-autonomous threats. By combining machine learning, quantum and quantum-inspired computation, behavioural analysis, complex systems, and offensive-security methods, we aim to create next-generation tools for understanding, simulating, detecting, and countering advanced attacks. The laboratory connects core research with experimental validation and real-world cybersecurity applications.
The Cyber Lab team offers industrial and institutional partners applied cybersecurity and AI expertise—from malware analysis and AI-enhanced penetration testing to security assessment of agentic systems, cyber-defence prototyping, and quantum-inspired security research—backed by access to high-performance and quantum computing infrastructure at IT4Innovations.
We provide advanced static, dynamic, and behavioural analysis of malicious software. Our services include malware classification, identification of malware families, analysis of API calls, system activity, network communication, persistence mechanisms, and evasion techniques. We also investigate polymorphic, obfuscated, and AI-enabled malware whose behaviour may change dynamically during execution.
We design and validate experimental AI systems for threat detection, incident analysis, alert prioritisation, and defensive decision support. These solutions may use machine learning, LLM agents, behavioural analytics, and multi-agent architectures to support SOC teams and security analysts. The result is typically a proof of concept, demonstrator, or prototype tailored to a specific defensive scenario.
We combine conventional penetration-testing methodologies with artificial intelligence and automated reasoning. AI-supported tools can help identify attack paths, prioritise vulnerabilities, analyse complex findings, and adapt testing strategies to the target environment. The service can include targeted security assessments, red-team scenarios, and experimental agent-based penetration testing.
We provide expert studies, feasibility analyses, technology assessments, specialised training, and research support in AI, cybersecurity, and quantum computing. Activities can be tailored to technical teams, management, public authorities, or research organisations. The service may also include the design of research roadmaps, datasets, experimental methodologies, and collaborative R&D projects.
We assess whether selected cybersecurity problems can benefit from quantum or quantum-inspired computation. Services may include the design of hybrid quantum-classical workflows, optimisation models, quantum classifiers, and benchmarking against conventional methods. The emphasis is placed on technically realistic use cases and measurable benefits rather than purely theoretical demonstrations.
We evaluate the security, robustness, and misuse resistance of AI applications, large language models, RAG systems, and autonomous agents. Testing may include prompt injection, jailbreaks, data leakage, adversarial inputs, poisoned knowledge sources, unsafe tool use, and excessive agent permissions. The objective is to identify technical weaknesses before they can be exploited in real-world operation.
Infrastructure includes hundreds of CPU nodes, an accelerated partition with 576 NVIDIA A100 GPUs, high-memory nodes with up to 24 TB of shared RAM, high-speed InfiniBand interconnection, and petabyte-scale storage. Supports distributed machine learning, deep learning, graph analytics, large-scale behavioural analysis, and hybrid HPC–AI workflows.
The architecture is designed to reduce SWAP operations and improve utilisation of limited coherence time. The system supports Qiskit and Cirq and enables experimental validation of quantum and quantum-inspired classifiers, optimisation algorithms, and hybrid cybersecurity workflows.
Lab Leader
Lab Administrator