Workshop on Category Theory and Computer Security in Tallinn

Workshop on Category Theory and Computer Security in Tallinn

[Chad Nester]

[-- Attachment #1: Type: text/plain, Size: 1805 bytes --]

======================================================
Workshop on Process Theory for Security Protocols and Cryptography

March 18-19th in Tallinn, Estonia.
======================================================

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.

To register and/or propose a 30 minute talk, please email cneste@taltech.ee<mailto:cneste@taltech.ee> no later than 01/03/2024.

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.


You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 3825 bytes --]