- This event has passed.
Workshop on Process Theory for Security Protocols and Cryptography
March 18 @ 9:00 am - March 19 @ 5:00 pm
Subject of the Workshop
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 proctocols. The purpose of this workshop is to explore the potential of categorical methods in modelling situations that arise in computer security and cryptography.
Confirmed Participants
- Martti Karvonen (University College London)
- Elena di Lavore (University of Pisa)
- Tomáš Gonda (University of Innsbruck)
- Mario Román (University of Oxford)
- Fabio Zanasi (University College London)
- 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)
Tallinn, Estonia. March 18-19, 2024. Further details to be announced.