Project Details
CHESS - Cyber-security Excellence Hub in Estonia and South Moravia
Project Period: 1. 1. 2023 - 31. 12. 2026
Project Type: grant
Code: 101087529, 101087529
Agency: European Comission EU
Program: HORIZON EUROPE
Internet of Secure Things, Security Certification, Verification of Trustworthy Software, Blockchain, Post-Quantum Cryptography, Human-centric Aspects of Cybersecurity.
The proposed Cyber-security Excellence Hub in Estonia and South Moravia (CHESS) will integrate leading cybersecurity institutions and capitalize on the strengths of both regions to address important Europe-wide challenges. South Moravia is a major ICT industry & education powerhouse of the Czech Republic, with a very focused and coherent smart specialization strategy targeting cybersecurity. Estonia is among the most advanced digital societies globally, with exceptional e-government deployment which, however, makes it vulnerable to various cyber threats. CHESS will directly follow the strategies and roadmaps of the European Cybersecurity Competence Pilots and build on the experience of CHESS partners involved in all four of these pilots, contributing to safe transition of the EU to full-scale digital society. The CHESS Hub will conduct a thorough needs analysis of the two regions and develop a joint cross-border R&I strategy for cybersecurity. The strategy development will be aided by implementation of pilot R&I projects that will reinforce the cross-regional collaboration, engage regional innovation ecosystems and build evidence for future projects. Gaps in skills and expertise identified in the regions will be removed by training and knowledge transfer. Finally, dedicated task forces will ensure sustainability of CHESS by integration with regional, national, and EU-level strategies and funding programmes. To exploit the project outputs, especially the pilot project results, CHESS will aid with market potential assessment and link researchers and innovators with entrepreneurship training and business consultancy services available in the regions. The strategizing, skills-building and pilot R&I will cover the totality of the cybersecurity field, with special attention to 6 Challenge Areas: Internet of Secure Things; Security Certification; Verification of Trustworthy Software; Blockchain; Post-Quantum Cryptography; and Human-centric Aspects of Cybersecurity.
Hajný Jan, Doc. Ing., Ph.D. (UTKO FEKT VUT) , team leader
Andriushchenko Roman, Ing. (UITS FIT VUT)
Češka Milan, doc. RNDr., Ph.D. (UITS FIT VUT)
Dacík Tomáš, Ing. (UITS FIT VUT)
Fiedor Jan, Ing., Ph.D. (UITS FIT VUT)
Homoliak Ivan, Ing., Ph.D. (UITS FIT VUT)
Malík Viktor, Ing. (UITS FIT VUT)
Malinka Kamil, Mgr., Ph.D. (UITS FIT VUT)
2024
- DACÍK Tomáš, ROGALEWICZ Adam, VOJNAR Tomáš and ZULEGER Florian. Deciding Boolean Separation Logic via Small Models. In: 2024. Detail
2023
- MALÍK Viktor, NEČAS František, SCHRAMMEL Peter and VOJNAR Tomáš. 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, vol. 13994. Paris: Springer International Publishing, 2023, pp. 529-534. ISBN 978-3-031-30819-2. Detail
2023
- 2LS: Static Analyser and Verifier, version 0.10, software, 2023
Authors: Brain Martin, Buecheli Samuel, David Cristina, Hruška Martin, Kroening Daniel, Kumar Madhukar, Malík Viktor, Martiček Štefan, Mukherjee Rajdeep, Nečas František, Schrammel Peter, Vojnar Tomáš, Watcher Björn Detail - DiffKemp: Static Analyser of Semantic Differences, version 0.4.0, software, 2023
Authors: Glozar Tomáš, Malecová Tatiana, Malík Viktor, Rozek Jakub, Šilling Petr, Vojnar Tomáš, Žáčik Pavol Detail