Re: [Teep] No sessions scheduled for IETF 119
Muhammad Usama Sardar <muhammad_usama.sardar@tu-dresden.de> Fri, 02 February 2024 17:05 UTC
Return-Path: <muhammad_usama.sardar@tu-dresden.de>
X-Original-To: teep@ietfa.amsl.com
Delivered-To: teep@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id C4C00C14E515 for <teep@ietfa.amsl.com>; Fri, 2 Feb 2024 09:05:56 -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, HTML_MESSAGE=0.001, 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_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 oKc1V0o5bjW8 for <teep@ietfa.amsl.com>; Fri, 2 Feb 2024 09:05:51 -0800 (PST)
Received: from mailout4.zih.tu-dresden.de (mailout4.zih.tu-dresden.de [141.30.67.75]) (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 A56DCC14F68A for <teep@ietf.org>; Fri, 2 Feb 2024 09:05:32 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=tu-dresden.de; s=dkim2022; h=In-Reply-To:From:References:To:Subject: MIME-Version:Date:Message-ID:Content-Type:Sender:Reply-To:Cc: Content-Transfer-Encoding:Content-ID:Content-Description:Resent-Date: Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:List-Id: List-Help:List-Unsubscribe:List-Subscribe:List-Post:List-Owner:List-Archive; bh=wmoX/a2uNjou6438YrYBqyhVI1CxNgbCtVYVHx95y14=; b=vvbLhqkATzLAesQHDUURBydG4Z mTHt25/dgko+oobOL1Ov/lP77rA1OuvELA5KF8rTtxBopDwAu9xmsq3k3TOk3OgjhTowlfsAz/y8j ZFHzQEiPSs5Eoj1VTmd4eCqz0I+b07voZmXpjZ0LNBiUrExAiqi7Zl9FichyT36K5wJgcVItJUXAM oDnri7jP0UvLoQvWGZucfkFIXcbWd6ppFJOyK4tVt1CZpc2lqXKr8sqnzDLz39S0p49ioyYD3SpKu +RH9NRZTbXpAvVfOSQqCZsrLLtCYHWeZXajK6JwsnOaPczjmPCRGGsdKknEYt6YvAmDku8e2bMRV/ OlbpeLFQ==;
Received: from [172.26.35.114] (helo=msx.tu-dresden.de) by mailout4.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 1rVwyo-0024fk-1b for teep@ietf.org; Fri, 02 Feb 2024 18:05:30 +0100
Received: from [172.16.32.197] (172.16.32.197) 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; Fri, 2 Feb 2024 18:05:24 +0100
Content-Type: multipart/alternative; boundary="------------lcFJYl0R3avNLN08kqP80cNd"
Message-ID: <b57db5d6-fa76-44cb-9a55-aae73a20d125@tu-dresden.de>
Date: Fri, 02 Feb 2024 18:05:24 +0100
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
Content-Language: en-US
To: teep@ietf.org
References: <PH7PR11MB7607D178A59DF83D995D0C73D6422@PH7PR11MB7607.namprd11.prod.outlook.com>
From: Muhammad Usama Sardar <muhammad_usama.sardar@tu-dresden.de>
In-Reply-To: <PH7PR11MB7607D178A59DF83D995D0C73D6422@PH7PR11MB7607.namprd11.prod.outlook.com>
X-ClientProxiedBy: msx-l318.msx.ad.zih.tu-dresden.de (172.26.34.118) To MSX-T314.msx.ad.zih.tu-dresden.de (172.26.35.114)
X-TUD-Virus-Scanned: mailout4.zih.tu-dresden.de
Archived-At: <https://mailarchive.ietf.org/arch/msg/teep/mHq7qUtyhSwvCAxbHNOQtksSJ0o>
Subject: Re: [Teep] No sessions scheduled for IETF 119
X-BeenThere: teep@ietf.org
X-Mailman-Version: 2.1.39
Precedence: list
List-Id: A Protocol for Dynamic Trusted Execution Environment Enablement <teep.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/teep>, <mailto:teep-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/teep/>
List-Post: <mailto:teep@ietf.org>
List-Help: <mailto:teep-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/teep>, <mailto:teep-request@ietf.org?subject=subscribe>
X-List-Received-Date: Fri, 02 Feb 2024 17:05:56 -0000
Hi Nancy, On 02.02.24 17:16, Nancy Cam-Winget (ncamwing) wrote: > > Hello TEEP participants, > > As was mentioned at IETF 118, we are nearing publication of the main > > Protocol draft as issues have been resolved. > Just as a reminder, the issue [1] that I raised during IETF 118 meeting on the formal verification is still unresolved. In fact, I don't see any progress on the repo since IETF 118. Usama [1] https://github.com/tetsuya-okuda-hco/public-teep-formal-verif/issues/1
- Re: [Teep] No sessions scheduled for IETF 119 Meiling Chen
- [Teep] No sessions scheduled for IETF 119 Nancy Cam-Winget (ncamwing)
- Re: [Teep] No sessions scheduled for IETF 119 Muhammad Usama Sardar