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.
Mubashar
Reducing Acceptance Marks in Emerson-LeiAutomata by QBF Solving
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
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.