Information Security and Privacy Management in Intelligent Transportation Systems
Bakhtina, M., Matulevičius, R., Malina, L. (2024). Published in: Complex Systems Informatics and Modeling Quarterly (CSIMQ) Issue 38, March/April 2024.
Publications
Dive into our Publications section for an insightful collection of the latest cybersecurity research, whitepapers, and articles. Our resources cover a broad range of topics, enhancing your understanding of the security landscape.
String Diagrammatic Trace Theory
Earnshaw, M. Sobociński, P., (2023). Published in: 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023).
2LS: 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.
Reducing 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
Automated 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).
Lattice-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.
On 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.
Security 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.
A 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.
A 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.