IETF Logo Mail Archive

[Ufmrg] Re: [Seat] Re: Re: Re: Comments on formal analysis of relay attacks in intra-handshake attestation (CVE-2026-33697)

Muhammad Usama Sardar <muhammad_usama.sardar@tu-dresden.de> Tue, 28 July 2026 20:39 UTC

Return-Path: <muhammad_usama.sardar@tu-dresden.de>
X-Original-To: ufmrg@mail2.ietf.org
Delivered-To: ufmrg@mail2.ietf.org
Received: from localhost (localhost [127.0.0.1]) by mail2.ietf.org (Postfix) with ESMTP id 5223A1200C8A3 for <ufmrg@mail2.ietf.org>; Tue, 28 Jul 2026 13:39:49 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=ietf.org; s=ietf1; t=1785271189; bh=1pSzhanMpa+St7Q7VPGoAyUuHAvcisLv8Y5765H+kvE=; h=Date:Subject:To:CC:References:From:In-Reply-To; b=AxyDj4NgzZz0xK4T4AYa4smINb+YnjT1wDwtQd/NbkU9kZAU7VDL/zzRaNWs9/AJQ NBoSq9iLtmL2x7W8OXcky22YvWrgNC+PMjpfhv93ajHsuULZFRCIsl9N/qDVw0ulUj AldWLQLm93V/v1MNzzOzGX4sBt9wsBnF5ZCoes3w=
X-Virus-Scanned: amavisd-new at ietf.org
X-Spam-Flag: NO
X-Spam-Score: -4.398
X-Spam-Level:
X-Spam-Status: No, score=-4.398 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_VALIDITY_CERTIFIED_BLOCKED=0.001, RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001, SPF_PASS=-0.001] autolearn=ham autolearn_force=no
Authentication-Results: mail2.ietf.org (amavisd-new); dkim=pass (2048-bit key) header.d=tu-dresden.de
Received: from mail2.ietf.org ([166.84.6.31]) by localhost (mail2.ietf.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id v4FvJhohZxKv for <ufmrg@mail2.ietf.org>; Tue, 28 Jul 2026 13:39:48 -0700 (PDT)
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 ECDSA (P-256) server-digest SHA256) (No client certificate requested) by mail2.ietf.org (Postfix) with ESMTPS id C3A411200C891 for <ufmrg@irtf.org>; Tue, 28 Jul 2026 13:39:48 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=tu-dresden.de; s=dkim2022; h=Content-Type:In-Reply-To:From:References:CC:To :Subject:MIME-Version:Date:Message-ID: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=ZiU85tZ7qR8BeGO/V596B9mAFy3nTK72SvSoCdkN13A=; b=m6iLnrgrvfRQDZzcgKvl0+UDdt 924vakmIObCy5N33iYjOk+eiAcdLpXBZKOMDm7YAJNviSZEUd7FtsiDeS1qh2rmMYeo3Aemlfd+UY mVDbWWdpZaD2h6xkKsWngtHGgZL2uIcFi+3956lOrEG9ONhPngOdF6jUEwWcmkShmiLacKqpxhV4B kHkXMYtnBsb7ltU6eZMw/SoFpPhT5IqT8bkO8QKlnF3ZdvzRf+evF03pqpXKtyo1bLfeKaRK6KbCR 6GjD0dzB8B3yOAF9Q2N2ve1J1SXsFcBwnVMoohCU88dPog6UgD2FyMffsvyfo2ZRKJZi7jIBXhdZf 65LodmsA==;
Received: from msx-t422.msx.ad.zih.tu-dresden.de ([172.26.35.139] 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.96) (envelope-from <muhammad_usama.sardar@tu-dresden.de>) id 1wooaW-001xoQ-0G; Tue, 28 Jul 2026 22:39:48 +0200
Received: from [10.12.5.228] (141.76.13.149) by msx-t422.msx.ad.zih.tu-dresden.de (172.26.35.139) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.2.2562.45; Tue, 28 Jul 2026 22:39:27 +0200
Message-ID: <26f46fbb-2565-4fe0-b1d7-c61293750124@tu-dresden.de>
Date: Tue, 28 Jul 2026 22:39:25 +0200
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
To: "Salz, Rich" <rsalz=40akamai.com@dmarc.ietf.org>
References: <5f361893-bc32-4737-9578-fdb3ad7be3f9@tu-dresden.de> <9F03163D-B0F9-40DD-A4AB-69C151B872D6@aiven.io> <c4a0c433-173d-44ac-bd48-eed642a674d3@tu-dresden.de> <CAHxYnaOBMnPp7EiRLNYWX8AQDc2zYoBL226nfeBiPXsyii7Now@mail.gmail.com> <CAHxYnaOFWQBLf0Pn8bY=CMx7ytSEkTbvj7xp-s0GCHJohRh5xg@mail.gmail.com> <MRWPR02MB1208667A0653CF2C6B141933DB7CD2@MRWPR02MB12086.eurprd02.prod.outlook.com> <76b504ae-5692-4f31-a9d2-025974b12339@tu-dresden.de> <MRWPR02MB1208652B214687BB93253F1D2B7CD2@MRWPR02MB12086.eurprd02.prod.outlook.com> <5fb42c5c-825b-472b-8455-ce893011ade5@tu-dresden.de> <MRWPR02MB12086E888B91ECDB72D4B230AB7CC2@MRWPR02MB12086.eurprd02.prod.outlook.com> <CAHxYnaPYKJ_jdbVXraoXQootU4KeaSsmE8Dh0r=RLkZUqcaFqg@mail.gmail.com> <CAHxYnaOovbOJkp_og6rzs05hw_3zUKPWaufr5tukCaxizQY7FA@mail.gmail.com> <43e8ab6c-95fa-41dd-9dc6-16a1805fabc7@tu-dresden.de> <MN2PR17MB4031CF87F189C0B3297B91C0CDCB2@MN2PR17MB4031.namprd17.prod.outlook.com>
Content-Language: en-US
From: Muhammad Usama Sardar <muhammad_usama.sardar@tu-dresden.de>
In-Reply-To: <MN2PR17MB4031CF87F189C0B3297B91C0CDCB2@MN2PR17MB4031.namprd17.prod.outlook.com>
Content-Type: multipart/signed; protocol="application/pkcs7-signature"; micalg="sha-512"; boundary="------------ms020204060906090907090105"
X-ClientProxiedBy: MSX-T415.msx.ad.zih.tu-dresden.de (172.26.35.135) To msx-t422.msx.ad.zih.tu-dresden.de (172.26.35.139)
X-TUD-Virus-Scanned: mailout3.zih.tu-dresden.de
Message-ID-Hash: DYYLXWZ4NPJL7CFNI7GADX45CESNVMAE
X-Message-ID-Hash: DYYLXWZ4NPJL7CFNI7GADX45CESNVMAE
X-MailFrom: muhammad_usama.sardar@tu-dresden.de
X-Mailman-Rule-Misses: dmarc-mitigation; no-senders; approved; emergency; loop; banned-address; member-moderation; nonmember-moderation; administrivia; implicit-dest; max-recipients; max-size; news-moderation; no-subject; digests; suspicious-header
CC: "ufmrg@irtf.org" <ufmrg@irtf.org>, Nathanael Ritz <nathanritz@gmail.com>
X-Mailman-Version: 3.3.9rc6
Precedence: list
Subject: [Ufmrg] Re: [Seat] Re: Re: Re: Comments on formal analysis of relay attacks in intra-handshake attestation (CVE-2026-33697)
List-Id: Usable Formal Methods Research Group <ufmrg.irtf.org>
Archived-At: <https://mailarchive.ietf.org/arch/msg/ufmrg/yLmRE_CXP-WMmZp3FIXlgL3RPu0>
List-Archive: <https://mailarchive.ietf.org/arch/browse/ufmrg>
List-Help: <mailto:ufmrg-request@irtf.org?subject=help>
List-Owner: <mailto:ufmrg-owner@irtf.org>
List-Post: <mailto:ufmrg@irtf.org>
List-Subscribe: <mailto:ufmrg-join@irtf.org>
List-Unsubscribe: <mailto:ufmrg-leave@irtf.org>

On 28.07.26 21:38, Salz, Rich wrote:

> Please stop cross-posting this thread to UFMRG.

Just seen, sincere apologies.

Best regards,

-Usama

v2.46.0 | Report a Bug | By Email | System Status