Cyber-security Excellence Hub in Estonia and South Moravia

Projektinformationen

CHESS

ID Finanzhilfevereinbarung: 101087529

DOI

10.3030/101087529

EK-Unterschriftsdatum 10 November 2022

Startdatum 1 Januar 2023

Enddatum 31 Dezember 2026

Finanziert unter

• Widening participation and spreading excellence

Gesamtkosten

€ 4 999 962,50

EU-Beitrag

€ 4 999 962,50

Koordiniert durch

Masarykova univerzita
Czechia

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Leistungen

Documents, reports (5)

Initial Data Management Plan

First version of the CHESS Data Management Plan.

Training and knowledge transfer needs and opportunities (SWOT) in the selected areas in South Moravia and Estonia

A document describing the training and knowledge transfer needs of the CHESS regions.

Risk Management Plan

A document outlining the risk management procedures of the CHESS project.

Dissemination, Exploitation and Communication Plan

Description of target groups, messaging and tailored dissemination channels.

Project website

Description of the project website.

Veröffentlichungen

Conference proceedings (23)

The Finite Satisfiability Problem for PCTL is Undecidable

Autoren: Miroslav Chodil, Antonín Kučera
Veröffentlicht in: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2024), 2024, ISBN 979-8-4007-0660-8
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3661814.3662145

Comparable and Repeatable Information Security Level Evaluation

Autoren: Mari Seeba
Veröffentlicht in: CEUR Workshop Proceedings, 2024, ISSN 1613-0073
Herausgeber: CEUR‑WS
DOI: 10.5281/ZENODO.16093367

A Model of Qualitative Factors in Forensic-Ready Software Systems

Autoren: Lukas Daubner, Raimundas Matulevičius and Barbora Buhnova
Veröffentlicht in: Research Challenges in Information Science: Information Science and the Connected World (RCIS 2023), 2023, ISSN 1865-1348
Herausgeber: Springer Nature Switzerland AG
DOI: 10.1007/978-3-031-33080-3_19

DECEPTWIN: Proactive Security Approach for IoV by Leveraging Deception-based Digital Twins and Blockchain

Autoren: Iqbal, M., Suhail, S., Matulevicius, R.
Veröffentlicht in: Proceedings of the 19th International Conference on Availability, Reliability and Security (2024), 2024, ISBN 979-8-4007-1718-5
Herausgeber: ACM
DOI: 10.1145/3664476.3670473

Secure and Privacy-Preserving Car-Sharing Systems

Autoren: Lukas Malina, Petr Dzurenda, Norbert Lövinger, Ijeoma Faustina Ekeh, Raimundas Matulevicius
Veröffentlicht in: Proceedings of the 19th International Conference on Availability, Reliability and Security, 2024, ISBN 979-8-4007-1718-5
Herausgeber: ACM
DOI: 10.1145/3664476.3670443

CHESS: Cyber-security Excellence Hub in Estonia and South Moravia

Autoren: Bakhtina, M., Vémolová, Z., and Matyáš
Veröffentlicht in: CEUR Workshop Proceedings, 2024, ISSN 1613-0073
Herausgeber: CEUR‑WS
DOI: 10.5281/ZENODO.11577196

Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes

Autoren: Klaška, David; Kučera, Antonín; Kůr, Vojtěch; Musil, Vít; Řehák, Vojtěch
Veröffentlicht in: Proceedings of the AAAI Conference on Artificial Intelligence, 2024, ISSN 2159-5399
Herausgeber: AAAI Press, Washington, DC, USA
DOI: 10.1609/AAAI.V38I18.29993

Lattice-based Threshold Signature Implementation for Constrained Devices

Autoren: Patrik Dobias, Sara Ricci, Petr Dzurenda, Lukas Malina, Nikita Snetkov
Veröffentlicht in: Proceedings of the 20th International Conference on Security and Cryptography SECRYPT, Ausgabe 1, 2023, ISSN 2184-7711
Herausgeber: SciTePress
DOI: 10.5220/0012112700003555

Reducing Acceptance Marks in Emerson-Lei Automata by QBF Solving

Autoren: Tereza Schwarzová, Jan Strejček, Juraj Major
Veröffentlicht in: Leibniz International Proceedings in Informatics, 2023, ISSN 1868-8969
Herausgeber: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.4230/LIPICS.SAT.2023.23

On Efficiency and Usability of Group Signatures on Smartphone and Single-board Platforms

Autoren: Patrik Dobias, Lukas Malina, Petr Ilgner, Petr Dzurenda
Veröffentlicht in: Proceedings of the 18th International Conference on Availability, Reliability and Security (ARES ’23), 2023, ISBN 979-8-4007-0772-8
Herausgeber: Association for Computing Machinery, New York, NY, United States
DOI: 10.1145/3600160.3605015

Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems

Autoren: David Klaska, Antonín Kucera, Martin Kurecka, Vít Musil, Petr Novotný, Vojtech Rehák
Veröffentlicht in: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI 2023), 2023, ISBN 978-1-956792-03-4
Herausgeber: International Joint Conferences on Artificial Intelligence
DOI: 10.24963/IJCAI.2023/20

A Diagrammatic Algebra for Program Logics

Autoren: Bonchi, F., Di Giorgio, A., Di Lavore, E.
Veröffentlicht in: Foundations of Software Science and Computation Structures. FoSSaCS 2025, Lecture Notes in Computer Science, 2025, ISSN 0302-9743
Herausgeber: Springer, Cham
DOI: 10.1007/978-3-031-90897-2_15

Post-quantum trails: an educational board game about post-quantum cryptography

Autoren: Vakarjuk, J., Snetkov, N.
Veröffentlicht in: Proceedings of the 7th International Conference on Historical Cryptology (HistoCrypt 2024), 2024
Herausgeber: Tartu University Library
DOI: 10.58009/AERE-PERENNIUS0115

String Diagrammatic Trace Theory

Autoren: Matthew Earnshaw, Paweł Sobociński
Veröffentlicht in: 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023). Leibniz International Proceedings in Informatics (LIPIcs), 2023, ISSN 1868-8969
Herausgeber: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.4230/LIPICS.MFCS.2023.43

A Decentralised Public Key Infrastructure for X-Road

Autoren: Mariia Bakhtina, Kin Long Leung, Raimundas Matulevičius, Ahmed Awad, and Petr Švenda
Veröffentlicht in: ARES '23: Proceedings of the 18th International Conference on Availability, Reliability and Security, 2023, ISBN 979-8-4007-0772-8
Herausgeber: Association for Computing Machinery, New York, NY, United States
DOI: 10.1145/3600160.3605092

2LS: Arrays and Loop Unwinding

Autoren: Viktor Malík, František Nečas, Peter Schrammel, Tomáš Vojnar
Veröffentlicht in: Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023), 2023, ISSN 0302-9743
Herausgeber: Springer Nature Switzerland AG
DOI: 10.1007/978-3-031-30820-8_31

Trust-minimizing BDHKE-based e-cash mint using secure hardware and distributed computation

Autoren: Antonín Dufka, Jakub Janků, Petr Švenda
Veröffentlicht in: Proceedings of the 19th International Conference on Availability, Reliability and Security, 2024, ISBN 979-8-4007-1718-5
Herausgeber: ACM
DOI: 10.1145/3664476.3670889

A Case Study on the Impact of Forensic-Ready Information Systems on the Security Posture

Autoren: Lukas Daubner, Raimundas Matulevicius, Barbora Buhnova, Matej Antol, Michal Ruzicka and Tomas Pitner
Veröffentlicht in: Advanced Information Systems Engineering (CAiSE 2023), 2023, ISSN 0302-9743
Herausgeber: Springer Nature Switzerland AG
DOI: 10.1007/978-3-031-34560-9_31

Security level evaluation with F4SLE

Autoren: Mari Seeba, Tarmo Oja, Maria Pibilota Murumaa, and Václav Stupka
Veröffentlicht in: ARES '23: Proceedings of the 18th International Conference on Availability, Reliability and Security, 2023, ISBN 979-8-4007-0772-8
Herausgeber: Association for Computing Machinery, New York, NY, United States
DOI: 10.1145/3600160.3605045

Tighter Construction of Tight Büchi Automata

Autoren: Jankola, M., Strejček, J.
Veröffentlicht in: Foundations of Software Science and Computation Structures. FoSSaCS 2024. Lecture Notes in Computer Science., 2024, ISSN 0302-9743
Herausgeber: Springer, Cham
DOI: 10.1007/978-3-031-57228-9_12

The Power of Many: Securing Organisational Identity Through Distributed Key Management

Autoren: Mariia Bakhtina, Jan Kvapil, Petr Švenda, and Raimundas Matulevičius
Veröffentlicht in: Advanced Information Systems Engineering, 2024, ISSN 0302-9743
Herausgeber: Cham: Springer
DOI: 10.1007/978-3-031-61057-8_28

Cybersecurity Study Programs: What's in a Name?

Autoren: VYKOPAL, J.; V. ŠVÁBENSKÝ; M. T. LOPEZ II and P. ČELEDA
Veröffentlicht in: Proceedings of the 56th ACM Technical Symposium on Computer Science Education, 2025
Herausgeber: ACM
DOI: 10.1145/3641554.3701976

Towards More Secure and Data Protective Intelligent Infrastructure Systems

Autoren: Mariia Bakhtina
Veröffentlicht in: Proceedings of the Doctoral Consortium Papers Presented at the 35th International Conference on Advanced Information Systems Engineering (CAiSE 2023), 2023, ISSN 1613-0073
Herausgeber: CEUR-WS.org

Peer reviewed articles (3)

Automated feedback for participants of hands-on cybersecurity training

Autoren: Valdemar Švábenský, Jan Vykopal, Pavel Čeleda, Ján Dovjak
Veröffentlicht in: Education and Information Technologies, 2023, ISSN 1360-2357
Herausgeber: Springer Nature
DOI: 10.1007/S10639-023-12265-8

From Reports to Actions: Bridging the Customer Usability Gap in Penetration Testing

Autoren: Katarina Galanska, Agata Kruzikova, Maria Pibilota Murumaa, Václav Matyáš, Mike Just
Veröffentlicht in: IEEE Access, Ausgabe 13, 2025, ISSN 2169-3536
Herausgeber: Institute of Electrical and Electronics Engineers (IEEE)
DOI: 10.1109/ACCESS.2025.3561220

Information Security and Privacy Management in Intelligent Transportation Systems

Autoren: Mariia Bakhtina, Raimundas Matulevičius, Lukaš Malina
Veröffentlicht in: Complex Systems Informatics and Modeling Quarterly (CSIMQ), 2024, ISSN 2255-9922
Herausgeber: RTU Press
DOI: 10.7250/CSIMQ.2024-38.04