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… Read More »Workshop on Process Theory for Security Protocols and Cryptography