Re: [Iotops] [arch-d] How old is too old and what this means for product lifecycles? Re: [Last-Call] [TLS] Last Call: <draft-ietf-tls-oldversions-deprecate-09.txt> (Deprecating TLSv1.0 and TLSv1.1) to Best Current Practice

Eric Rescorla <ekr@rtfm.com> Sat, 05 December 2020 18:54 UTC

Return-Path: <ekr@rtfm.com>
X-Original-To: iotops@ietfa.amsl.com
Delivered-To: iotops@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 005403A048B for <iotops@ietfa.amsl.com>; Sat, 5 Dec 2020 10:54:50 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.896
X-Spam-Level:
X-Spam-Status: No, score=-1.896 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, HTML_MESSAGE=0.001, SPF_HELO_NONE=0.001, SPF_NONE=0.001, URIBL_BLOCKED=0.001] autolearn=unavailable autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=rtfm-com.20150623.gappssmtp.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 stGOSpXaOddS for <iotops@ietfa.amsl.com>; Sat, 5 Dec 2020 10:54:47 -0800 (PST)
Received: from mail-lj1-x234.google.com (mail-lj1-x234.google.com [IPv6:2a00:1450:4864:20::234]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id F0EC63A04BC for <iotops@ietf.org>; Sat, 5 Dec 2020 10:54:46 -0800 (PST)
Received: by mail-lj1-x234.google.com with SMTP id q8so10403030ljc.12 for <iotops@ietf.org>; Sat, 05 Dec 2020 10:54:46 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=rtfm-com.20150623.gappssmtp.com; s=20150623; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=ckCzTpqd+VYzCUUeIlbswDDow+2mmMmMHt9zsBmcXK0=; b=iFFE3vxRz1q848iQQgVvHOzvMI6tAG7q6v99xeW2sy/zVv0Po0cnem0rAZcj8Ob/Hc rg4DG4GqvtpanwQxbANNmkRVecBEvXBmtfE8/S5S8HSUaMJQMIhTIySuRhr5zMMTD7TS xEaV09caI+oKa6ccka8Om7BuhboRF5XgjrVgaru3cDhbvOSJrHv54nJmFEmXZfLkHFLI 39djUgEIqVAK7tC8JHdNejYDOV+vqw4BgzmtS0eNE9BGnePkp82lHkItKpDyjhQFb4SV tqxsZVk4XIp0pfF+NNB3TBOVOwD6yeGxu9uHAdeUApRPIjsbpk8EVWLZ7Y9Z9QwAIlnP cedg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=ckCzTpqd+VYzCUUeIlbswDDow+2mmMmMHt9zsBmcXK0=; b=bgu4DoLqFTY32ZCFpjxJUgs3/TlKHE4q41nqepvF/vClIRjOa0sHJD0NMrimvn8Rki ESY2PxQSIg55cRY+LgL+S66vwRrIgtAv4luQEDayhn9xlZig2POohoOAOD/yA3kU10g0 K/kWuP5SRaUrgKsFR6okQO01NNy3kE/+RO5BOtfBJzA7Trxr9H+JL8oR+TZIjKe0L3un 0VD1tgE6Jn0hwELS+mxWMcO620P4LI1ubGEAb4Y6m1VWOv2IR9oEJp5EH7m2u+7SLwxc msfNLWEsFleV+HLYJhKQBtGEJH2Od0WrtapKm8K+0xwKNL6E2vVe2QFJ3+/46gT2EyM1 YKug==
X-Gm-Message-State: AOAM530ExALH1XgXXF/P+38yQqsri42o3l0fAzRowcusxT4ZLsB4vMqe 04Bld2s/BQgzNKpwXu7BoUCwasMOaTapNUjbkIbyLw==
X-Google-Smtp-Source: ABdhPJzx8unsUIFdtuTes7doWo0aZmVy0W202eMfzRwrI08K3cd67qHwUvW95gOdqn61rUtKIYvDmLSr81S8QhnkTD8=
X-Received: by 2002:a2e:9614:: with SMTP id v20mr5747693ljh.13.1607194484953; Sat, 05 Dec 2020 10:54:44 -0800 (PST)
MIME-Version: 1.0
References: <160496076356.8063.5138064792555453422@ietfa.amsl.com> <SN6PR02MB4512B95842251AE4C04B199CC3F30@SN6PR02MB4512.namprd02.prod.outlook.com> <BYAPR14MB31765FD24F4DFD90F81AEE2BD7F30@BYAPR14MB3176.namprd14.prod.outlook.com> <SN6PR02MB4512CBA9E4BF6AAC778BC674C3F30@SN6PR02MB4512.namprd02.prod.outlook.com> <DM6PR14MB31789349B737961728B7691ED7F30@DM6PR14MB3178.namprd14.prod.outlook.com> <CACsn0ckvoqZ5-JPRkOXp2Mw2zeTOdyCYLvX1NV1waJ-yidTwMQ@mail.gmail.com> <SN6PR02MB45129E647485BA5794D5CF4EC3F20@SN6PR02MB4512.namprd02.prod.outlook.com> <MWHPR02MB2464CD5D5B7568E9EAC58B26D6F20@MWHPR02MB2464.namprd02.prod.outlook.com> <DM6PR14MB3178EC0521427BF7C3523CACD7F10@DM6PR14MB3178.namprd14.prod.outlook.com> <CAChr6SzvQK+exfgYEwfVNknMjr-Y-UJ4A7k0DkOkL9wmLQ84aQ@mail.gmail.com> <MWHPR02MB246499F35613820D45EB55AAD6F10@MWHPR02MB2464.namprd02.prod.outlook.com> <DM6PR14MB3178A0C152A746E41C6A01C6D7F10@DM6PR14MB3178.namprd14.prod.outlook.com> <f8486514-9726-68d0-2bc8-dccd4293017e@cs.tcd.ie> <DM6PR14MB317843CA2B3D67F6660F4F0DD7F10@DM6PR14MB3178.namprd14.prod.outlook.com> <127BB8C9-679E-48C1-8617-C6092AEE9914@fugue.com> <DM6PR14MB3178C1F8B6E4FD6E9FD9C8C4D7F10@DM6PR14MB3178.namprd14.prod.outlook.com> <8E6EB6FF-E83B-44B5-A0A2-7499678DC6B6@fugue.com> <DM6PR14MB317817FD62369A8E0FF93CA8D7F10@DM6PR14MB3178.namprd14.prod.outlook.com> <77363965-99A5-4790-B40B-011827C8D113@fugue.com> <80F697E4-B225-49E0-8271-CDAB66E42A95@cisco.com> <m2zh2sktty.wl-randy@psg.com> <29EBB9B3-4AF6-4734-B7C4-A03F99935F6D@fugue.com> <m2y2ickt0l.wl-randy@psg.com> <6FA07BCE-B9A9-490C-A687-2EA0FF6E6993@fugue.com> <m2wnxwks5y.wl-randy@psg.com>
In-Reply-To: <m2wnxwks5y.wl-randy@psg.com>
From: Eric Rescorla <ekr@rtfm.com>
Date: Sat, 05 Dec 2020 10:54:08 -0800
Message-ID: <CABcZeBMsL0j+4CmoE9f35RzaB9Vjj1KQyxoHZ9ohF7hY+DaJxQ@mail.gmail.com>
To: Randy Bush <randy@psg.com>
Cc: Ted Lemon <mellon@fugue.com>, iotops@ietf.org, architecture-discuss@iab.org, "Ackermann, Michael" <MAckermann@bcbsm.com>
Content-Type: multipart/alternative; boundary="0000000000005c65fe05b5bc2066"
Archived-At: <https://mailarchive.ietf.org/arch/msg/iotops/QkG0_0eQr1uZKgNvJGlaH9rMkIs>
Subject: Re: [Iotops] [arch-d] How old is too old and what this means for product lifecycles? Re: [Last-Call] [TLS] Last Call: <draft-ietf-tls-oldversions-deprecate-09.txt> (Deprecating TLSv1.0 and TLSv1.1) to Best Current Practice
X-BeenThere: iotops@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: IOT Operations <iotops.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/iotops>, <mailto:iotops-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/iotops/>
List-Post: <mailto:iotops@ietf.org>
List-Help: <mailto:iotops-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/iotops>, <mailto:iotops-request@ietf.org?subject=subscribe>
X-List-Received-Date: Sat, 05 Dec 2020 18:54:50 -0000

I know you're just being sarcastic, but Microsoft, in cooperation with
INRIA and others has done a bunch of great work on code verification,
including:

- mitls - a verified TLS stack [https://www.mitls.org/]
- HACL* - verified implementations of a number of important cryptographic
algorithms [https://hacl-star.github.io/]

HACL* is actually seeing quite a bit of use. To quote from their site "Code
from HACL* has been incorporated into Firefox
<https://bugzilla.mozilla.org/show_bug.cgi?id=1387183>, the Windows kernel,
the Linux kernel, the Tezos blockchain
<https://www.reddit.com/r/tezos/comments/8hrsz2/tezos_switches_cryptographic_libraries_from/>,
the Microsoft MSQuic implementation of the QUIC protocol, and the Wireguard
VPN <https://lwn.net/Articles/770750/>."

-Ekr


On Sat, Dec 5, 2020 at 10:46 AM Randy Bush <randy@psg.com> wrote:

> > they can dump it on github
>
> well chosen verb
>
> now that github is owned by msoft, next year msoft ai will formally
> verify and correct all the dren on github.  w00t!
>
> randy
>
> _______________________________________________
> Architecture-discuss mailing list
> Architecture-discuss@ietf.org
> https://www.ietf.org/mailman/listinfo/architecture-discuss
>