Re: [TLS] Working Group Last Call for draft-ietf-tls-tls13-18

"Salz, Rich" <rsalz@akamai.com> Thu, 10 November 2016 17:26 UTC

Return-Path: <rsalz@akamai.com>
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 AA7C6129455 for <tls@ietfa.amsl.com>; Thu, 10 Nov 2016 09:26:41 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -4.218
X-Spam-Level:
X-Spam-Status: No, score=-4.218 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H3=-0.01, RCVD_IN_MSPIKE_WL=-0.01, RP_MATCHES_RCVD=-1.497, SPF_PASS=-0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (1024-bit key) header.d=akamai.com
Received: from mail.ietf.org ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 6eplKEZSJIVK for <tls@ietfa.amsl.com>; Thu, 10 Nov 2016 09:26:40 -0800 (PST)
Received: from prod-mail-xrelay05.akamai.com (prod-mail-xrelay05.akamai.com [23.79.238.179]) by ietfa.amsl.com (Postfix) with ESMTP id 826E912943B for <tls@ietf.org>; Thu, 10 Nov 2016 09:26:40 -0800 (PST)
Received: from prod-mail-xrelay05.akamai.com (localhost.localdomain [127.0.0.1]) by postfix.imss70 (Postfix) with ESMTP id 1817E423701; Thu, 10 Nov 2016 17:26:40 +0000 (GMT)
Received: from prod-mail-relay10.akamai.com (prod-mail-relay10.akamai.com [172.27.118.251]) by prod-mail-xrelay05.akamai.com (Postfix) with ESMTP id D49DE42372B; Thu, 10 Nov 2016 17:26:39 +0000 (GMT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=akamai.com; s=a1; t=1478798799; bh=+d+jGNepjPp77DGwZhQmKRNBBdd8CpxkaLtucb7omlA=; l=237; h=From:To:CC:Date:References:In-Reply-To:From; b=hynTHFUWhZ8FtNvtljJYHt6p/BHTWKTlF+3iq8qpe5PCfJPMIgAd+CLPCPdG3SHOw ZG9Rp5VpJS6pNelChYSoDtRRby9JC3PKIMt+NyvEBDU3KkXSGtrJlw0sldkovdoAvr uxNSkOf5tKS38htz3b/j5Cw/JQwxjtU+JBq/Fp3o=
Received: from email.msg.corp.akamai.com (usma1ex-cas3.msg.corp.akamai.com [172.27.123.32]) by prod-mail-relay10.akamai.com (Postfix) with ESMTP id CEC981FCA1; Thu, 10 Nov 2016 17:26:39 +0000 (GMT)
Received: from USMA1EX-DAG1MB1.msg.corp.akamai.com (172.27.123.101) by usma1ex-dag1mb4.msg.corp.akamai.com (172.27.123.104) with Microsoft SMTP Server (TLS) id 15.0.1178.4; Thu, 10 Nov 2016 12:26:39 -0500
Received: from USMA1EX-DAG1MB1.msg.corp.akamai.com ([172.27.123.101]) by usma1ex-dag1mb1.msg.corp.akamai.com ([172.27.123.101]) with mapi id 15.00.1178.000; Thu, 10 Nov 2016 12:26:39 -0500
From: "Salz, Rich" <rsalz@akamai.com>
To: "mrex@sap.com" <mrex@sap.com>, "Kaduk, Ben" <bkaduk@akamai.com>
Thread-Topic: [TLS] Working Group Last Call for draft-ietf-tls-tls13-18
Thread-Index: AQHSL/2+7HM9ClSQ40Wwf3PQxwdBMaC+S8KAgAAG0ACAACSwgIABS5EAgAfeKgCAADJLgIAADcgAgAAE9wCAB7aeAP//2qmAgAFUmQCAAH7egIAACk2AgAGINYCAAAIugP//r4eA
Date: Thu, 10 Nov 2016 17:26:39 +0000
Message-ID: <b8d92ea827664c3b94fabbb03366e6a4@usma1ex-dag1mb1.msg.corp.akamai.com>
References: <58fd43a5-fd20-b93c-fae0-845646a8062f@akamai.com> <20161110171353.37D451A57D@ld9781.wdf.sap.corp>
In-Reply-To: <20161110171353.37D451A57D@ld9781.wdf.sap.corp>
Accept-Language: en-US
Content-Language: en-US
X-MS-Has-Attach:
X-MS-TNEF-Correlator:
x-ms-exchange-transport-fromentityheader: Hosted
x-originating-ip: [172.19.44.61]
Content-Type: text/plain; charset="Windows-1252"
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
Archived-At: <https://mailarchive.ietf.org/arch/msg/tls/2pT-CfPTdoSjndBcGdUfJSvwXdc>
Cc: "tls@ietf.org" <tls@ietf.org>
Subject: Re: [TLS] Working Group Last Call for draft-ietf-tls-tls13-18
X-BeenThere: tls@ietf.org
X-Mailman-Version: 2.1.17
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, 10 Nov 2016 17:26:42 -0000

> There is a concept called "provable correctness", and folks (such as those

Hm, your arguments against it are that heuristics will expose the information anyway.

Has provability advanced far enough to include that concept?