IETF Logo Mail Archive

Re: [arch-d] I-D Action: draft-iab-protocol-maintenance-08.txt

Lars Eggert <lars@eggert.org> Wed, 13 July 2022 17:46 UTC

Return-Path: <lars@eggert.org>
X-Original-To: architecture-discuss@ietfa.amsl.com
Delivered-To: architecture-discuss@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 775FBC15A73A for <architecture-discuss@ietfa.amsl.com>; Wed, 13 Jul 2022 10:46:19 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -7.106
X-Spam-Level:
X-Spam-Status: No, score=-7.106 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_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 (1024-bit key) header.d=eggert.org
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 HtpqFZHqEc6j for <architecture-discuss@ietfa.amsl.com>; Wed, 13 Jul 2022 10:46:15 -0700 (PDT)
Received: from mail.eggert.org (mail.eggert.org [91.190.195.94]) (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 1058FC157B3F for <architecture-discuss@ietf.org>; Wed, 13 Jul 2022 10:46:15 -0700 (PDT)
Received: from smtpclient.apple (unknown [209.242.135.14]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mail.eggert.org (Postfix) with ESMTPSA id C8C1A1D3487; Wed, 13 Jul 2022 20:46:05 +0300 (EEST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=eggert.org; s=dkim; t=1657734366; bh=K0HJfwyuzUH1GCzBzQxx5c/Sf0FO5aaQ45oSreQiQeA=; h=Subject:From:In-Reply-To:Date:Cc:References:To; b=0FfFz61AgfUSdn8dkmfU9SCDE1b0NdUpSpJ8fH/EuBVfFa3WCeakfC1sdhYau3h7/ HjqF72Y4nOWt8jx2JEDDgnJ4/u5zyZQrVWdJLdUqyExrwi5MswAWVav1pBjTTQ8H24 /rnu7XQAboqSU+tNRuEWBC9egnChV3v2ponx7g8I=
Content-Type: multipart/signed; boundary="Apple-Mail=_EB2CCDB8-B337-4394-BAB6-A338CA4FF6E8"; protocol="application/pgp-signature"; micalg="pgp-sha512"
Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3696.100.31\))
From: Lars Eggert <lars@eggert.org>
In-Reply-To: <c45c45b6-4fe7-4cb7-b596-ed8315e8f7e0@beta.fastmail.com>
Date: Wed, 13 Jul 2022 10:45:58 -0700
Cc: architecture-discuss@ietf.org
Message-Id: <00DD17DC-BBC7-4166-A4FC-5414636A8E67@eggert.org>
References: <a06000c5-939a-a896-9c0f-576e9e2ff97f@gmail.com> <D20FCDD6-3756-40E7-AD6A-416A2C464DF1@gmail.com> <dbee51f0-1913-af6e-de00-c3a7f5b77f68@gmail.com> <1A59B4B5-FA24-4AFD-91D5-14E620DD5E6E@strayalpha.com> <c45c45b6-4fe7-4cb7-b596-ed8315e8f7e0@beta.fastmail.com>
To: Martin Thomson <mt@lowentropy.net>
X-MailScanner-ID: C8C1A1D3487.A4B83
X-MailScanner: Not scanned: please contact your Internet E-Mail Service Provider for details
X-MailScanner-From: lars@eggert.org
Archived-At: <https://mailarchive.ietf.org/arch/msg/architecture-discuss/6mcEAblNecI1zjfEiOCu08sWqac>
Subject: Re: [arch-d] I-D Action: draft-iab-protocol-maintenance-08.txt
X-BeenThere: architecture-discuss@ietf.org
X-Mailman-Version: 2.1.39
Precedence: list
List-Id: open discussion forum for long/wide-range architectural issues <architecture-discuss.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/architecture-discuss>, <mailto:architecture-discuss-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/architecture-discuss/>
List-Post: <mailto:architecture-discuss@ietf.org>
List-Help: <mailto:architecture-discuss-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/architecture-discuss>, <mailto:architecture-discuss-request@ietf.org?subject=subscribe>
X-List-Received-Date: Wed, 13 Jul 2022 17:46:19 -0000

On 2022-7-13, at 5:52, Martin Thomson <mt@lowentropy.net> wrote:
> Like miTLS[1]? That's a functional implementation based on a verified state machine. It's not a practical implementation, but it comes pretty close. There's a gap, sure, but it isn't as big as you might think.
> 
> [1] https://mitls.org/ (same folks as last time)

Along similar lines, there is DaisyNFS: https://www.usenix.org/conference/osdi22/presentation/chajed

Lars

v2.23.0 | Report a Bug | By Email