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.
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.
Click here to view the presentation of the Future Cryptography Conference.
Bakhtina, M., Matulevičius, R., Malina, L. (2024). Published in: Complex Systems Informatics and Modeling Quarterly (CSIMQ) Issue 38, March/April 2024.
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
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
Author: Magnus Valgre Supervisor: Mari Seeba
Author: Kristián Mika; Supervisor: Antonín Dufka
Author: Jakub-Janků Supervisor: Antonín Dufka
Earnshaw, M. Sobociński, P., (2023). Published in: 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023).