[Ufmrg] Call for Participation: EPN Tutorial on Usable Formal Methods for Security
Muhammad Usama Sardar <muhammad_usama.sardar@tu-dresden.de> Wed, 31 January 2024 17:05 UTC
Return-Path: <muhammad_usama.sardar@tu-dresden.de>
X-Original-To: ufmrg@ietfa.amsl.com
Delivered-To: ufmrg@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 81FA9C14F748 for <ufmrg@ietfa.amsl.com>; Wed, 31 Jan 2024 09:05:09 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -4.406
X-Spam-Level:
X-Spam-Status: No, score=-4.406 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_MED=-2.3, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01, URIBL_BLOCKED=0.001, URIBL_DBL_BLOCKED_OPENDNS=0.001, URIBL_ZEN_BLOCKED_OPENDNS=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=tu-dresden.de
Received: from mail.ietf.org ([50.223.129.194]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id KI0d3JrAp1Ie for <ufmrg@ietfa.amsl.com>; Wed, 31 Jan 2024 09:05:04 -0800 (PST)
Received: from mailout3.zih.tu-dresden.de (mailout3.zih.tu-dresden.de [141.30.67.74]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-256) server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id DE28DC14F721 for <ufmrg@irtf.org>; Wed, 31 Jan 2024 09:05:03 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=tu-dresden.de; s=dkim2022; h=Content-Transfer-Encoding:Content-Type:Subject :From:To:MIME-Version:Date:Message-ID:Sender:Reply-To:Cc:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=lCnIWYK2AHLwdtuBZeZzI36ZpDrEzprs6+KaMk2ez5s=; b=gGuWdb77AcgaYUMv6FOk9YX6rz D4tFJrTiJJkiYtt/mMictzgHzGZrHsjxZ7mBhFUr1rUK4Brb6+jPYox7YeZMXfB1Po2UHQ6sRgTLV IgLylZBcTlWnF5oK0x9LnQUOSMfQEWTqQogdk3It4nrlhIkLunchBYhj1Row149ZpCjV6bkL4EZgi KkSRIGORn7gXPMNIOkGPI0dkYBz5OUkkOKdkYIaicpWdzLxH8O8KdklTK28tedVwMsV4lxzlTMXBy EO8PqTz2qeNMfCzTJK/vI1vyMU1wZ+2AM/0Vf2rHgeotRg1ec8BAMkDi6Sudv13+isJrTx41DQb3O WtEA7/TQ==;
Received: from [172.26.35.114] (helo=msx.tu-dresden.de) by mailout3.zih.tu-dresden.de with esmtps (TLS1.2) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from <muhammad_usama.sardar@tu-dresden.de>) id 1rVE1A-00Cruy-6v for ufmrg@irtf.org; Wed, 31 Jan 2024 18:05:00 +0100
Received: from [192.168.1.2] (77.11.80.14) by MSX-T314.msx.ad.zih.tu-dresden.de (172.26.35.114) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.1.2507.35; Wed, 31 Jan 2024 18:04:55 +0100
Message-ID: <9c3a150c-f230-4ff3-a9a7-2893aa5e1968@tu-dresden.de>
Date: Wed, 31 Jan 2024 18:04:54 +0100
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
Content-Language: en-US
To: ufmrg@irtf.org
From: Muhammad Usama Sardar <muhammad_usama.sardar@tu-dresden.de>
Content-Type: text/plain; charset="UTF-8"; format="flowed"
Content-Transfer-Encoding: 7bit
X-ClientProxiedBy: MSX-L312.msx.ad.zih.tu-dresden.de (172.26.34.112) To MSX-T314.msx.ad.zih.tu-dresden.de (172.26.35.114)
X-TUD-Virus-Scanned: mailout3.zih.tu-dresden.de
Archived-At: <https://mailarchive.ietf.org/arch/msg/ufmrg/4u_G2naCiHl9lj08SA_cXkXbpdY>
Subject: [Ufmrg] Call for Participation: EPN Tutorial on Usable Formal Methods for Security
X-BeenThere: ufmrg@irtf.org
X-Mailman-Version: 2.1.39
Precedence: list
List-Id: Usable Formal Methods Research Group <ufmrg.irtf.org>
List-Unsubscribe: <https://mailman.irtf.org/mailman/options/ufmrg>, <mailto:ufmrg-request@irtf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/ufmrg/>
List-Post: <mailto:ufmrg@irtf.org>
List-Help: <mailto:ufmrg-request@irtf.org?subject=help>
List-Subscribe: <https://mailman.irtf.org/mailman/listinfo/ufmrg>, <mailto:ufmrg-request@irtf.org?subject=subscribe>
X-List-Received-Date: Wed, 31 Jan 2024 17:05:09 -0000
Hi all, I am organizing tutorial-style event which is related to IETF/IRTF and hopefully interesting for the folks here. Vincent Cheval will give a hands-on tutorial on ProVerif. Other speakers include active IETF contributors, such as Hannes and Thomas. The tentative program for the event is here [1]. Free registration is open until 15th Feb [2]. We may need to limit the number of participants, so please wait for confirmation email before making travel arrangements. If you have any questions, please do not hesitate to contact me. Looking forward to host you, Usama [1] https://europroofnet.github.io/wg3-dresden24-program/ [2] https://europroofnet.github.io/wg3-dresden24/
- [Ufmrg] Call for Participation: EPN Tutorial on U… Muhammad Usama Sardar