Evaluating Cybersecurity Capabilities: Organisations’ Perspective
Author: Magnus Valgre Supervisor: Mari Seeba
Mubashar
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.
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.