A Diagrammatic Algebra for Program Logics
Foundations of Software Science and Computation Structures. FoSSaCS 2025, Lecture Notes in Computer Science· 2025DOI Bonchi, F., Di Giorgio, A., Di Lavore, E.
Cybersecurity Study Programs: What's in a Name?
Proceedings of the 56th ACM Technical Symposium on Computer Science Education· 2025DOI VYKOPAL, J.; V. ŠVÁBENSKÝ; M. T. LOPEZ II and P. ČELEDA
From Reports to Actions: Bridging the Customer Usability Gap in Penetration Testing
Katarina Galanska, Agata Kruzikova, Maria Pibilota Murumaa, Václav Matyáš, Mike Just
CHESS: Cyber-security Excellence Hub in Estonia and South Moravia
CEUR Workshop Proceedings· 2024DOI Bakhtina, M., Vémolová, Z., and Matyáš
Comparable and Repeatable Information Security Level Evaluation
CEUR Workshop Proceedings· 2024DOI Mari Seeba
DECEPTWIN: Proactive Security Approach for IoV by Leveraging Deception-based Digital Twins and Blockchain
Proceedings of the 19th International Conference on Availability, Reliability and Security (2024)· 2024DOI Iqbal, M., Suhail, S., Matulevicius, R.
Information Security and Privacy Management in Intelligent Transportation Systems
Complex Systems Informatics and Modeling Quarterly (CSIMQ)· 2024DOI Mariia Bakhtina, Raimundas Matulevičius, Lukaš Malina
Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes
Proceedings of the AAAI Conference on Artificial Intelligence· 2024DOI Klaška, David; Kučera, Antonín; Kůr, Vojtěch; Musil, Vít; Řehák, Vojtěch
Post-quantum trails: an educational board game about post-quantum cryptography
Proceedings of the 7th International Conference on Historical Cryptology (HistoCrypt 2024)· 2024DOI Vakarjuk, J., Snetkov, N.
Secure and Privacy-Preserving Car-Sharing Systems
Proceedings of the 19th International Conference on Availability, Reliability and Security· 2024DOI Lukas Malina, Petr Dzurenda, Norbert Lövinger, Ijeoma Faustina Ekeh, Raimundas Matulevicius
The Finite Satisfiability Problem for PCTL is Undecidable
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2024)· 2024DOI Miroslav Chodil, Antonín Kučera
The Power of Many: Securing Organisational Identity Through Distributed Key Management
Advanced Information Systems Engineering· 2024DOI Mariia Bakhtina, Jan Kvapil, Petr Švenda, and Raimundas Matulevičius
Tighter Construction of Tight Büchi Automata
Foundations of Software Science and Computation Structures. FoSSaCS 2024. Lecture Notes in Computer Science.· 2024DOI Jankola, M., Strejček, J.
Trust-minimizing BDHKE-based e-cash mint using secure hardware and distributed computation
Proceedings of the 19th International Conference on Availability, Reliability and Security· 2024DOI Antonín Dufka, Jakub Janků, Petr Švenda
2LS: Arrays and Loop Unwinding
Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023)· 2023DOI Viktor Malík, František Nečas, Peter Schrammel, Tomáš Vojnar
A Case Study on the Impact of Forensic-Ready Information Systems on the Security Posture
Advanced Information Systems Engineering (CAiSE 2023)· 2023DOI Lukas Daubner, Raimundas Matulevicius, Barbora Buhnova, Matej Antol, Michal Ruzicka and Tomas Pitner
A Decentralised Public Key Infrastructure for X-Road
ARES '23: Proceedings of the 18th International Conference on Availability, Reliability and Security· 2023DOI Mariia Bakhtina, Kin Long Leung, Raimundas Matulevičius, Ahmed Awad, and Petr Švenda
A Model of Qualitative Factors in Forensic-Ready Software Systems
Research Challenges in Information Science: Information Science and the Connected World (RCIS 2023)· 2023DOI Lukas Daubner, Raimundas Matulevičius and Barbora Buhnova
Automated feedback for participants of hands-on cybersecurity training
Education and Information Technologies· 2023DOI Valdemar Švábenský, Jan Vykopal, Pavel Čeleda, Ján Dovjak
Lattice-based Threshold Signature Implementation for Constrained Devices
Proceedings of the 20th International Conference on Security and Cryptography SECRYPT· 2023DOI Patrik Dobias, Sara Ricci, Petr Dzurenda, Lukas Malina, Nikita Snetkov
On Efficiency and Usability of Group Signatures on Smartphone and Single-board Platforms
Proceedings of the 18th International Conference on Availability, Reliability and Security (ARES ’23)· 2023DOI Patrik Dobias, Lukas Malina, Petr Ilgner, Petr Dzurenda
Reducing Acceptance Marks in Emerson-Lei Automata by QBF Solving
Leibniz International Proceedings in Informatics· 2023DOI Tereza Schwarzová, Jan Strejček, Juraj Major
Security level evaluation with F4SLE
ARES '23: Proceedings of the 18th International Conference on Availability, Reliability and Security· 2023DOI Mari Seeba, Tarmo Oja, Maria Pibilota Murumaa, and Václav Stupka
String Diagrammatic Trace Theory
48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023). Leibniz International Proceedings in Informatics (LIPIcs)· 2023DOI Matthew Earnshaw, Paweł Sobociński
Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI 2023)· 2023DOI David Klaska, Antonín Kucera, Martin Kurecka, Vít Musil, Petr Novotný, Vojtech Rehák
Towards More Secure and Data Protective Intelligent Infrastructure Systems
Proceedings of the Doctoral Consortium Papers Presented at the 35th International Conference on Advanced Information Systems Engineering (CAiSE 2023)· 2023
Mariia Bakhtina