Project Details
Cyber-security Excellence Hub in Estonia and South Moravia
Project Period: 1. 1. 2023 – 31. 12. 2026
Project Type: grant
Code: 101087529
Agency: Evropská unie
Program: HORIZON EUROPE
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.
2024
- DACÍK, T.; ROGALEWICZ, A.; VOJNAR, T.; ZULEGER, F. Deciding Boolean Separation Logic via Small Models. 2024.
p. 0-0. Detail
2023
- 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. Detail