Re: [irtf-discuss] Side-meeting: specification of attestation in TEEs
Muhammad Usama Sardar <muhammad_usama.sardar@tu-dresden.de> Thu, 10 November 2022 06:47 UTC
Return-Path: <muhammad_usama.sardar@tu-dresden.de>
X-Original-To: irtf-discuss@ietfa.amsl.com
Delivered-To: irtf-discuss@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 239D5C152562; Wed, 9 Nov 2022 22:47:09 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -7.106
X-Spam-Level:
X-Spam-Status: No, score=-7.106 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_HI=-5, 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 a5dkcq54oufB; Wed, 9 Nov 2022 22:47:04 -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 339C4C152578; Wed, 9 Nov 2022 22:47:02 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=tu-dresden.de; s=dkim2022; h=MIME-Version:Content-Type:In-Reply-To: References:Message-ID:Date:Subject:CC:To:From:Sender:Reply-To: 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=VjXhT68xgO444LBxoZQjE/ieW2ZCVJMNb3nCps96pZk=; b=CLg1w/dZx7gGZbqcuKt6AFkwVU n9zM4DeF3tNypTb6Hztz2845UOIqC0MRL3beuEiMyzND0Pm4vIrJdtQZU30YfzfgWYsBL5wDFLPhC gkx5nfVZ3rNAJt3rj3j37rF8CeDel30a2Sh3sNSDesyxv9mTs1Foa5P6Tr8SNmpqnpQJCiIpDL7Gs tUUPjqLJgYS9hpOCmtLNC8Bz8DrAUSll3RvTqzNOW0YrrY9mgxJyWzFnHR3HIn/kXgAQQ29+BB3j9 uZjD5BjM1YvPB0/Pfznxp5U9Y2O4dJbzF9e5xUvWRXSlpuxa5EAN//okZu+vA+ZT0isOCMh6QDx/s t5gGHOJw==;
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 1ot11z-00172E-Er; Thu, 10 Nov 2022 07:28:58 +0100
Received: from MSX-T314.msx.ad.zih.tu-dresden.de (172.26.35.114) 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.13; Thu, 10 Nov 2022 07:28:50 +0100
Received: from MSX-T314.msx.ad.zih.tu-dresden.de ([172.26.35.114]) by MSX-T314.msx.ad.zih.tu-dresden.de ([172.26.35.114]) with mapi id 15.01.2507.013; Thu, 10 Nov 2022 07:28:50 +0100
From: Muhammad Usama Sardar <muhammad_usama.sardar@tu-dresden.de>
To: "115attendees@ietf.org" <115attendees@ietf.org>
CC: "irtf-discuss@irtf.org" <irtf-discuss@irtf.org>
Thread-Topic: Side-meeting: specification of attestation in TEEs
Thread-Index: AQHY9HxrRmupnYodk0GWf5FQRGuc6q43r4N4
Date: Thu, 10 Nov 2022 06:28:49 +0000
Message-ID: <216d019955274a0ab719bf6f2aa732fb@tu-dresden.de>
References: <087696eff78c445d94461ff5b212fd1c@tu-dresden.de>
In-Reply-To: <087696eff78c445d94461ff5b212fd1c@tu-dresden.de>
Accept-Language: de-DE, en-US
Content-Language: de-DE
X-MS-Has-Attach:
X-MS-TNEF-Correlator:
x-pmwin-version: 4.0.4, Antivirus-Engine: 3.85.1, Antivirus-Data: 5.96
Content-Type: multipart/alternative; boundary="_000_216d019955274a0ab719bf6f2aa732fbtudresdende_"
MIME-Version: 1.0
X-TUD-Virus-Scanned: mailout4.zih.tu-dresden.de
Archived-At: <https://mailarchive.ietf.org/arch/msg/irtf-discuss/w8iOtdWOP6CGJOplKSrOG33FeDY>
Subject: Re: [irtf-discuss] Side-meeting: specification of attestation in TEEs
X-BeenThere: irtf-discuss@irtf.org
X-Mailman-Version: 2.1.39
Precedence: list
List-Id: IRTF general and new-work discussion list <irtf-discuss.irtf.org>
List-Unsubscribe: <https://www.irtf.org/mailman/options/irtf-discuss>, <mailto:irtf-discuss-request@irtf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/irtf-discuss/>
List-Post: <mailto:irtf-discuss@irtf.org>
List-Help: <mailto:irtf-discuss-request@irtf.org?subject=help>
List-Subscribe: <https://www.irtf.org/mailman/listinfo/irtf-discuss>, <mailto:irtf-discuss-request@irtf.org?subject=subscribe>
X-List-Received-Date: Thu, 10 Nov 2022 06:47:09 -0000
Hi again, I'm so sorry for having missed the day. It is planned today (Thursday): https://wiki.ietf.org/en/meeting/115/sidemeetings. If the participants agree, I'm happy to record it for those who are interested but not able to attend, and we may have a very short follow-up meeting on Friday. I still need someone to set up things at the venue, please (as I am remote). Thank you, Usama ------------------------------------------------------------------------------------------------------------------------------------------ Best Regards, Muhammad Usama Sardar (M.Sc.) Research Associate Technische Universität Dresden Faculty of Computer Science Institute of Systems Architecture Chair of Systems Engineering Office: APB 3073 Phone: +49 351 463-42048 Email: muhammad_usama.sardar@mailbox.tu-dresden.de Website: https://tu-dresden.de/ing/informatik/sya/se/die-professur/beschaeftigte/muhammad-usama-sardar ------------------------------------------------------------------------------------------------------------------------------------------ ________________________________ Von: 115attendees <115attendees-bounces@ietf.org> im Auftrag von Muhammad Usama Sardar <muhammad_usama.sardar@tu-dresden.de> Gesendet: Mittwoch, 9. November 2022 22:15 An: 115attendees@ietf.org Cc: irtf-discuss@irtf.org Betreff: [115attendees] Side-meeting: specification of attestation in TEEs Hello all, this may be interesting for some of you (esp. RATS and TEEP): * How the complexity and ambiguity of IETF RATS architecture has been misused? * How can complex protocols for attestation mechanisms be specified in an unambiguous and precise way? (very brief since in the next side-meeting just afterwards, Jonathan and Ken will actually introduce, motivate and explain formal methods) * How does the RATS architecture apply to industrial TEEs (Intel TDX [1] as a use case)? Draft agenda: * Interactive presentation (ca. 40 minutes) * Further Discussion and feedback * Next steps Time: 10:30 - 11:30 (UK time) Venue: Richmond 6 Meeting link: https://tu-dresden.zoom.us/j/64523897756?pwd=bWE3ZXVwbEFLTGt1L2NGdjZnZkFEdz09 Since I am remote, may I ask someone to assist in setting things up at the venue? [1] https://www.researchgate.net/publication/351699567_Demystifying_Attestation_in_Intel_Trust_Domain_Extensions_via_Formal_Verification Cheers, Usama ------------------------------------------------------------------------------------------------------------------------------------------ Best Regards, Muhammad Usama Sardar (M.Sc.) Research Associate Technische Universität Dresden Faculty of Computer Science Institute of Systems Architecture Chair of Systems Engineering Office: APB 3073 Phone: +49 351 463-42048 Email: muhammad_usama.sardar@mailbox.tu-dresden.de Website: https://tu-dresden.de/ing/informatik/sya/se/die-professur/beschaeftigte/muhammad-usama-sardar ------------------------------------------------------------------------------------------------------------------------------------------
- [irtf-discuss] Side-meeting: specification of att… Muhammad Usama Sardar
- Re: [irtf-discuss] Side-meeting: specification of… Muhammad Usama Sardar