Project detail

Cyber-security Excellence Hub in Estonia and South Moravia

Duration: 01.01.2023 — 31.12.2026

Funding resources

Evropská unie - HORIZON EUROPE

- whole funder (2022-11-09 - 2026-12-31)

On the project

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.

Mark

101087529

Default language

English

People responsible

Vojnar Tomáš, prof. Ing., Ph.D. - fellow researcher
Hajný Jan, prof. Ing., Ph.D. - principal person responsible

Units

Department of Telecommunications
- beneficiary (2022-07-08 - not assigned)
Faculty of Information Technology
- co-beneficiary (2023-01-01 - 2026-12-31)

Results

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

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

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

MALINA, L.; DZURENDA, P.; LÖVINGER, N.; EKEH, I.; MATULEVICIUS, R. Secure and Privacy-Preserving Car-Sharing Systems. In ARES 2024: Proceedings of the 19th International Conference on Availability, Reliability and Security. 2024. p. 1-10. ISBN: 979-8-4007-1718-5.
Detail

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

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

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

Responsibility: Hajný Jan, prof. Ing., Ph.D.