IETF Logo Mail Archive

Re: [Ufmrg] Follow-up: HTTP/2 Rapid Reset & Formal Analysis

Liu Si <si.liu@inf.ethz.ch> Wed, 08 November 2023 15:38 UTC

Return-Path: <si.liu@inf.ethz.ch>
X-Original-To: ufmrg@ietfa.amsl.com
Delivered-To: ufmrg@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 82D10C17C88E for <ufmrg@ietfa.amsl.com>; Wed, 8 Nov 2023 07:38:36 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.005
X-Spam-Level:
X-Spam-Status: No, score=-2.005 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, HTML_MESSAGE=0.001, 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=inf.ethz.ch
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 DQz6F4WTNa3y for <ufmrg@ietfa.amsl.com>; Wed, 8 Nov 2023 07:38:32 -0800 (PST)
Received: from mailg110.ethz.ch (mailg110.ethz.ch [IPv6:2001:67c:10ec:5605::21]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id BEE29C17C890 for <ufmrg@irtf.org>; Wed, 8 Nov 2023 07:38:30 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inf.ethz.ch; s=key1-q2-2022; t=1699457899; h=From:Subject:Date:Message-ID:To:Cc :MIME-Version:Content-Type:In-Reply-To:References; bh=uJcO08nKicfwXLfnPXO 9TeJsPWM731VdHUQ6CF+uvcg=; b=eZtIZffyHGm2z7BIjyuOI55NJGHaPlFo59x6E612SFXE 7w6W4sDiw7bB2YjHs1QbTXFBCaLtNLzwKWOVaCySsU+RwcBysYGph+aRxMQ4bGZtsFndM6f2g v2vpndZDnZZ70hUdazpLgisv37K96WW3eHsxoOZR0e+6jHSKxOjxG7EdyuE5qz/kYyVVpV6Cw Q8nCkbWUSS28Frd5nt+UtjU0AeobE2t4otTdwY5DC/hZOLCT8kGOWxkfJJkXXc51yA4Mg4f+d BPqFvlkjVhXIqKVXXY0bfMgNDuZyC1SGa3vWE8XonczKVf2XtBC3/N2dV51C3XHLW/wzSmd38 9SWQLA==;
Received: from mailm113.d.ethz.ch (2001:67c:10ec:5602::25) by mailg110.ethz.ch (2001:67c:10ec:5605::21) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.34; Wed, 8 Nov 2023 16:38:19 +0100
Received: from mailm213.d.ethz.ch (2001:67c:10ec:5603::27) by mailm113.d.ethz.ch (2001:67c:10ec:5602::25) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.34; Wed, 8 Nov 2023 16:38:27 +0100
Received: from mailm213.d.ethz.ch ([fe80::48e5:b9c:79eb:9d16]) by mailm213.d.ethz.ch ([fe80::48e5:b9c:79eb:9d16%4]) with mapi id 15.01.2507.034; Wed, 8 Nov 2023 16:38:27 +0100
From: Liu Si <si.liu@inf.ethz.ch>
To: "Salz, Rich" <rsalz@akamai.com>
CC: UFMRG IRTF <ufmrg@irtf.org>
Thread-Topic: [Ufmrg] Follow-up: HTTP/2 Rapid Reset & Formal Analysis
Thread-Index: AQHaEkmSjRUYMVjkGUqngHVc7l3P27Bwa5IAgABFOQD//80MAA==
Date: Wed, 08 Nov 2023 15:38:27 +0000
Message-ID: <0B6D2318-5FF9-41E2-87B0-69A9937373F1@inf.ethz.ch>
References: <AM9PR02MB70277E088A746E8424A0BC74ABA8A@AM9PR02MB7027.eurprd02.prod.outlook.com> <AD373208-B507-4E18-A7BA-E9A0A3AC1A1E@inf.ethz.ch> <719D3A46-A2C6-460E-8E22-7B4A094F6036@akamai.com>
In-Reply-To: <719D3A46-A2C6-460E-8E22-7B4A094F6036@akamai.com>
Accept-Language: en-US, de-CH
Content-Language: en-US
X-MS-Has-Attach: yes
X-MS-TNEF-Correlator:
x-originating-ip: [31.164.78.160]
Content-Type: multipart/related; boundary="_004_0B6D23185FF941E287B069A9937373F1infethzch_"; type="multipart/alternative"
MIME-Version: 1.0
X-DKIM-Signer: DkimX (v3.20.320)
Archived-At: <https://mailarchive.ietf.org/arch/msg/ufmrg/83bfChctJqLbL_NBY_xTOBZ5tOM>
Subject: Re: [Ufmrg] Follow-up: HTTP/2 Rapid Reset & Formal Analysis
X-BeenThere: ufmrg@irtf.org
X-Mailman-Version: 2.1.39
Precedence: list
List-Id: Usable Formal Methods Research Group <ufmrg.irtf.org>
List-Unsubscribe: <https://mailman.irtf.org/mailman/options/ufmrg>, <mailto:ufmrg-request@irtf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/ufmrg/>
List-Post: <mailto:ufmrg@irtf.org>
List-Help: <mailto:ufmrg-request@irtf.org?subject=help>
List-Subscribe: <https://mailman.irtf.org/mailman/listinfo/ufmrg>, <mailto:ufmrg-request@irtf.org?subject=subscribe>
X-List-Received-Date: Wed, 08 Nov 2023 15:38:36 -0000

Thanks for your interest! I would recommend checking out our presentation first (we tried hard to make it interpretable by the wide audience ;) I will then flush with more details… Meanwhile, plz let me know if any specific questions.

Cheers,
Si Liu

<https://www.youtube.com/watch?v=vZladVqGFCM>
[maxresdefault.jpg]
A Formal Framework for End-to-End DNS Resolution (SIGCOMM'23 S15)<https://www.youtube.com/watch?v=vZladVqGFCM>
youtube.com<https://www.youtube.com/watch?v=vZladVqGFCM>




On 8 Nov 2023, at 15:40, Salz, Rich <rsalz@akamai.com> wrote:

1. Formalizing the semantics of DNS resolution. Along the way, we’ve identified ambiguities and underspecificaiton in the RFCs.
2. Discovering new DoS vulnerabilities in DNS including multiple attacks that can achieve large amplification effects.

I would be happy to share more if someone finds it interesting. I hope this helps anyway.

Yes, please!

v2.23.0 | Report a Bug | By Email