IETF Logo Mail Archive

[TLS] Re: WG Last Call: draft-ietf-tls-mlkem-07 (Ends 2026-02-27)

Muhammad Usama Sardar <muhammad_usama.sardar@tu-dresden.de> Sat, 21 February 2026 01:22 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 719F9BAFBAB8 for <tls@mail2.ietf.org>; Fri, 20 Feb 2026 17:22:34 -0800 (PST)
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 68_wbRiOHEzX for <tls@mail2.ietf.org>; Fri, 20 Feb 2026 17:22:33 -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 ECDSA (P-256) server-digest SHA256) (No client certificate requested) by mail2.ietf.org (Postfix) with ESMTPS id 87F77BAFBAB0 for <tls@ietf.org>; Fri, 20 Feb 2026 17:22:33 -0800 (PST)
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=MuJzU4v0GA1C8atR4b03+lVhhdwORvOjQxY+Nq5Bg2E=; b=jjr+Cg3w7UzmRZEufY2u1vOish fZa9O7h5JI9d8C7MUgXIHnVDZuzfXIRKyoyYRZJyREjFEzAuEFNkQF2bL6/vf0OG9glb+JHZaheLM MG5rjk0lXZ9DGX+YlVRmtT9wxNTO+O3ml+Ehcegbhur/gp4gq/uY6TwB+HkdyrA5Ek3GEwGH5Piy6 rw2UQDE6+YueAZBXSbgE4jT+XnIsE4EHAzBPdO8QShUuSNWhVYlMnXGHHvOCOFB9gBo0BCWWMGJm1 ByB+qYO+kwuOgXD96O14GuTZNeXpOsVSFKneRjUDIvccrJZ1IZFpIgLxITzBaK4eOabuPWOMhq9um CDhwyU/g==;
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.94.2) (envelope-from <muhammad_usama.sardar@tu-dresden.de>) id 1vtbhY-00DbtT-Ba; Sat, 21 Feb 2026 02:22:32 +0100
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.37; Sat, 21 Feb 2026 02:22:30 +0100
Message-ID: <881ddc3a-2c15-41ba-ab44-26d68b20d211@tu-dresden.de>
Date: Sat, 21 Feb 2026 02:22:29 +0100
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
To: Thom Wiggers <thom@thomwiggers.nl>
References: <20260218194044.1135896.qmail@cr.yp.to> <7C9C99AA-42B0-4BC7-8F41-39F35754F1C4@vigilsec.com> <MN2PR17MB40310F0A2891942D76C43E60CD6BA@MN2PR17MB4031.namprd17.prod.outlook.com> <2caab265-00ba-4078-b6d0-3a178dabaa61@tu-dresden.de> <CAEEbLAbkV4YxN7cgggckpEp24MLtRZpzs6M4KemBatpzCCcs0A@mail.gmail.com> <MEAPR01MB3654415F735DE96CEE239C78EE68A@MEAPR01MB3654.ausprd01.prod.outlook.com> <aZfbhrFDBp7a0xHL@chardros.imrryr.org> <EB48AB24-A1A2-47C8-9C2C-47C93B9320E7@thomwiggers.nl> <93af0689-4bd3-4f6b-afaf-41869d27fa4d@app.fastmail.com> <7e6727a1-c994-43df-a16b-078bd8995717@tu-dresden.de> <705B85C2-5B56-46DF-8C4B-CB6957DEB4E5@thomwiggers.nl>
Content-Language: en-US
From: Muhammad Usama Sardar <muhammad_usama.sardar@tu-dresden.de>
In-Reply-To: <705B85C2-5B56-46DF-8C4B-CB6957DEB4E5@thomwiggers.nl>
Content-Type: multipart/signed; protocol="application/pkcs7-signature"; micalg="sha-512"; boundary="------------ms090508020506050008050100"
X-ClientProxiedBy: MSX-L415.msx.ad.zih.tu-dresden.de (172.26.34.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: UHFP62SBUXCKMDXNHY5YGR7SD4ZV4ZNW
X-Message-ID-Hash: UHFP62SBUXCKMDXNHY5YGR7SD4ZV4ZNW
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
X-Mailman-Version: 3.3.9rc6
Precedence: list
Subject: [TLS] Re: WG Last Call: draft-ietf-tls-mlkem-07 (Ends 2026-02-27)
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/1HAQhOwzoOEJGsKaxzmHM0zG7uM>
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>

On 20.02.26 21:52, Thom Wiggers wrote:

> On the subject of “have KEMs instead of ECDH for TLS 1.3 been 
> analyzed”, the answer is, very simply: yes. The first few steps of my 
> proof for KEMTLS prove exactly this [0], and you can directly 
> copy-paste these into the computational analysis of TLS 1.3 by Dowling 
> et al. [1].

Thanks very much Thom. I will read it and may have questions.

I suggest to add some relevant text and cite Thom's thesis in the draft.

Though, from a process perspective, I am still not sure how someone's 
thesis can substitute FATT review and FATT report. I believe the thesis 
can be given as an input to FATT, but I don't really see how it can 
constitute FATT output. As it stands, FATT review and FATT report are 
both still missing in the process.

-Usama

> [0] https://thomwiggers.nl/p/thesis/
> [1] https://eprint.iacr.org/2020/1044

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