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