![Workshop on Process Theory for Security Protocols and Cryptography in Tallinn](https://chess-eu.cs.ut.ee/wp-content/uploads/2024/04/IMG_0053-1-930x620.jpg)
Workshop on Process Theory for Security Protocols and Cryptography in Tallinn
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