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.

Označení

101087529

Originální jazyk

angličtina

Řešitelé

Hajný Jan, doc. Ing., Ph.D. - hlavní řešitel
Vojnar Tomáš, prof. Ing., Ph.D. - spoluřešitel

Útvary

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

Výsledky

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

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.
Detail

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

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.
Detail

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. https://github.com/diffblue/2ls/releases/tag/2ls-0.10. URL: https://github.com/diffblue/2ls/releases/tag/2ls-0.10. (software)
Detail

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. https://github.com/viktormalik/diffkemp/releases/tag/v0.4.0. URL: https://github.com/viktormalik/diffkemp/releases/tag/v0.4.0. (software)
Detail

Odpovědnost: Hajný Jan, doc. Ing., Ph.D.