Trust-minimizing BDHKE-based e-cash mint using secure hardware and distributed computation
Dufka, A., Janků, J., Švenda, P. (2024) Published in: Proceedings of the 19th International Conference on Availability, Reliability and Security.
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.
Comparable and Repeatable Information Security Level Evaluation
Seeba, M., (2024) CAiSE 2024 Doctoral Consortium; Published in: CAiSE 2024 Doctoral Consortium, CEUR Workshop Proceedings.
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.
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.