RESULTS
CHESS Industrial Day 2023
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
Panel discussion in the conference on trust and reliability
Tomáš Rabas from NÚKIB participated in the panel discussion during the conference organised by the Estonian Academy of Sciences.
Využití post-kvantovékryptografie v praxi
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.
Metadata overlay for seccerts.org with security analysis tools
Author: Erik Moravec; Supervisor: Petr Svenda
Detection of Bitcoin keys from hierarchical wallets generated using BIP32 with weak seed
Author: David Rajnoha; Supervisor: Petr Svenda
A Threshold Signature Protocol Implementation via JavaCard API
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.
Automated feedback for participants of hands-on cybersecurity training
Švábenský, V., Vykopal, J., Čeleda, P., Dovjak, J. (2023). Published in: Journal of Education and Information Technologies (2023).
Organisations Security Level Evaluation
Mari Seeba spoke at the ENISA EU Cyber Security Index (EU-CSI) working group meeting on 20.09.2023 to introduce the cooperation between Estonia and the Czech Republic in the mini-project of the CHESS project on how to evaluate the security level of organisations.