Cyber-security Excellence Hub in Estonia and South Moravia

Información del proyecto

CHESS

Identificador del acuerdo de subvención: 101087529

DOI 10.3030/101087529

Fecha de la firma de la CE 10 Noviembre 2022

Fecha de inicio 1 Enero 2023

Fecha de finalización 31 Diciembre 2026

Financiado con arreglo a

• Widening participation and spreading excellence

Coste total € 4 999 962,50

Aportación de la UE € 4 999 962,50

Coordinado por

Masarykova univerzita
Czechia

Publicaciones

Conference proceedings (9)

A Model of Qualitative Factors in Forensic-Ready Software Systems

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

Lattice-based Threshold Signature Implementation for Constrained Devices

Autores: Patrik Dobias, Sara Ricci, Petr Dzurenda, Lukas Malina, Nikita Snetkov
Publicado en: Proceedings of the 20th International Conference on Security and Cryptography SECRYPT, Edición 1, 2023, ISSN 2184-7711
Editor: SciTePress
DOI: 10.5220/0012112700003555

Lecture Notes in Business Information Processing

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

Reducing Acceptance Marks in Emerson-Lei Automata by QBF Solving

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

String Diagrammatic Trace Theory

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

A Decentralised Public Key Infrastructure for X-Road

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

2LS: Arrays and Loop Unwinding

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

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

Security level evaluation with F4SLE

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

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