Workshop on Process Theory for Security Protocols and Cryptography

Monoidal categories offer a powerful abstract framework for reasoning about processes. Computer security is a source of particularly complex processes, often specified in an ad-hoc manner, for example in security proofs concerning cryptographic protocols. The purpose of this workshop is to explore the potential of categorical methods in modelling situations that arise in computer security and cryptography.

• Martti Karvonen (University College London)
• Elena di Lavore (University of Pisa)
• Tomáš Gonda (University of Innsbruck)
• Mario Román (University of Oxford)
• Eigil Rischel (University of Strathclyde)
• Chad Nester (Tallinn University of Technology)
• Paweł Sobociński (Tallinn Unviersity of Technology)
• Niels Voorneveld (Cybernetica AS)
• Denis Firsov (Tallinn University of Technology, Matter Labs)
• Peeter Laud (Cybernetica AS)
• Andrea Laretto (Tallinn University of Technology)
• Diana Kessler (Tallinn University of Technology)
• Michele De Pascalis (Tallinn University of Technology)
• Matthew Earnshaw (Tallinn University of Technology)
• Clemence Chanavat (Tallinn University of Technology)
• Davide Castelnovo (University of Padova)
• Cheng Syuan Wan (Tallinn University of Technology)
• Marino Miculan (University of Udine)
• John Bourke (Masaryk University)
• Miloslav Štěpán (Masaryk University)
• Andre Knispel (IOHK)
• Nikita Snetkov (Cybernetica AS)
• Jelizaveta Vakarjuk (Cybernetica AS)
• Niccolo Veltri (Tallinn University of Technology)

A limited amount of money is available to fund the travel and/or accommodation of speakers who would otherwise be unable to attend. If you require such funding (and would like to speak at the workshop), please mention this in your registration email.

The workshop is funded by the Cyber-Security Excellence Hub in Estonia and South Moravia (CHESS), which is funded by the European Union under Grant Agreement No. 101087529.