Secure and Privacy-Preserving Car-Sharing Systems
M., Lukas, Dzurenda, P., Lövinger, N., Ekeh, I. E., Matulevicius, R., (2024) Published in: Proceedings of the 19th International Conference on Availability, Reliability and Security.
Publications challenge areas
DECEPTWIN: Proactive Security Approach for IoV by Leveraging Deception-based Digital Twins and Blockchain
Iqbal, M., Suhail, S., Matulevicius, R. (2024) Published in: Proceedings of the 19th International Conference on Availability, Reliability and Security.
The Power of Many: Securing Organisational Identity Through Distributed Key Management
Bakhtina, M., Kvapil, J., Švenda, P., and Matulevičius, R., (2024) Published in: Advanced Information Systems Engineering. CAiSE 2024. Lecture Notes in Computer Science, vol 14663. Springer, Cham.
CHESS: Cyber-security Excellence Hub in Estonia and South Moravia
Bakhtina, M., Vémolová, Z., and Matyáš, V., (2024). Published in: RPE@CAiSE’24: Research Projects Exhibition at the International Conference on Advanced Information Systems Engineering.
The Adoption Rate of JavaCard Features by Certified Products and Open-Source Projects
Zaoral, L., Dufka, A., and Svenda, P., (2024). Published in: Smart Card Research and Advanced Applications. CARDIS 2023. Lecture Notes in Computer Science, vol 14530. Springer, Cham.
Post-quantum trails: an educational board game about post-quantum cryptography
Vakarjuk, J., and Snetkov, N., (2024). Published in: Proceedings of the 7th International Conference on Historical Cryptology (HistoCrypt 2024)
Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes
Klašk, D., Kučera, A., Kůr, V., Musil, V., and Řehák, V. (2024). Published in: Proceedings of the AAAI Conference on Artificial Intelligence, 38(18), 20143-20150.
Tighter Construction of Tight Büchi Automata
Jankola, M., Strejček, J., (2024). Published in: Foundations of Software Science and Computation Structures. FoSSaCS 2024. Lecture Notes in Computer Science, vol 14574. Springer, Cham.
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.
String Diagrammatic Trace Theory
Earnshaw, M. Sobociński, P., (2023). Published in: 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023).