Skip to main content
Przejdź do strony domowej Komisji Europejskiej (odnośnik otworzy się w nowym oknie)
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS

Cyber-security Excellence Hub in Estonia and South Moravia

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Rezultaty

Initial Data Management Plan (odnośnik otworzy się w nowym oknie)

First version of the CHESS Data Management Plan.

Training and knowledge transfer needs and opportunities (SWOT) in the selected areas in South Moravia and Estonia (odnośnik otworzy się w nowym oknie)

A document describing the training and knowledge transfer needs of the CHESS regions.

Risk Management Plan (odnośnik otworzy się w nowym oknie)

A document outlining the risk management procedures of the CHESS project.

Dissemination, Exploitation and Communication Plan (odnośnik otworzy się w nowym oknie)

Description of target groups, messaging and tailored dissemination channels.

Project website (odnośnik otworzy się w nowym oknie)

Description of the project website.

Publikacje

The Finite Satisfiability Problem for PCTL is Undecidable (odnośnik otworzy się w nowym oknie)

Autorzy: Miroslav Chodil, Antonín Kučera
Opublikowane w: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2024), 2024, ISBN 979-8-4007-0660-8
Wydawca: Association for Computing Machinery
DOI: 10.1145/3661814.3662145

Comparable and Repeatable Information Security Level Evaluation (odnośnik otworzy się w nowym oknie)

Autorzy: Mari Seeba
Opublikowane w: CEUR Workshop Proceedings, 2024, ISSN 1613-0073
Wydawca: CEUR‑WS
DOI: 10.5281/ZENODO.16093367

A Model of Qualitative Factors in Forensic-Ready Software Systems (odnośnik otworzy się w nowym oknie)

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

DECEPTWIN: Proactive Security Approach for IoV by Leveraging Deception-based Digital Twins and Blockchain (odnośnik otworzy się w nowym oknie)

Autorzy: Iqbal, M., Suhail, S., Matulevicius, R.
Opublikowane w: Proceedings of the 19th International Conference on Availability, Reliability and Security (2024), 2024, ISBN 979-8-4007-1718-5
Wydawca: ACM
DOI: 10.1145/3664476.3670473

Secure and Privacy-Preserving Car-Sharing Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Lukas Malina, Petr Dzurenda, Norbert Lövinger, Ijeoma Faustina Ekeh, Raimundas Matulevicius
Opublikowane w: Proceedings of the 19th International Conference on Availability, Reliability and Security, 2024, ISBN 979-8-4007-1718-5
Wydawca: ACM
DOI: 10.1145/3664476.3670443

CHESS: Cyber-security Excellence Hub in Estonia and South Moravia (odnośnik otworzy się w nowym oknie)

Autorzy: Bakhtina, M., Vémolová, Z., and Matyáš
Opublikowane w: CEUR Workshop Proceedings, 2024, ISSN 1613-0073
Wydawca: CEUR‑WS
DOI: 10.5281/ZENODO.11577196

Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes (odnośnik otworzy się w nowym oknie)

Autorzy: Klaška, David; Kučera, Antonín; Kůr, Vojtěch; Musil, Vít; Řehák, Vojtěch
Opublikowane w: Proceedings of the AAAI Conference on Artificial Intelligence, 2024, ISSN 2159-5399
Wydawca: AAAI Press, Washington, DC, USA
DOI: 10.1609/AAAI.V38I18.29993

Lattice-based Threshold Signature Implementation for Constrained Devices (odnośnik otworzy się w nowym oknie)

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

Reducing Acceptance Marks in Emerson-Lei Automata by QBF Solving (odnośnik otworzy się w nowym oknie)

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

On Efficiency and Usability of Group Signatures on Smartphone and Single-board Platforms (odnośnik otworzy się w nowym oknie)

Autorzy: Patrik Dobias, Lukas Malina, Petr Ilgner, Petr Dzurenda
Opublikowane w: Proceedings of the 18th International Conference on Availability, Reliability and Security (ARES ’23), 2023, ISBN 979-8-4007-0772-8
Wydawca: Association for Computing Machinery, New York, NY, United States
DOI: 10.1145/3600160.3605015

Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems (odnośnik otworzy się w nowym oknie)

Autorzy: David Klaska, Antonín Kucera, Martin Kurecka, Vít Musil, Petr Novotný, Vojtech Rehák
Opublikowane w: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI 2023), 2023, ISBN 978-1-956792-03-4
Wydawca: International Joint Conferences on Artificial Intelligence
DOI: 10.24963/IJCAI.2023/20

A Diagrammatic Algebra for Program Logics (odnośnik otworzy się w nowym oknie)

Autorzy: Bonchi, F., Di Giorgio, A., Di Lavore, E.
Opublikowane w: Foundations of Software Science and Computation Structures. FoSSaCS 2025, Lecture Notes in Computer Science, 2025, ISSN 0302-9743
Wydawca: Springer, Cham
DOI: 10.1007/978-3-031-90897-2_15

Post-quantum trails: an educational board game about post-quantum cryptography (odnośnik otworzy się w nowym oknie)

Autorzy: Vakarjuk, J., Snetkov, N.
Opublikowane w: Proceedings of the 7th International Conference on Historical Cryptology (HistoCrypt 2024), 2024
Wydawca: Tartu University Library
DOI: 10.58009/AERE-PERENNIUS0115

String Diagrammatic Trace Theory (odnośnik otworzy się w nowym oknie)

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 (odnośnik otworzy się w nowym oknie)

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 (odnośnik otworzy się w nowym oknie)

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

Trust-minimizing BDHKE-based e-cash mint using secure hardware and distributed computation (odnośnik otworzy się w nowym oknie)

Autorzy: Antonín Dufka, Jakub Janků, Petr Švenda
Opublikowane w: Proceedings of the 19th International Conference on Availability, Reliability and Security, 2024, ISBN 979-8-4007-1718-5
Wydawca: ACM
DOI: 10.1145/3664476.3670889

A Case Study on the Impact of Forensic-Ready Information Systems on the Security Posture (odnośnik otworzy się w nowym oknie)

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 (odnośnik otworzy się w nowym oknie)

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

Tighter Construction of Tight Büchi Automata (odnośnik otworzy się w nowym oknie)

Autorzy: Jankola, M., Strejček, J.
Opublikowane w: Foundations of Software Science and Computation Structures. FoSSaCS 2024. Lecture Notes in Computer Science., 2024, ISSN 0302-9743
Wydawca: Springer, Cham
DOI: 10.1007/978-3-031-57228-9_12

The Power of Many: Securing Organisational Identity Through Distributed Key Management (odnośnik otworzy się w nowym oknie)

Autorzy: Mariia Bakhtina, Jan Kvapil, Petr Švenda, and Raimundas Matulevičius
Opublikowane w: Advanced Information Systems Engineering, 2024, ISSN 0302-9743
Wydawca: Cham: Springer
DOI: 10.1007/978-3-031-61057-8_28

Cybersecurity Study Programs: What's in a Name? (odnośnik otworzy się w nowym oknie)

Autorzy: VYKOPAL, J.; V. ŠVÁBENSKÝ; M. T. LOPEZ II and P. ČELEDA
Opublikowane w: Proceedings of the 56th ACM Technical Symposium on Computer Science Education, 2025
Wydawca: ACM
DOI: 10.1145/3641554.3701976

Towards More Secure and Data Protective Intelligent Infrastructure Systems

Autorzy: Mariia Bakhtina
Opublikowane w: Proceedings of the Doctoral Consortium Papers Presented at the 35th International Conference on Advanced Information Systems Engineering (CAiSE 2023), 2023, ISSN 1613-0073
Wydawca: CEUR-WS.org

Automated feedback for participants of hands-on cybersecurity training (odnośnik otworzy się w nowym oknie)

Autorzy: Valdemar Švábenský, Jan Vykopal, Pavel Čeleda, Ján Dovjak
Opublikowane w: Education and Information Technologies, 2023, ISSN 1360-2357
Wydawca: Springer Nature
DOI: 10.1007/S10639-023-12265-8

From Reports to Actions: Bridging the Customer Usability Gap in Penetration Testing (odnośnik otworzy się w nowym oknie)

Autorzy: Katarina Galanska, Agata Kruzikova, Maria Pibilota Murumaa, Václav Matyáš, Mike Just
Opublikowane w: IEEE Access, Numer 13, 2025, ISSN 2169-3536
Wydawca: Institute of Electrical and Electronics Engineers (IEEE)
DOI: 10.1109/ACCESS.2025.3561220

Information Security and Privacy Management in Intelligent Transportation Systems (odnośnik otworzy się w nowym oknie)

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

Wyszukiwanie danych OpenAIRE...

Podczas wyszukiwania danych OpenAIRE wystąpił błąd

Brak wyników

Moja broszura 0 0