Cyber-security Excellence Hub in Estonia and South Moravia

Informacje na temat projektu

CHESS

Identyfikator umowy o grant: 101087529

DOI 10.3030/101087529

Data podpisania przez KE 10 Listopada 2022

Data rozpoczęcia 1 Stycznia 2023

Data zakończenia 31 Grudnia 2026

Finansowanie w ramach

• Widening participation and spreading excellence

Koszt całkowity € 4 999 962,50

Wkład UE € 4 999 962,50

Koordynowany przez

Masarykova univerzita
Czechia

Publikacje

Conference proceedings (9)

A Model of Qualitative Factors in Forensic-Ready Software Systems

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

Lattice-based Threshold Signature Implementation for Constrained Devices

Autorzy: Patrik Dobias, Sara Ricci, Petr Dzurenda, Lukas Malina, Nikita Snetkov
Opublikowane w: Proceedings of the 20th International Conference on Security and Cryptography SECRYPT, Numer 1, 2023, ISSN 2184-7711
Wydawca: SciTePress
DOI: 10.5220/0012112700003555

Lecture Notes in Business Information Processing

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

Reducing Acceptance Marks in Emerson-Lei Automata by QBF Solving

Autorzy: Tereza Schwarzová, Jan Strejček, Juraj Major
Opublikowane w: Leibniz International Proceedings in Informatics, 2023, ISSN 1868-8969
Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.4230/LIPIcs.SAT.2023.23

String Diagrammatic Trace Theory

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

A Decentralised Public Key Infrastructure for X-Road

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

2LS: Arrays and Loop Unwinding

Autorzy: Viktor Malík, František Nečas, Peter Schrammel, Tomáš Vojnar
Opublikowane w: Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023), 2023, ISSN 0302-9743
Wydawca: 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

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

Security level evaluation with F4SLE

Autorzy: Mari Seeba, Tarmo Oja, Maria Pibilota Murumaa, and Václav Stupka
Opublikowane w: ARES '23: Proceedings of the 18th International Conference on Availability, Reliability and Security, 2023, ISBN 979-8-4007-0772-8
Wydawca: 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

Autorzy: Mariia Bakhtina, Raimundas Matulevičius, Lukaš Malina
Opublikowane w: Complex Systems Informatics and Modeling Quarterly (CSIMQ), 2024, ISSN 2255-9922
Wydawca: RTU Press
DOI: 10.7250/csimq.2024-38.04