Cyber-security Excellence Hub in Estonia and South Moravia

Project Information

CHESS

Grant agreement ID: 101087529

DOI 10.3030/101087529

EC signature date 10 November 2022

Start date 1 January 2023

End date 31 December 2026

Funded under

• Widening participation and spreading excellence

Total cost € 4 999 962,50

EU contribution € 4 999 962,50

Coordinated by

Masarykova univerzita
Czechia

Publications

Conference proceedings (9)

A Model of Qualitative Factors in Forensic-Ready Software Systems

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

Lattice-based Threshold Signature Implementation for Constrained Devices

Author(s): Patrik Dobias, Sara Ricci, Petr Dzurenda, Lukas Malina, Nikita Snetkov
Published in: Proceedings of the 20th International Conference on Security and Cryptography SECRYPT, Issue 1, 2023, ISSN 2184-7711
Publisher: SciTePress
DOI: 10.5220/0012112700003555

Lecture Notes in Business Information Processing

Author(s): Lukas Daubner, Sofija Maksović, Raimundas Matulevičius, Barbora Buhnova, and Tomás̆ Sedlác̆ek
Published in: Research Challenges in Information Science (RCIS 2024), 2024, ISSN 1865-1348
Publisher: Springer Verlag
DOI: 10.1007/978-3-031-59468-7_6

Reducing Acceptance Marks in Emerson-Lei Automata by QBF Solving

Author(s): Tereza Schwarzová, Jan Strejček, Juraj Major
Published in: Leibniz International Proceedings in Informatics, 2023, ISSN 1868-8969
Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.4230/LIPIcs.SAT.2023.23

String Diagrammatic Trace Theory

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

A Decentralised Public Key Infrastructure for X-Road

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

2LS: Arrays and Loop Unwinding

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

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

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

Security level evaluation with F4SLE

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

Peer reviewed articles (1)

Information Security and Privacy Management in Intelligent Transportation Systems

Author(s): Mariia Bakhtina, Raimundas Matulevičius, Lukaš Malina
Published in: Complex Systems Informatics and Modeling Quarterly (CSIMQ), 2024, ISSN 2255-9922
Publisher: RTU Press
DOI: 10.7250/csimq.2024-38.04