Cyber-security Excellence Hub in Estonia and South Moravia

Informazioni relative al progetto

CHESS

ID dell’accordo di sovvenzione: 101087529

DOI 10.3030/101087529

Data della firma CE 10 Novembre 2022

Data di avvio 1 Gennaio 2023

Data di completamento 31 Dicembre 2026

Finanziato da

• Widening participation and spreading excellence

Costo totale € 4 999 962,50

Contributo UE € 4 999 962,50

Coordinato da

Masarykova univerzita
Czechia

Pubblicazioni

Conference proceedings (9)

A Model of Qualitative Factors in Forensic-Ready Software Systems

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

Lattice-based Threshold Signature Implementation for Constrained Devices

Autori: Patrik Dobias, Sara Ricci, Petr Dzurenda, Lukas Malina, Nikita Snetkov
Pubblicato in: Proceedings of the 20th International Conference on Security and Cryptography SECRYPT, Numero 1, 2023, ISSN 2184-7711
Editore: SciTePress
DOI: 10.5220/0012112700003555

Lecture Notes in Business Information Processing

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

Reducing Acceptance Marks in Emerson-Lei Automata by QBF Solving

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

String Diagrammatic Trace Theory

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

A Decentralised Public Key Infrastructure for X-Road

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

2LS: Arrays and Loop Unwinding

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

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

Security level evaluation with F4SLE

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

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