Discover Cutting-Edge Cyber-security Insights: Explore CHESS’s latest publications, where innovation meets expertise.
2024
For the current moment, our 2024 Publications does not have any entries yet. Stay tuned as we continually update our collection with the latest in cyber-security research and insights.
2023
Explore our 2023 Collection: A Year of Breakthroughs in Cyber-security. This collection features pivotal publications that highlight the year’s most significant advancements and research findings in the field.
String Diagrammatic Trace Theory
Earnshaw, M. Sobociński, P., (2023). Published in: 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023).
Read More2LS: Arrays and Loop Unwinding
Malík, V., Nečas, F., Schrammel, P., Vojnar, T. (2023). Published in: Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2023. Lecture Notes in Computer Science, vol 13994. Springer, Cham.
Read MoreReducing Acceptance Marks in Emerson-LeiAutomata by QBF Solving
Schwarzová, T., Strejček, J., Major, J. (2023). Published in: 26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, July 4-8, 2023, Alghero, Italy
Read MoreAutomated feedback for participants of hands-on cybersecurity training
Švábenský, V., Vykopal, J., Čeleda, P., Dovjak, J. (2023). Published in: Journal of Education and Information Technologies (2023).
Read MoreLattice-Based Threshold Signature Implementation for Constrained Devices
Dobias, P., Ricci, S., Dzurenda, P., Malina, L., Snetkov, N. (2023). Published in: Proceedings of the 20th International Conference on Security and Cryptography (SECRYPT 2023). Science and Technology Publications. 2023. ISBN: 978-989-758-666-8.p. 724-730.
Read MoreOn Efficiency and Usability of Group Signatures on Smartphone and Single-board Platforms
Dobias, P., Malina, L., Ilgner, P., Dzurenda, P. (2023). Published in: Proceedings of the 18th International Conference on Availability, Reliability and Security (ARES '23). Association for Computing Machinery, New York, NY, USA, Article 127, 1–9.2023.
Read MoreSecurity level evaluation with F4SLE
Seeba, M., Oja, T., Murumaa, M. P., Stupka, V. (2023). Published in: Proceedings of the 18th International Conference on Availability, Reliability and Security (ARES '23). Association for Computing Machinery, New York, NY, USA, Article 132, 1–8.
Read MoreA Decentralised Public Key Infrastructure for X-Road
Bakhtina, M., Leung, K. L., Matulevičius, R., Awad, A., Švenda, P. (2023). Published in: Proceedings of the 18th International Conference on Availability, Reliability and Security (ARES '23). Association for Computing Machinery, New York, NY, USA, Article 128, 1–8.
Read MoreA Model of Qualitative Factors in Forensic-Ready Software Systems
Daubner, L., Matulevičius, R., Buhnova, B. (2023). Published in: Nurcan, S., Opdahl, A.L., Mouratidis, H., Tsohou, A. (eds) Research Challenges in Information Science: Information Science and the Connected World. RCIS 2023. Lecture Notes in Business Information Processing, vol 476. Springer, Cham.
Read MoreTowards More Secure and Data Protective Intelligent Infrastructure Systems
Bakhtina, M. (2023). Published in: CEUR Workshop Proceedings of the Doctoral Consortium Papers Presented at the 35th International Conference on Advanced Information Systems Engineering (CAiSE 2023), June 12–16, 2023, Zaragoza, Spain.
Read MoreA Case Study on the Impact of Forensic-Ready Information Systems on the Security Posture
Daubner, L., Matulevičius, R., Buhnova, B., Antol, M., Růžička, M., Pitner, T. (2023). Published in: Indulska, M., Reinhartz-Berger, I., Cetina, C., Pastor, O. (eds) Advanced Information Systems Engineering. CAiSE 2023. Lecture Notes in Computer Science, vol 13901. Springer, Cham.
Read MoreSynthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems
Klaška, D., Kučera, A., Kurečka, M., Musil, V., Novotný, P., Řehák, V. (2023). Published in: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China.
Read More