Mubashar
The Future Cryptography Conference Presentations
Click here to view the presentation of the Future Cryptography Conference.
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.
Brno Cybersecurity Meetings
Brno University of Technology and Masaryk University organized a public seminar within the series Brno Security Meetings where students, researchers and other members of the local cybersecurity community meet to discuss the latest trends and developments in different areas of cybersecurity. This time, Katarina Galanská, a researcher at Masaryk University… Read More »Brno Cybersecurity Meetings
Workshop on Process Theory for Security Protocols and Cryptography in Tallinn
A truly international group of scientists, industry representatives and young researchers gathered in early spring Tallinn to advance cross-border knowledge exchange on process theory. In CHESS Challenge Area 3, we focus on, among other topics developing methods and tools to analyse and verify cryptographic protocols. While concrete frameworks like “universally… Read More »Workshop on Process Theory for Security Protocols and Cryptography in Tallinn
Evaluating Cybersecurity Capabilities: Organisations’ Perspective
Author: Magnus Valgre Supervisor: Mari Seeba
Analysis and Use of Standard Cryptographic Interfaces
Author: Kristián Mika; Supervisor: Antonín Dufka
Schnorr Multi-Signatures for Secure Devices with Restricted Interfaces
Author: Jakub-Janků Supervisor: Antonín Dufka
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.