IETF Logo Mail Archive

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

Felix Linker <linkerfelix@gmail.com> Wed, 08 November 2023 13:43 UTC

Return-Path: <linkerfelix@gmail.com>
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 8A49CC151093 for <ufmrg@ietfa.amsl.com>; Wed, 8 Nov 2023 05:43:43 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.104
X-Spam-Level:
X-Spam-Status: No, score=-2.104 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, FREEMAIL_FROM=0.001, 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=gmail.com
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 8-MsmJsaz1qA for <ufmrg@ietfa.amsl.com>; Wed, 8 Nov 2023 05:43:39 -0800 (PST)
Received: from mail-ej1-x62e.google.com (mail-ej1-x62e.google.com [IPv6:2a00:1450:4864:20::62e]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 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 B5262C151992 for <ufmrg@irtf.org>; Wed, 8 Nov 2023 05:43:39 -0800 (PST)
Received: by mail-ej1-x62e.google.com with SMTP id a640c23a62f3a-9c603e2354fso168410866b.1 for <ufmrg@irtf.org>; Wed, 08 Nov 2023 05:43:39 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1699451018; x=1700055818; darn=irtf.org; h=mime-version:content-language:accept-language:message-id:date :thread-index:thread-topic:subject:cc:to:from:from:to:cc:subject :date:message-id:reply-to; bh=ts9up5i3Ji4pxCvJsin4Xjoujh7p2vlWd6HkqjVN2nw=; b=jNf9aAGM7D8g6iZt7QRlwlCNZtIpZMhjHNsQja4zcoKmGPtCIyzNQHpfhEni+ai1Zh KE8JKANng6mOogy+A6LDqlhG3mDoxan4N30dOPyXBQKFdSqlwOy9mZ8WR7GqJ3FpDD1m +ikEwhFkFzrEbgtrLn2Og8yYIqWuJYnmhzWkl7auyRXwEkK8mzQB68yrlV35hUrb8f/e H3klw63ynneTY+O0qKW4swzIx4/ZkNRwU06jFotPboSV0/MMPfTbv8daAFNwKmKY3d2L 51ESAKvayxslmZOQ3j7OdPTIBs2dpEGnD/rVjNKkYqEgyZqLbPLLCWqVbZq7uAf7NFrB 3b5w==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1699451018; x=1700055818; h=mime-version:content-language:accept-language:message-id:date :thread-index:thread-topic:subject:cc:to:from:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=ts9up5i3Ji4pxCvJsin4Xjoujh7p2vlWd6HkqjVN2nw=; b=U6Y5872bnpmEd4ynQ4luWnm5jjpAZyxMu16TQyO3H7OEuIlR/00BQ8mM1KD5u3eMxc ABFS3bozYxBghVX3dnqmDe6CMVF8/l1vd4oFAS+H83cZlNjQR8uyFHxWI3bOtTDfSx+z yErQQNPzkQxT1O3bno8n5dYJlVmTcKsSAbw1BvLgX4PS3Bbz3N0k6AZHXWKZZTh3QJaa mDpXgXRMdHCubv596bx3QwrKwES7LGsrNDidyeWtv52tT/3DTcpcrzbuDcp0JcuDXlWw NaO2acAdGxd9/X15k7M03X4EXYATDb072TYaXvh4riIlMoEXUrUcKStL06WQx24U3PCD RJpA==
X-Gm-Message-State: AOJu0Yz/DJ0uwmOkRhJajlClwElTyM7pxEysMYi9aRxb9dnbCwELH1R6 4uOguM32nqaErGoN5S7y9EJ6oq1t0kqCPQ==
X-Google-Smtp-Source: AGHT+IHzu30qXbt+7cfpAVm2r+8uYgt4ORkyVYuvwnMS3oKuJL5pxrumIZz6VG7ZZArs3XyJG266WA==
X-Received: by 2002:a17:907:7fa5:b0:9a5:9f3c:961e with SMTP id qk37-20020a1709077fa500b009a59f3c961emr2029124ejc.18.1699451017604; Wed, 08 Nov 2023 05:43:37 -0800 (PST)
Received: from AM9PR02MB7027.eurprd02.prod.outlook.com ([2603:1026:c03:6051::5]) by smtp.gmail.com with ESMTPSA id lf18-20020a170906ae5200b0098d2d219649sm1075157ejb.174.2023.11.08.05.43.37 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 08 Nov 2023 05:43:37 -0800 (PST)
From: Felix Linker <linkerfelix@gmail.com>
To: UFMRG IRTF <ufmrg@irtf.org>
CC: "lucaspardue.24.7@gmail.com" <lucaspardue.24.7@gmail.com>
Thread-Topic: Follow-up: HTTP/2 Rapid Reset & Formal Analysis
Thread-Index: AQHaEkmSjRUYMVjkGUqngHVc7l3P2w==
X-MS-Exchange-MessageSentRepresentingType: 1
Date: Wed, 08 Nov 2023 13:43:36 +0000
Message-ID: <AM9PR02MB70277E088A746E8424A0BC74ABA8A@AM9PR02MB7027.eurprd02.prod.outlook.com>
Accept-Language: de-DE, en-US
Content-Language: en-US
X-MS-Has-Attach:
X-MS-Exchange-Organization-SCL: -1
X-MS-TNEF-Correlator:
X-MS-Exchange-Organization-RecordReviewCfmType: 0
Content-Type: multipart/alternative; boundary="_000_AM9PR02MB70277E088A746E8424A0BC74ABA8AAM9PR02MB7027eurp_"
MIME-Version: 1.0
Archived-At: <https://mailarchive.ietf.org/arch/msg/ufmrg/vH9MfjylJPbBsD5xomPlxnGJclY>
Subject: [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 13:46:52 -0000

Hi all,

I wanted to follow-up on Lucas Pardue’s question whether formal methods can help with DDoS attack vectors. I knew that I had attended a talk that seemed related earlier this year but wasn’t quick enough in digging up the reference to step up to the microphone.

But better late than never! This paper seems related to Lucas’s presentation: https://www.usenix.org/conference/nsdi23/presentation/tahmasbi

Notably, the authors model buffers/queues. The link above also provides a presentation recording (15min) and the talk’s slides.

@Lucas: I remember being intrigued by this work, so happy to discuss this topic more should you have follow-up questions.

I hope this helps,
Felix

v2.23.0 | Report a Bug | By Email