IETF Logo Mail Archive

[TLS] Attestation, support for formal analysis and request for expediting the call for adoption of draft-yusef-tls-pqt-dual-certs

Muhammad Usama Sardar <muhammad_usama.sardar@tu-dresden.de> Mon, 13 April 2026 10:35 UTC

Return-Path: <muhammad_usama.sardar@tu-dresden.de>
X-Original-To: tls@mail2.ietf.org
Delivered-To: tls@mail2.ietf.org
Received: from localhost (localhost [127.0.0.1]) by mail2.ietf.org (Postfix) with ESMTP id BD070DB20BA8; Mon, 13 Apr 2026 03:35:15 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=ietf.org; s=ietf1; t=1776076515; bh=DEWRqaB6dh5qCPQFLuNjdYaaC3T7nr3DJWaMiEVSG3o=; h=Date:From:Subject:To:CC; b=t97UGE4p8L2+rs6gDT5sOKZG8wuAIK3lEuDS9+UCeod+LCu+Y0pHg8PhXdQFkEREe 2hb0zuccOXYGoqxEXYW5W8ReEHnTrsYc6OdDEz8N/4aaH8z57K/yVlhFF1WiIBhEYS 1s0uvTkNWbgtd7uJhaze6D7t0xwkIfWX0AMZmD8M=
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, RCVD_IN_DNSWL_MED=-2.3, RCVD_IN_VALIDITY_CERTIFIED_BLOCKED=0.001, RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001, SPF_HELO_NONE=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 uVqpwV3roo79; Mon, 13 Apr 2026 03:35:15 -0700 (PDT)
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 ECDSA (P-256) server-digest SHA256) (No client certificate requested) by mail2.ietf.org (Postfix) with ESMTPS id 7FAB0DB2013E; Mon, 13 Apr 2026 03:34:44 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=tu-dresden.de; s=dkim2022; h=Content-Type:CC:To:Subject:From: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:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=DEWRqaB6dh5qCPQFLuNjdYaaC3T7nr3DJWaMiEVSG3o=; b=bLFZRY1wUdaqYajeGCEtfT0SZk YjolUwbzWLcSlStu9Y56aj1OqfnQ16PaQJ4otrDCbkOPfa6cf02AClm0sJaQnmAPe2jFR2F5X16r9 /hyY3mz2DbrAcDrRhz17IHshUQZH44FPTzPufqDJGw8uzHZH9W5dmQCyn23kIBWp1FKeviV9dVp4U vI0xvp+T2yEIaM4i1BMAPgjb/+PnlbJjBaqiL/0uB9ENI6yMS/frVJGJgvBH1eFmb37vHB8kUqidc pkqtSIIgE0grdPkZ2DzTwlwkm9T/xnt4zkZVYcK6sWy64H0XUp3K9A4xSrd15aXT1nAHgwJTsX+75 3a7WG+Og==;
Received: from msx-t422.msx.ad.zih.tu-dresden.de ([172.26.35.139] 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 1wCEcs-000esj-Ov; Mon, 13 Apr 2026 12:34:43 +0200
Received: from [10.12.5.228] (141.76.13.165) 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.37; Mon, 13 Apr 2026 12:34:41 +0200
Message-ID: <8a5696ab-cb5c-4ce8-9a0a-a5d0355345a2@tu-dresden.de>
Date: Mon, 13 Apr 2026 12:34:40 +0200
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
Content-Language: en-US
From: Muhammad Usama Sardar <muhammad_usama.sardar@tu-dresden.de>
To: "tls-chairs@ietf.org" <tls-chairs@ietf.org>
Content-Type: multipart/signed; protocol="application/pkcs7-signature"; micalg="sha-512"; boundary="------------ms040707000100040201050407"
X-ClientProxiedBy: MSX-L416.msx.ad.zih.tu-dresden.de (172.26.34.136) To msx-t422.msx.ad.zih.tu-dresden.de (172.26.35.139)
X-TUD-Virus-Scanned: mailout4.zih.tu-dresden.de
Message-ID-Hash: ACC2GXU4UU5ZQ42NEJHUXJLR557IY6AM
X-Message-ID-Hash: ACC2GXU4UU5ZQ42NEJHUXJLR557IY6AM
X-MailFrom: muhammad_usama.sardar@tu-dresden.de
X-Mailman-Rule-Misses: dmarc-mitigation; no-senders; approved; emergency; loop; banned-address; member-moderation; header-match-tls.ietf.org-0; nonmember-moderation; administrivia; implicit-dest; max-recipients; max-size; news-moderation; no-subject; digests; suspicious-header
CC: "TLS@ietf.org" <tls@ietf.org>, draft-yusef-tls-pqt-dual-certs@ietf.org
X-Mailman-Version: 3.3.9rc6
Precedence: list
Subject: [TLS] Attestation, support for formal analysis and request for expediting the call for adoption of draft-yusef-tls-pqt-dual-certs
List-Id: "This is the mailing list for the Transport Layer Security working group of the IETF." <tls.ietf.org>
Archived-At: <https://mailarchive.ietf.org/arch/msg/tls/ZRuadgaS5z_LM25YSA6qIOF2VbU>
List-Archive: <https://mailarchive.ietf.org/arch/browse/tls>
List-Help: <mailto:tls-request@ietf.org?subject=help>
List-Owner: <mailto:tls-owner@ietf.org>
List-Post: <mailto:tls@ietf.org>
List-Subscribe: <mailto:tls-join@ietf.org>
List-Unsubscribe: <mailto:tls-leave@ietf.org>

Dear Deirdre, Joe, and Sean,

I had a discussion with Rifaat on subject draft in IETF 124. We both 
later followed up with some email exchange and an online meeting on 
designs and I shared some thoughts on the design based on a related 
formal analysis. I will be happy to do the formal analysis for this 
draft to meet the requirements of FATT.

So I would like to attest to this work and request you to please 
expedite the call for adoption of the subject draft.

Thank you.

Best regards,

-Usama

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