Re: [TLS] ML-KEM key agreement for TLS 1.3

Dennis Jackson <ietf@dennis-jackson.uk> Thu, 07 March 2024 09:47 UTC

Return-Path: <ietf@dennis-jackson.uk>
X-Original-To: tls@ietfa.amsl.com
Delivered-To: tls@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 779EEC151087 for <tls@ietfa.amsl.com>; Thu, 7 Mar 2024 01:47:48 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -7.105
X-Spam-Level:
X-Spam-Status: No, score=-7.105 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_BLOCKED=0.001, 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=dennis-jackson.uk
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 GPKwGazIl-rY for <tls@ietfa.amsl.com>; Thu, 7 Mar 2024 01:47:43 -0800 (PST)
Received: from mout-p-202.mailbox.org (mout-p-202.mailbox.org [IPv6:2001:67c:2050:0:465::202]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 947EFC151083 for <tls@ietf.org>; Thu, 7 Mar 2024 01:47:41 -0800 (PST)
Received: from smtp1.mailbox.org (smtp1.mailbox.org [IPv6:2001:67c:2050:b231:465::1]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by mout-p-202.mailbox.org (Postfix) with ESMTPS id 4Tr4Gc3pZ0z9t0t; Thu, 7 Mar 2024 10:47:36 +0100 (CET)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=dennis-jackson.uk; s=MBO0001; t=1709804856; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=vCMKW+IQ3Uzx4zhd4XlA/KKsGg7Piqg8k7PNIBx/A54=; b=hsSl34+1fTDNcniwfSHfpCWerOFzCFzeTPGe4n6ZvhIxlqvpQ1t7zvlMW0qJAFiw8ca2+g b2a+TV4hPWI6uJYSQYdeHRkajLsf5RBhntR2Osr4eVsYGmt6jl1EiwslVSLX0I7tWMINHj BgNW6WBJ07ZSpz/2Wf1YAodWITGrTZZ7fzvn6IsqwiJ0sk6ws49QtUPA9SEgpsoNAAccCB zfA9e/7A0F0phxzkvLQXkdYhd2UkbmtjSty40xR/p5uRpYe7VdiMWCqLoVyuIxgetxJSrv y6Ao7EQCE3ZcIcHazW/cnAFyHO0YTKkNY/Qjt/iD+R8JZ8Q6RqnzeN1I7n/wbg==
Content-Type: multipart/alternative; boundary="------------gpI2x70N0TvLG18uqJ5GGZiP"
Message-ID: <8d876121-b6c5-4b87-9a85-37b0f86de37c@dennis-jackson.uk>
Date: Thu, 07 Mar 2024 09:47:34 +0000
MIME-Version: 1.0
Content-Language: en-US
To: Bas Westerbaan <bas=40cloudflare.com@dmarc.ietf.org>
Cc: Watson Ladd <watsonbladd@gmail.com>, Rob Sayre <sayrer@gmail.com>, "TLS@ietf.org" <tls@ietf.org>
References: <CAFR824wL3sZKoD6OzVpOi8=HZ+aFjqVi4L8UsF8b0p18KOEqVA@mail.gmail.com> <CABcZeBPFidzshG2ZM0+JKc73prvan4_FWTTr6r1byxAeXkkcOw@mail.gmail.com> <CAFR824zbHgwCcHi6C7SATP5q0M7N7rYAjHXt9pGAnK=KDJCJhA@mail.gmail.com> <CABcZeBNth=9q9cyxZD96Ywsw5k0nRk4GbeZA38=P9NmuOc6HPg@mail.gmail.com> <CAChr6Sz4eu3f0bhJXdEg-zQZsa=MYhZzVzi-HuWaSOeso-F3zw@mail.gmail.com> <CACsn0c=nB95t73crnGuBA2GonwcFg7uqTc=T3nOsik8tXAK0bw@mail.gmail.com> <500590c1-c6c9-403a-948f-26f0cd54d0e5@dennis-jackson.uk> <CAMjbhoX4+dUaB7xSyr=BMqhv8MY4USHBmMOCVHKWB98hEFDn8A@mail.gmail.com>
From: Dennis Jackson <ietf@dennis-jackson.uk>
In-Reply-To: <CAMjbhoX4+dUaB7xSyr=BMqhv8MY4USHBmMOCVHKWB98hEFDn8A@mail.gmail.com>
X-Rspamd-Queue-Id: 4Tr4Gc3pZ0z9t0t
Archived-At: <https://mailarchive.ietf.org/arch/msg/tls/CcPm0eXkBcdQTJ3mtC6-FQJmLcc>
Subject: Re: [TLS] ML-KEM key agreement for TLS 1.3
X-BeenThere: tls@ietf.org
X-Mailman-Version: 2.1.39
Precedence: list
List-Id: "This is the mailing list for the Transport Layer Security working group of the IETF." <tls.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/tls>, <mailto:tls-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/tls/>
List-Post: <mailto:tls@ietf.org>
List-Help: <mailto:tls-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/tls>, <mailto:tls-request@ietf.org?subject=subscribe>
X-List-Received-Date: Thu, 07 Mar 2024 09:47:48 -0000

On 07/03/2024 03:57, Bas Westerbaan wrote:

> We think it's worth it now, but of course we're not going to keep 
> hybrids around when the CRQC arrives.

Sure, but for now we gain substantial security margin* against 
implementation mistakes, advances in cryptography, etc.

On the perf/cost side, we're already making a large number of 
sub-optimal choices (use of SHA-3, use of Kyber in TLS rather than a CPA 
scheme, picking 768 over 512, etc), we can easily 'pay' for X25519 if 
you really wanted. I think if handshake cycles really mattered then we'd 
have shown RSA the door much more quickly [1].

Best,
Dennis

* As in, actual security from combination of independent systems, not 
the mostly useless kind from using over-size primitives.

[1] https://blog.cloudflare.com/how-expensive-is-crypto-anyway

>
> Best,
>
>  Bas
>
> On Thu, Mar 7, 2024 at 1:56 AM Dennis Jackson 
> <ietf=40dennis-jackson.uk@dmarc.ietf.org> wrote:
>
>     I'd like to understand the argument for why a transition back to
>     single
>     schemes would be desirable.
>
>     Having hybrids be the new standard seems to be a nice win for
>     security
>     and pretty much negligible costs in terms of performance,
>     complexity and
>     bandwidth (over single PQ schemes).
>
>     On 07/03/2024 00:31, Watson Ladd wrote:
>     > On Wed, Mar 6, 2024, 10:48 AM Rob Sayre <sayrer@gmail.com> wrote:
>     >> On Wed, Mar 6, 2024 at 9:22 AM Eric Rescorla <ekr@rtfm.com> wrote:
>     >>>
>     >>>
>     >>> On Wed, Mar 6, 2024 at 8:49 AM Deirdre Connolly
>     <durumcrustulum@gmail.com> wrote:
>     >>>>> Can you say what the motivation is for being "fully
>     post-quantum" rather than hybrid?
>     >>>> Sure: in the broad scope, hybrid introduces complexity in the
>     short-term that we would like to move off of in the long-term -
>     for TLS 1.3 key agreement this is not the worst thing in the world
>     and we can afford it, but hybrid is by design a hedge, and
>     theoretically a temporary one.
>     >>>
>     >>> My view is that this is likely to be the *very* long term.
>     >>
>     >> Also, the ship has sailed somewhat, right? Like Google Chrome,
>     Cloudflare, and Apple iMessage already have hybrids shipping (I'm
>     sure there many more, those are just really popular examples). The
>     installed base is already very big, and it will be around for a
>     while, whatever the IETF decides to do.
>     > People can drop support in browsers fairly easily especially for an
>     > experimental codepoint. It's essential that this happen: if
>     everything
>     > we (in the communal sense) tried had to be supported in
>     perpetuity, it
>     > would be a recipe for trying nothing.
>     >
>     >> thanks,
>     >> Rob
>     >>
>     >> _______________________________________________
>     >> TLS mailing list
>     >> TLS@ietf.org
>     >> https://www.ietf.org/mailman/listinfo/tls
>     > _______________________________________________
>     > TLS mailing list
>     > TLS@ietf.org
>     > https://www.ietf.org/mailman/listinfo/tls
>
>     _______________________________________________
>     TLS mailing list
>     TLS@ietf.org
>     https://www.ietf.org/mailman/listinfo/tls
>