Cyber-security Excellence Hub in Estonia and South Moravia

Informations projet

CHESS

N° de convention de subvention: 101087529

DOI 10.3030/101087529

Date de signature de la CE 10 Novembre 2022

Date de début 1 Janvier 2023

Date de fin 31 Decembre 2026

Financé au titre de

• Widening participation and spreading excellence

Coût total € 4 999 962,50

Contribution de l’UE € 4 999 962,50

Coordonné par

Masarykova univerzita
Czechia

Publications

Conference proceedings (9)

A Model of Qualitative Factors in Forensic-Ready Software Systems

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

Lattice-based Threshold Signature Implementation for Constrained Devices

Auteurs: Patrik Dobias, Sara Ricci, Petr Dzurenda, Lukas Malina, Nikita Snetkov
Publié dans: Proceedings of the 20th International Conference on Security and Cryptography SECRYPT, Numéro 1, 2023, ISSN 2184-7711
Éditeur: SciTePress
DOI: 10.5220/0012112700003555

Lecture Notes in Business Information Processing

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

Reducing Acceptance Marks in Emerson-Lei Automata by QBF Solving

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

String Diagrammatic Trace Theory

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

A Decentralised Public Key Infrastructure for X-Road

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

2LS: Arrays and Loop Unwinding

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

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

Security level evaluation with F4SLE

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

Auteurs: Mariia Bakhtina, Raimundas Matulevičius, Lukaš Malina
Publié dans: Complex Systems Informatics and Modeling Quarterly (CSIMQ), 2024, ISSN 2255-9922
Éditeur: RTU Press
DOI: 10.7250/csimq.2024-38.04