Living Labs
Cyber Lab

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.

Industry
Services & Equipment

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.

Our cooperation includes:

Advanced malware analysis

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.

Equipment & facilities

Karolina supercomputer (IT4Innovations)

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.

Artificial Intelligence Cybersecurity

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.

Cybersecurity Quantum Computing

TOP Publications

Novák V., Bezděk T., Zelinka I., Das S., Beseda M.
A longitudinal analysis of the CEC single-objective competitions (2010–2024) and implications for variational quantum optimization
A longitudinal analysis of the CEC single-objective competitions (2010–2024) and implications for variational quantum optimization
Swarm and Evolutionary Computation, 107, art. no. 102469, 2026.
Horáčková L., Zelinka I.
Advanced swarm intelligence algorithms in quantum circuit design
Advanced swarm intelligence algorithms in quantum circuit design
International Journal of Parallel, Emergent and Distributed Systems, 40, 2025.
Alexeeva T. A., Kuznetsov N. V., Mokaev T. N., Zelinka I.
Chaotic dynamics in an overlapping generations model: Forecasting and regularization
Chaotic dynamics in an overlapping generations model: Forecasting and regularization
Chaos, Solitons & Fractals, 196, art. no. 116371, 2025.
Diep Q. B., Truong T. C., Zelinka I.
Planning trajectory for UAVs using the self-organizing migrating algorithm
Planning trajectory for UAVs using the self-organizing migrating algorithm
PLOS ONE, 20 (7), e0327016, 2025.
Panoc T., Meca O., Tomaszek L., Brzobohatý T., Říha L., Zelinka I., Kozubek T.
Automated search of an optimal configuration of FETI-based algorithms with the swarm and evolutionary algorithms
Automated search of an optimal configuration of FETI-based algorithms with the swarm and evolutionary algorithms
Applied Soft Computing, 167, 2024.

Contact Persons