Detail projektu

Cyber-security Excellence Hub in Estonia and South Moravia

Období řešení: 01.01.2023 — 31.12.2026

Zdroje financování

Evropská unie - HORIZON EUROPE

- plně financující (2022-11-09 - 2026-12-31)

O projektu

The Cyber-security Excellence Hub in Estonia and South Moravia (CHESS) will bring together leading R&I institutions in both regions to build connected innovation ecosystems to address one of the most important issues confronting Europe today: Cyber-Security. Considering recent world events and the EU’s goal to fully digitize the economy and society by 2030 – the Cybersecurity topic should be at the forefront of agendas. European cybersecurity must be addressed at multiple levels: local, national, European. It needs to not only address gaps in security that exist today but also must be prepared for future threats, which is why research and innovation is needed.



Originální jazyk




Ústav telekomunikací
- příjemce (08.07.2022 - nezadáno)
Fakulta informačních technologií
- spolupříjemce (01.01.2023 - 31.12.2026)


MALÍK, V.; NEČAS, F.; SCHRAMMEL, P.; VOJNAR, T. 2LS: Arrays and Loop Unwinding (Competition Contribution). In Proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, part 2. Lecture Notes in Computer Science. Paris: Springer International Publishing, 2023. p. 529-534. ISBN: 978-3-031-30819-2.

DOBIÁŠ, P.; RICCI, S.; DZURENDA, P.; MALINA, L.; SNETKOV, N. Lattice-based Threshold Signature Implementation for Constrained Devices. In Proceedings of the 20th International Conference on Security and Cryptography (SECRYPT 2023). Science and Technology Publications, 2023. p. 724-730. ISBN: 978-989-758-666-8.

DACÍK, T.; ROGALEWICZ, A.; VOJNAR, T.; ZULEGER, F. Deciding Boolean Separation Logic via Small Models. 2024. p. 0-0.

DOBIÁŠ, P.; MALINA, L.; ILGNER, P.; DZURENDA, P. On Efficiency and Usability of Group Signatures on Smartphone and Single-board Platforms. In ARES 2023: Proceedings of the 18th International Conference on Availability, Reliability and Security. New York, NY, USA: Association for Computing Machinery, 2023. p. 1-9. ISBN: 979-8-4007-0772-8.

KROENING, D.; MALÍK, V.; SCHRAMMEL, P.; VOJNAR, T.; MUKHERJEE, R.; MARTIČEK, Š.; NEČAS, F.; HRUŠKA, M.; BRAIN, M.; BUECHELI, S.; DAVID, C.; KUMAR, M.; WATCHER, B.: 2LS 0.10; 2LS: Static Analyser and Verifier, version 0.10. URL: (software)

MALÍK, V.; GLOZAR, T.; VOJNAR, T.; ŠILLING, P.; ŽÁČIK, P.; MALECOVÁ, T.; ROZEK, J.: DiffKemp 0.4.0; DiffKemp: Static Analyser of Semantic Differences, version 0.4.0. URL: (software)