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
The first CHESS Industrial Day took place on 8 December at the Faculty of Informatics, Masaryk University. The event brought together researchers and practitioners in formal methods from industry and academia and provided an excellent opportunity to exchange practical experience with methods and tools for software analysis/verification/testing. The program included… Read More »CHESS Industrial Day 2023
Tomáš Rabas from NÚKIB participated in the panel discussion during the conference organised by the Estonian Academy of Sciences.
Brno University of Technology and Masaryk University organised a public seminar within the series Brno Security Meetings. Petr Muzikant talked about the use of post-quantum cryptography in practice.
Author: Erik Moravec; Supervisor: Petr Svenda
Author: David Rajnoha; Supervisor: Petr Svenda
Brno University of Technology and Masaryk University organised a public seminar within the series Brno Security Meetings. Antonín Dufka gave a presentation on threshold signature protocol and its implementation via JavaCard API.
Švábenský, V., Vykopal, J., Čeleda, P., Dovjak, J. (2023). Published in: Journal of Education and Information Technologies (2023).
