From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: <> X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: * X-Spam-Status: No, score=1.2 required=5.0 tests=DKIM_ADSP_CUSTOM_MED, DKIM_SIGNED,DKIM_VALID,FREEMAIL_FROM,HTML_MESSAGE,NML_ADSP_CUSTOM_MED, RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.4 Received: from AUS01-ME3-obe.outbound.protection.outlook.com (mail-me3aus01on2112.outbound.protection.outlook.com [40.107.108.112]) by inbox.vuxu.org (Postfix) with ESMTP id 7834522280 for ; Tue, 13 Feb 2024 20:11:06 +0100 (CET) ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=HcRe3dva0BZptc7D0GHFZ4LGKlhgAmZd/tVR0+tTF44a70HFYUAIl15g8kAqlEBp168ExafKcIrpbPsvNkDK2Ndw/Mz3PYZ5841GUgKvf1j/ciU9Azi7B1w/VAxUqQJgjtlcTdJkPXdOkDjBgVsN2ScxupHT6ohtjQ2fd+ezGglGvHlmUTo7TkCuK7gnDJHKvqflGH71yPHsBgUJAPvyDLrEn9BnjaB7gH65+gATzmZYLPFDE7RIXnZqsPWe6GAW79FEvy7HJYUH+wxU4PLSqkp2Jc380zs5H1Fw52Ku0Bshasq6OeLjTbvwwVv00Qst7pdwF+nkeXX3D0pVjyX8mQ== ARC-Message-Signature: i=4; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=JeXx2I76TF6BDfe5SJ9O/zT1U1f58WVtX20ia5IClHw=; b=nJw0TNgEznTarhAzeSU1u6FkJiH1GmWpyxShSgA+0VPkZ1J9KGYitPMQFUcKDlPQJQFJf+0qQoYCbZshjf1MdqGpi6vf2OoGvFeYvzzsl6HOxbcbPwGUYCQDoyeir3TCKQR3rYYJ1ltg+XsGfyyVeUVAfE9moxqfaPXgRoE8Rdb/1RaSNr2rtIzqich+fXoK9kKcRxFEOW0oVQemrto5IytBoBi6JQCo4+hL7VEEPSoUKgzIeS3yNmddR4SdeVusaOou38AmtHQv3yMpR3bG91Vtk1Vdsw+bDQmfDY1oit3YQR7xRChJ+wu695J5qC3r2uqqpE3Jm+pGkX/2z766uA== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 209.85.215.176) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=gmail.com; dmarc=pass (p=none sp=quarantine pct=100) action=none header.from=gmail.com; dkim=fail (body hash did not verify) header.d=gmail.com; arc=pass (0 oda=0 ltdi=0 93) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=groups.office.net; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=JeXx2I76TF6BDfe5SJ9O/zT1U1f58WVtX20ia5IClHw=; b=gklAGBBZGJ3crqB+f6u8ekeo2+RLlpr2szSaPNVH+fyC3FesBZ5QWNfGq+yNqz6WjC9kSC6IJZdAkjrbpRL2osBQ9J6vk3Qgf59YqkmGsyUBFTzAE03mu2EEGD8+m8CCCWtSRTmm6Vc/GaPZ7g0cYpns7p5XdMMc27wccQeX2AuErtcf0ksldzngn8WmOPjqYEsYvBfwU4ydRkoqij2ZaAW5CKD/wPzkHRH8/2ZlVbkfGU+5Xcdk6zZWosxrarqP0QqW+hj9PcJMd6IRvyFjx5VRZpKpFKhrjTD0xz4ynffkQz1B4d8yuiesfKVG/7fvJVddFSaMhsear+oD6CfZ/w== Received: from SmtpServer.Submit by SY4PR01MB5818 with Microsoft SMTP Server id 15.20.7292.26; Tue, 13 Feb 2024 19:11:03 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=LhhfqtywZigKNU1XNbb5QRSv766B3GYS7ziSO3/Y1Bx0A/BYkb5mrAUTJhXw7OYejgKEb+Cr6+wKNZUIxDdKoKDprggiu305uhX+Zj/h/BXTau6AX3HPKWi+jNJEXMDUMdU4PiaJj1F0XKVnhuAyYZwjlggNO90+oh4eaSt/82WftO1VZ6Crsm8dGa3vM6hfS5KB2o9ZN1Anmc1PqgjnDYlOyUU038OpIZwOG5cDakuIK15+21IFVV1AdzBZh7hrFOBiAJZpRVMqV99BUXDBGaKgp53BcXNobkZvBGoyrmWZK/fQoFPZ+KP2eycCjDZmRYMP+H3SLAa2fZ8tCuwaEQ== ARC-Message-Signature: i=3; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=WzHfkUkZxFFSj+OVYwQE3h7Z6TbSGyr7Q0FhZ2hSX3M=; b=bP7W2m3RnudcKdNsK2ADrDbH2B4CHo3JOfpuz/mbcyo0TC5OKb4W4sOD8flDuuSKLkUdSK3IhtPu9fsxk3aVpITVcHh8NtQ38IqOQb6v4ktgrx5kBifayLUndHck74AVsbsbB/oVhVvhe+eor2DunLKjovtYPNp7Eyr7+jzwgpsyaWiUDfP8Ath5nYZoqeBPjP303Dv2i/KfcQoNj0NKfTy/JGk6EowosZQ70KaDOTvHhzhQMyQ5rF/2G9FhvlHvrjX1XVskQndq9q4tE45hpN8fadW3bdr9uzvQ57SBk0Tv3AESRahnQYR88mlFyUXJQaHBO1EoTqflOqhSctbVaQ== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 209.85.215.176) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=gmail.com; dmarc=pass (p=none sp=quarantine pct=100) action=none header.from=gmail.com; dkim=fail (body hash did not verify) header.d=gmail.com; arc=pass (0 oda=0 ltdi=0 93) Received: from MEYPR01MB6911.ausprd01.prod.outlook.com (2603:10c6:220:145::8) by SY4PR01MB5818.ausprd01.prod.outlook.com (2603:10c6:10:f3::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7292.26; Tue, 13 Feb 2024 19:10:54 +0000 Received: from ME3PR01MB5480.ausprd01.prod.outlook.com (2603:10c6:220:7::8) by MEYPR01MB6911.ausprd01.prod.outlook.com (2603:10c6:220:145::8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7292.26; Tue, 13 Feb 2024 19:10:51 +0000 Received: from ME3PR01MB5480.ausprd01.prod.outlook.com ([fe80::6b0f:c883:3328:f0b5]) by ME3PR01MB5480.ausprd01.prod.outlook.com ([fe80::6b0f:c883:3328:f0b5%6]) with mapi id 15.20.7292.026; Tue, 13 Feb 2024 19:10:51 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=lsnmkVYjOt5ga5dkxe8ED/LUYQ6OWqCIr9Kv4wTitaoJZzAQfzQqw1bs/w3csJpEBKaPscoHNLqVQIuC19dEOFd1y2LkEy2IdYUSHd7VC3xbDdhaRKH5DsCH1GYhg56AEdthj93TN1Mg18ZAWi/oJRRZ5IzUkA+ItcMzaVEIYoZ0IB+xP3XhDgsgyiTTfb86IWIh1TP0jeXjlBTXZ5qiXxRHmcyMfz6fFrZANuGHVNXdSJ41bywbkU9hB2wykPSgONa4IfAFFy/ct9zo5KUFAqjlDKBY8h2fHpDTF3KslqcYFvcflsf0viPl8pbZUPUHcRbHlLLm60vv/7xgPnKo+Q== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=WzHfkUkZxFFSj+OVYwQE3h7Z6TbSGyr7Q0FhZ2hSX3M=; b=U5JT3C6IkeJO+NBhn+ww8dC88ov3StuX2lvnl/P/EAtnrDTqXAwzDq/cONPAATZcrrIiyvau73GqkwAzCdzwRLQpmcmBSb7YhW9gVImns7C7D/mGJLwSJXywvFFaSWFBVz/sIXoGC8qYmSB3tXRqn9O5O7+yQKqvNwGTZqZO5BbfoTw8uU0TryMfbYFuaMEk54ZXxEJPCYuVhQ9cBQaeollEvscCxn5unkNt+7I2qExQgkNJJ7WvdcJcOBM759WnO0zDM5v3r1uJ51TxtiON1llTYY0bIfNTtoeG1jwZXHI8Zd8zsRu6AJ2CkWLrWcfp3rhe/KO4IrZlEoWGB3t2Kg== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 209.85.215.176) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=gmail.com; dmarc=pass (p=none sp=quarantine pct=100) action=none header.from=gmail.com; dkim=fail (body hash did not verify) header.d=gmail.com; arc=pass (0 oda=0 ltdi=0 93) Received: from SY5P282CA0127.AUSP282.PROD.OUTLOOK.COM (2603:10c6:10:209::20) by SY8PR01MB8679.ausprd01.prod.outlook.com (2603:10c6:10:22c::14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7270.39; Tue, 13 Feb 2024 13:07:53 +0000 Received: from ME3AUS01FT014.eop-AUS01.prod.protection.outlook.com (2603:10c6:10:209:cafe::35) by SY5P282CA0127.outlook.office365.com (2603:10c6:10:209::20) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7270.39 via Frontend Transport; Tue, 13 Feb 2024 13:07:53 +0000 Authentication-Results: spf=pass (sender IP is 209.85.215.176) smtp.mailfrom=gmail.com; dkim=fail (body hash did not verify) header.d=gmail.com;dmarc=pass action=none header.from=gmail.com; Received-SPF: Pass (protection.outlook.com: domain of gmail.com designates 209.85.215.176 as permitted sender) receiver=protection.outlook.com; client-ip=209.85.215.176; helo=mail-pg1-f176.google.com; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.20.101) by ME3AUS01FT014.mail.protection.outlook.com (10.114.155.155) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.7292.26 via Frontend Transport; Tue, 13 Feb 2024 13:07:53 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1707829673; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: dkim-signature; bh=WzHfkUkZxFFSj+OVYwQE3h7Z6TbSGyr7Q0FhZ2hSX3M=; b=ULH6fB2VjQMB2Ud0OdTNYhkaEfiJQQD6DNKI0B0UZ0oVnWZ0u+40MYlNq1ETYGE/zPV4EL zhpp/9tA0zL4xyQBR59l9fPjDYasSiTuV6fgix1NaX+Z60+qodOQCd8vdgnsK4BQOiepGZ aZMCsXjPn6siRebNnMzeGYsIkD5xgNzulrcB4FOLdl1lOqXkNJZAKCT1BfkhXewIb7m2xX pww0XT1L3SBC76PbcwXp47R9PEEv3XXnjWlYVgn7hKWhpFrRpnYmWNIbwODt5md1vS+1gq BXfBZJiDphTGrQ9tG4iWItPrQ9m75GeaUWgS8mcUQeIfd2Gi4NVHzKXI/OB8EA== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1707829673; a=rsa-sha256; cv=none; b=OdkIrJph6xMOQOfs/Qz3nzlMPsPbHK7pkPQtcKRK1bAX1uVtfhxR0I8di/ENQwTLdqgqdf 7nrc1Ftf19DTiexeJFmxBP4i3DLxvf9UIJMXFOazwTYSnp/DPb8A2HT6QzW0BuhbVuVsGM YF/XiZQK+KucAd562tMFUdulBCS7FS8Qwx4RgFbtW8hc5yYVpD0VsG4FF4hdLlHt4XkYwj qze/Z04GObgxHJVqy5vpiehjcaYZ42BvCpwg7o7rHhIMLKu4XNXYrMw/FXolrQ9RWuIqv6 qY2L9Dwb+Q9ef8Jg6tZu/Zny1UVT03XrMGs6cLmGl08kYWRbQCgJQ4KNVyf0WQ== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=UsS4S1nn; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of chad.nester@gmail.com designates 209.85.215.176 as permitted sender) smtp.mailfrom=chad.nester@gmail.com Received: from mail-pg1-f176.google.com (mail-pg1-f176.google.com [209.85.215.176]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-19-q4MZe6IaOzC9aHPQc6i5sA-1; Wed, 14 Feb 2024 00:07:51 +1100 X-MC-Unique: q4MZe6IaOzC9aHPQc6i5sA-1 Received: by mail-pg1-f176.google.com with SMTP id 41be03b00d2f7-5d8b519e438so692699a12.1 for ; Tue, 13 Feb 2024 05:07:50 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1707829669; x=1708434469; darn=mq.edu.au; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=SPcilSmW5iirVK0ILjww3CLECX+oNGaPEiNghmKQEHM=; b=UsS4S1nn3b5Unn1dXvfy9/HndE1ytnB73aR/XDMEWz2J+YwwtFhhLh/WAjnc+gIZz3 Svw9wHQmhyiV108ALNIFKBdNR2Pci46tMQQ281caUMCqU7DmtMKfs/dYscpCqc7RjrTU ZFUUJh5JDxLtesB1M4dgncpSjQi7z/f/tF+0QWSmzb1/7LqRfLGZdKSc7Kyu/1dn0CPM h7gr3/96CnytH5Afh9HENzYWRQJ6vRLNTyFUWYN+EzvIH6dk7XpRXtmmHDmBWyQA67ji WFdJP6qW7+KRz22ySnf0+AchZ1wm31sTQJAsvOIFF4QlQCRmu+UOg6cmVEmEa6qIPbv6 wl1g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1707829669; x=1708434469; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=SPcilSmW5iirVK0ILjww3CLECX+oNGaPEiNghmKQEHM=; b=HpMqvDczHCDN+dnkF7CUoFS749FRuYpmvPJHZrfvFkjT/2PBNaPUs1o7rmdTJJ3Fb5 f7g5jOCegSQCax33YNpNesoCspjYgH0f9HaVqjveiO2XLMCTK11jl1tafcMd7vSXcSqX Al/Hp/BYX8lb8CleGmMl0Nl/v+rIaN/qFI8ltKo0OnZmibN+XYZt8sn84SMjyYyK1gz0 4heNoGLpb8P3gg2yQDytwgXAGS2yv8TdTf3kH2v7+hZgf+fpx7q1IfzdbnxbPrSWcZWh cmX8vB/ycujt2gninF+Y9nkF1jdU5dyyegkPZDwsscBICvDjyU8rg5gww2W4h3+JMu9s ICyw== X-Gm-Message-State: AOJu0YzHXGLnxr8zqrw+9AF1oN85ySiSu8WygdBJOg+sibtGEwkPewrY q1A9OrKa3QfkB3O8BCiq7xBXdelBOnyrchs6/V5kLLFnrF/tLa3abXn0zdzoplG28DZJRVE1AS2 SrRNRrunbLitaHlj02q55DAGX1k4a9bBlF/nvYA== X-Google-Smtp-Source: AGHT+IEzNd6dLORsLM/tsWUuE9t9i78y7icMgkFR/mLCDjsDUajYuGogzKxGYUkzkmfg5ddt0m/2UZU3KJKLXh6m7uE= X-Received: by 2002:a17:90a:bb83:b0:295:eb32:8a1d with SMTP id v3-20020a17090abb8300b00295eb328a1dmr7212057pjr.38.1707829669401; Tue, 13 Feb 2024 05:07:49 -0800 (PST) MIME-Version: 1.0 From: Chad Nester Date: Tue, 13 Feb 2024 15:07:21 +0200 Message-ID: Subject: Workshop on Category Theory and Computer Security in Tallinn To: categories@mq.edu.au Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=UsS4S1nn; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of chad.nester@gmail.com designates 209.85.215.176 as permitted sender) smtp.mailfrom=chad.nester@gmail.com X-Mimecast-Spam-Score: 0 X-Mimecast-Impersonation-Protect: Policy=MQ - Tag Header Only on Default Settings;Similar Internal Domain=false;Similar Monitored External Domain=false;Custom External Domain=false;Mimecast External Domain=false;Newly Observed Domain=false;Internal User Name=false;Custom Display Name List=false;Reply-to Address Mismatch=false;Targeted Threat Dictionary=false;Mimecast Threat Dictionary=false;Custom Threat Dictionary=false Content-Type: multipart/alternative; boundary="000000000000c8189d06114314e0" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[209.85.215.176];domain=mail-pg1-f176.google.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[209.85.215.176];domain=mail-pg1-f176.google.com X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: ME3AUS01FT014:EE_|SY8PR01MB8679:EE_|MEYPR01MB6911:EE_|SY4PR01MB5818:EE_ X-MS-Office365-Filtering-Correlation-Id: d9642d5f-dc8b-4e99-424d-08dc2c94ca26 X-Moderation-Data: 2/13/2024 7:10:49 PM X-LD-Processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr,ExtAddr X-MS-Exchange-AtpMessageProperties: SA X-MS-Exchange-SenderADCheck: 0 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: TDbW5IwPSPO4UG6LAm5YC9RG9RwbUGox2RgkjHkLTggwgZtT72WpqrqIF2fTRjjN7X2FMJFJVFxEm8HswV7BP/7D81rE4Sr5IZt6lZc97xKMRtz0FlhB8wPpK86FGe0Ju95IeGWE4Iybf3tNkluhQ26vq6BW659RueTMgrYKrNyftxE+QaeXzt+GAMH3JN0UVzNHQL+NQtUbrn+yMIBHfHahlj7dq8k0hn/qOzb+VZK/vNFoCFUgtaw/SnT39iWglhsoThrIJtp780+5XwKaAX/nfLnqDFB9DusB1qlPtAtV844RQFEC5baY6/BFGjxwqMHD3JK1uOIagvTRjKiFGtlX8Hl6yYDrdnU5d9hRAt4bhyWAgYSGvifEmBl40o/7jrjIGuBq0G2fV3HZYmf+dqgwKZEchz715cCcr+C6PcLuABvpbWD8JYDvlLvNQMLnSJYc1CM3PQzskRmguKktC386qbs3IzkCtKZuqDvZCP/U1itVOv2evZuxd8d3dadEwDLppOfgRJauujdwPpqXb8XrpCEWBE/RIC3aPkd6oUK82Xf8UEUdLEOA7KgHGlqo4iT0FIfK18KVTijNbZ3J4WIfIyC/7vgzC9Jwx8mXAAMK7EJdjPavVuDFdrRQfm322I+4VqpRlVFhpfcX//ffbg6DabYFjXAnIFJ0zSP4wrbaYnVKT1TncHYI3DCktxMX X-Forefront-Antispam-Report: CIP:103.96.20.101;CTRY:US;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:mail-pg1-f176.google.com;PTR:mail-pg1-f176.google.com;CAT:NONE;SFS:(13230031)(4636009)(346002)(376002)(136003)(39860400002)(396003)(84050400002)(1800799012)(451199024)(64100799003)(82310400011)(48200799006)(40470700004)(15650500001)(5660300002)(7416002)(7336002)(7366002)(7406005)(44832011)(2906002)(7276002)(66899024)(336012)(498600001)(33964004)(89122003)(88732003)(76576003)(42186006)(73392003)(76482006)(26005)(82202003)(41300700001)(70586007)(68406010)(8936002)(8676002)(34206002)(316002)(6666004)(786003)(83380400001)(55446002)(86362001)(7596003)(7636003)(156005)(82740400003)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: d9642d5f-dc8b-4e99-424d-08dc2c94ca26 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: ME3AUS01FT014.eop-AUS01.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 13 Feb 2024 19:10:51.3119 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: Z/jGvLY+ufGr11vJxew+Mae0EOtB5ZUTRht8lbW3vQ4wrAmI8/ThtsSN9PaO0X9CLndUpQou+Y5jzzhEWfyxbsoJ8vKrW+B4yrPHa1TJwAAG8/2uMQoAwE4IXW/Q2GCJIDkTVGOzwbxit5uVRtRoy/axMI/cpRAHHzsqaKN/w+Z1MQnX3dq2JcvqX4WU8m001dzskqXrvOBbfkRL1CJSxg== X-MS-Exchange-Transport-CrossTenantHeadersStamped: SY4PR01MB5818 X-MS-Exchange-UnifiedGroup-DisplayName: Categories mailing list X-MS-Exchange-UnifiedGroup-Address: categories@mq.edu.au X-MS-Exchange-UnifiedGroup-MailboxGuid: 9c2f954e-92a7-451b-b723-a07075d7adb5 X-MS-Exchange-UnifiedGroup-CustomizedMessage: RedeemedBusinessGuests X-MS-Exchange-Parent-Message-Id: Auto-Submitted: auto-generated X-MS-Exchange-Generated-Message-Source: Throttled Fork Delivery Agent X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?aE9nelJxTytQaGlvTmxVZE8zVlVnMHZHcStqenZhRzZGRDFvbzB0WEZRSmpU?= =?utf-8?B?blVuTlR3VmJzbmplQ0c5SmRaS2VVRTM4Q2VDeXF6a0dseVc4QVZ1VGJzWFYr?= =?utf-8?B?RzdnOUx0OEhCY0ZNdWZSN1ZTeXNtcW1mcmNxcGZFZGRIeStBbWpzdlVRbzdW?= =?utf-8?B?WnpQS3gwVFY3WktRNzgzMkpYMVRoUUtYQnJHUkJGUlVqRFgxMUtZNUtWdDFW?= =?utf-8?B?dERqd0cwWGplMllrSlBGcG9GTExnNlpSeGZIRFJEOGlwSnZ6RTVuOTVUZDU3?= =?utf-8?B?bVZQZHJpdEg5d3BnVXhtbExCY0NaYXdUbnU1ckh6MmJhUHR4SVdtcElkZTNq?= =?utf-8?B?NU1EZjluRDV5M0kxb3AxMzlqSkpHWkdCRmcrMDEzdnYrb1hDTnYrd0J0VWFo?= =?utf-8?B?K2F3QUtvU2h4aWRySDFNd0J2cUdodzZNeURqbUVPUEFFM1EyZXFuM0QrdndO?= =?utf-8?B?MC9EUzBtMTVyMTVHOFBnR2piZHVDU09aTGM1SFNVTUY0VkI5dG52R3N6ZGx2?= =?utf-8?B?V1kxMnR0emtaamtoMlcvZFR6NHVIU0RFZDFRNnlOREZvUUM2RG1wQXF4cHg1?= =?utf-8?B?RTMrNzVNYkt2UHQ2RTRvR2U3dlVQYW9KTDVjM3FYUUJLd3I4eVdOMkROOHFK?= =?utf-8?B?OFlqK3Z4d2E4ZXVxMTdZL2xnby96UGJuTWd0ZXk4eUVZdCtMb3NXQnZpT0hO?= =?utf-8?B?Z3BkT21yY1dFMVJZaU5PMXJrZjlOUEFTWFhtNzRVN1dtOGRlZklrRlJxYlZ1?= =?utf-8?B?Y3NyZHgzYmFEdVBFUEhhU3FlZFdsZWZQZTlBZmQzT0lnL0ViQ0dmWDNabXZN?= =?utf-8?B?NDhwZ2swL0s1c0x0QSsvbTFoTlp2KytDMkhuaStkQWxwUzZnM1oyYUJOc1hC?= =?utf-8?B?N2tQYzNqRTFnalN2bE55cEhITlY5R0sxa004cEhyL21WV0pZclhtU2NHVzRh?= =?utf-8?B?TmFSV2dMR1Zyc2FqQjVRWFROS01KWDMyK0xGeXJ1QWY0M2pWVU04UEUweGp0?= =?utf-8?B?US8rWFpvbnVQSTZNc2ZFZWJ3cjljUnVIcVl6Y09vbm52dGhlQUFKeXIzcWhB?= =?utf-8?B?eU53L3FDa3VEZEcvRkh2WUlsNGVmK2pUMXZiSTB2V1VpcFJKMmFiNmd4RUVr?= =?utf-8?B?Nk8rQjdDd2l0VmFVSml0U2VQcXB1ZXMwMlVwSTF4bUoxMnpEbG9QdHc4L1J5?= =?utf-8?B?cncwRTJNYU51Z3FVbWd1R3FRVk4yZEpCcW1XMTRvc3BudEhYYWRPM3k3em1B?= =?utf-8?B?MGx2MndxYUdvaklBNDVTL25iR0xjbmxtQ0dHejRWSVVtV3ZOL2YvR3JGVS9h?= =?utf-8?B?RFNMTDNySTVnRlRqVHpoZG5UNTZnMG9wZlNBZWFQUU5nRFRlQlFkbWJjdnJG?= =?utf-8?B?TUg0aXJBVjAyZnJHRHA5R1VaK0g1VFZtN3FzcDF2YmZEbDBoUDFHUlRTQWh4?= =?utf-8?B?OHd6ekhSSVhuQTEycHE5SXZGYXV2MUZlQU1mcWlIcXdOZVJ0WTVsdmdUTWxj?= =?utf-8?B?Y21BZWNDMDVDYnp0d0dieWVUM0VFSmpaT01CZ2N3TUQzWVY2aUQyR2hkVjJl?= =?utf-8?B?YnlSOFkvaFJGWHpXd0tXdXE2WWpIc1hCRmF0dCtqVFN0MUs0OVBMQWNkU1Jl?= =?utf-8?B?WUZBWDNMVmRGa0pGRk9oUzZiTkNGYkl1aC8wM2Q3VkluV2NqckVodE1HbGlG?= =?utf-8?B?MWlqVHZXakljamtpUW80WXhNYmVoaCsvUEkxWGUrWWxZYUFKZmJKYk1BK1VD?= =?utf-8?B?RGZhTjZYY3JpR1E4dGJnVnV4K0xnVTZNdGhKbkQ5SEJhOTNHcHNSWEMwZzJD?= =?utf-8?B?SDVhVDM1Z3lxNmMwanNHNUNwenNFMkV0ZUJSNGZuNE1PaEdHcmJLSTlsVmNS?= =?utf-8?B?U3hSNHFwaHk3bHRhaVNpN1o0UElvaCtPVFBIZkpMeXBUYjNJQXdqY2tYc0gx?= =?utf-8?B?RlZ3K2g5RGtJNXI4SG5KQzdOUjkwaTM5dmw1RmNpempLNngyUzJnNVRHSFlw?= =?utf-8?B?U0ZmdFdMc0lBPT0=?= X-OriginatorOrg: mq.edu.au --000000000000c8189d06114314e0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D Workshop on Process Theory for Security Protocols and Cryptography March 18-19th in Tallinn, Estonia. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D 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 conce= rning cryptographic protocols. The purpose of this workshop is to explore t= he potential of categorical methods in modelling situations that arise in c= omputer security and cryptography. To register and/or propose a 30 minute talk, please email cneste@taltech.ee= no later than 01/03/2024. A limited amount of money is available to fund the travel and/or accommodat= ion of speakers who would otherwise be unable to attend. If you require suc= h 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 Ag= reement No. 101087529. You're receiving this message because you're a member of the Categories mai= ling list group from Macquarie University. To take part in this conversatio= n, reply all to this message. View group files | Leave group | = Learn more about Microsoft 365 Groups --000000000000c8189d06114314e0 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D
Workshop on Process Theory for Security Protocols and Cryptography

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

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 conce= rning cryptographic protocols. The purpose of this workshop is to explore the potential of categorical method= s in modelling situations that arise in computer security and cryptography.

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

A limited amount of money is available to fund the travel and/or accom= modation of speakers who would otherwise be unable to attend. If you requir= e such funding (and would like to speak at the workshop), please mention th= is 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 Ag= reement No. 101087529.
 
 
You're receiving this message because you're a member of the Categories mai= ling list group from Macquarie University. To take part in this conversatio= n, reply all to this message.
 
View group files   |   Leav= e group   |&n= bsp;  Learn more about Microsoft 365 Groups
 
--000000000000c8189d06114314e0--