Mubashar

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

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