Return-Path: <bluedognull@gmail.com>
X-Original-To: seat@mail2.ietf.org
Delivered-To: seat@mail2.ietf.org
Received: from localhost (localhost [127.0.0.1])
	by mail2.ietf.org (Postfix) with ESMTP id 8876B126EA76E
	for <seat@mail2.ietf.org>; Sun,  9 Aug 2026 19:59:07 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=ietf.org; s=ietf1;
	t=1786330747; bh=pgrfermLzm5RWcBlRgrd+r+cDLV3wC90BEUOMdSm0Aw=;
	h=References:In-Reply-To:From:Date:Subject:To:Cc;
	b=c/1H2mxXKMZY9D53aKj9GoqSazb8URDrcwXvea3x2ujIrpxQGfMtSkB18vSct5tQw
	 tYmuR0pEpAPCapFQpAJtqDHjq9VoOzuD9bPjlKMkB1s5Ms8FTDIjbS+rVuACKl0qcU
	 RRrL0kEp6FPizzuPUml4bzvi8CoMCh+Z8F70gnbo=
X-Virus-Scanned: amavisd-new at ietf.org
X-Spam-Flag: NO
X-Spam-Score: -2.099
X-Spam-Level: 
X-Spam-Status: No, score=-2.099 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,
	RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001]
	autolearn=ham autolearn_force=no
Authentication-Results: mail2.ietf.org (amavisd-new); dkim=pass (2048-bit key)
	header.d=gmail.com
Received: from mail2.ietf.org ([166.84.6.31])
	by localhost (mail2.ietf.org [127.0.0.1]) (amavisd-new, port 10024)
	with ESMTP id n90TqmT9z7qw for <seat@mail2.ietf.org>;
	Sun,  9 Aug 2026 19:59:06 -0700 (PDT)
Received: from mail-qt1-x830.google.com (mail-qt1-x830.google.com
 [IPv6:2607:f8b0:4864:20::830])
	(using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits)
	 key-exchange X25519 server-signature ECDSA (P-256) server-digest SHA256)
	(No client certificate requested)
	by mail2.ietf.org (Postfix) with ESMTPS id DD540126EA769
	for <seat@ietf.org>; Sun,  9 Aug 2026 19:59:06 -0700 (PDT)
Received: by mail-qt1-x830.google.com with SMTP id
 d75a77b69052e-51bfe810293so5434431cf.1
        for <seat@ietf.org>; Sun, 09 Aug 2026 19:59:06 -0700 (PDT)
ARC-Seal: i=1; a=rsa-sha256; t=1786330746; cv=none;
        d=google.com; s=arc-20260327;
        b=i2RDpJvj+wa1FW6+ZsGOIW6qTXfDB6hAf1oSK2Um0NGw2OLyEzITlJ2/MJ7bW+NjoP
         Nf6tl2Zk7PzL9kbv4W25pHcF7IMqAm8BXAw0HNxi+wAlFTnuR2+/T8SKB3jfsHd3bnzc
         QjiUyy7DA0zATB7oy7mvMq4KjKQ7HmwuUC53aVmGcEgVfZjKqnNTX9303An2MYgvQ7+C
         F+IoOhFy+4/aSPCcaTDhpZeYv3TOfn7TpeFd62thckxJJqcb5JCO+Ih+sfQ/38y7ts+m
         Y81aB9LXSBUC9c3LmTWKRHiQJlDcqokZRsbnoou7wOygeM4mFOxCmMlb1RLs12kVmH89
         h9Dw==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com;
 s=arc-20260327;
        h=cc:to:subject:message-id:date:from:in-reply-to:references
         :mime-version:dkim-signature;
        bh=pgrfermLzm5RWcBlRgrd+r+cDLV3wC90BEUOMdSm0Aw=;
        fh=0AHGeJ4zshxrNM6tbwluuisf/6Ho9byhYLuOPqJdfFk=;
        b=CyLhmN3X8xA1B/oK5unhw4tm60ki3FOgipalb/94d6fczhICo1fbZasbInaG5DQVvy
         2i5jqvl5LGY5+hKmH8kPsLD6aKD+t1PQZEufHDxooqbPgDGn8MgWGbC0y21AWvvlageu
         Wb37neRuPTXPS160nHZHTqcENcnOOWNedJEkhitydmFx661UN2EuTnzwqJhbn9kH4bIc
         pzZnoPEvBwIVjXhB02LsbKG/PJ/HRXgQ+rt2LvauyTfmh15JoIKgXVVKuEZBWNUZc1U/
         1uvKFaEqwieSJGJwHtqnmp+TrFGFCSE6KztdNwUERD7HcL4ygDFXbID5778e4iUksr3L
         yKvw==;
        darn=ietf.org
ARC-Authentication-Results: i=1; mx.google.com; arc=none
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20251104; t=1786330746; x=1786935546; darn=ietf.org;
        h=content-type:cc:to:subject:message-id:date:from:in-reply-to
         :references:mime-version:from:to:cc:subject:date:message-id:reply-to
         :content-type;
        bh=pgrfermLzm5RWcBlRgrd+r+cDLV3wC90BEUOMdSm0Aw=;
        b=IoKHy6yWavZ8MxO7j98CeRoIccE6XImAVh+0E4nrT/2u9FEf26E7qcS/omCWqwAkLI
         kYsUubqtl9TAiShxlpVQujT8mlWoPvDsOyqhVhT6gTmDOL6IxZgF82MLAVuzvtXL5RNO
         4m+seOu8J/vPbx5ZguSjs2EOZzAWmmrQ+OiWrbtVO8y3wRUu59sFSHnaJ7JHSC08Kk9s
         7Z1r2Issu9pc/o97SLDy3intkCVXKd5mv96A8YvrOK6COArrGz5s0HnZuZ2G3z6kWQwF
         CQKBKxsP1fGhKqXp2D+TQdKCuLm81Q5nXVgvKPbfcceYLebYGYiT1MVM9m60fxRWhrEK
         Jmpw==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20251104; t=1786330746; x=1786935546;
        h=content-type:cc:to:subject:message-id:date:from:in-reply-to
         :references:mime-version:x-gm-gg:x-gm-message-state:from:to:cc
         :subject:date:message-id:reply-to:content-type;
        bh=pgrfermLzm5RWcBlRgrd+r+cDLV3wC90BEUOMdSm0Aw=;
        b=QeGKUeM6/bhpeislVwD83wfesaf/tdloEbKBvd6XMc2KPTyxeExOfLzNff5t2MG0a2
         c5KY44k+SATnyEPW3+ga2Rx7rEWyGkTuMVTvqzpg0HiEljQjZYqjlAPOS54tbKpZRy74
         6uaS5jQvBUNjFaeBrZJvKuvcZhMWYzT7///8wF2jYqdAogMFSZaZcGgEyRVgxMkUl3xh
         myZM3RSuCAb1zGPRtbLg5YwjMEiPCf3A2UI8sX3Vy9a71ZFlGY7TNi5vqFFGu5r5U5Ry
         vGwuOoealryH2y2UGDEbsZvDkB1nhy6dP7/9tcJv1pIht+66NEaYavag6FCo40uCWqLs
         aZag==
X-Gm-Message-State: AOJu0YyLI0QlEWjJvCN1hQQoRDCP1rum1G4/vZJp8JsANIySYi9MGBOV
	oatQQspmJ++Vv9fZxAiDFn+/mgr5tK/Ss6RXeqnRz9o9gx9b4kwoaeV18lyw7w6I9xNpf6FmF8W
	TMLI+HWLRxUcVAU17GMjpAFUM+yzJ9UU=
X-Gm-Gg: AR+sD11uydez5KIh9O4QL86XHEvYjrFCQXyq8WnFyI/ewBIt68w/yErqdOCYNLlp2i4
	MnwFWUvCkgidc9Ho/PU2gW+sqq9wGGkzib3dVSQhMwPrurZYPmpACJhPUh50fFOz69ytNCwssvA
	MP3RDkMiFmpNu4eg57lQHmzkapgLWOp4FpyGftWR4ewhXv5ZhKixYKuFxYtP48R7XHkCRkBRv+M
	FRsMYzEtq97O5Kh+ZDnm6LM1pT3bSAJ4gToErKXMYTaxx1uX4esRQfxlr5KbC+bQ0Yp4bMwkLON
	59hMSr+vkgP58/TWq4jdCZ1QjmZsheYQqMn3JXJG4B+uyTbqA+9fx6MUCRvEpp3IFVS64jTrHA=
	=
X-Received: by 2002:a05:622a:2b49:b0:527:6d4a:1970 with SMTP id
 d75a77b69052e-52d20a7bc1amr221042991cf.38.1786330745722; Sun, 09 Aug 2026
 19:59:05 -0700 (PDT)
MIME-Version: 1.0
References: 
 <178592625332.1174.15715227575457159982@dt-datatracker-54dc84885d-8d5gh>
 <VI0PR07MB11371696F052D3CC97C2DBBB5ABD32@VI0PR07MB11371.eurprd07.prod.outlook.com>
 <CAFpG3gcTVg0DJWb28E25EnH1CjUxe_y8T2HrKFFaCp2ouAPHpQ@mail.gmail.com>
 <f477291c-970c-47be-9692-b217ee1c204e@tu-dresden.de>
 <CAFpG3gfR4RxVNrO655aU_eYDnbm00OFixFuGqSvUkgn1aBu-Yw@mail.gmail.com>
 <VI0PR08MB115658E2E506025EA0864F8D18AD22@VI0PR08MB11565.eurprd08.prod.outlook.com>
 <CAK08nYZKVXUrgQ+e_nGaMEGF05BJ7bXTkxV2jba-uw=zfXnNVw@mail.gmail.com>
 <CAHxYnaOE-97sw941TvQc=MO_ygqVsdOxmk3Si6QVby8RfWJRXg@mail.gmail.com>
 <CAHxYnaNhHLG-1jkmqmtdjOeO5cx07AqyyesaD9PKdx1p8LYqJQ@mail.gmail.com>
 <ea848091-37e8-421e-af9d-22a624fd36a7@tu-dresden.de>
 <4d22aeeb-aac6-4d47-b8df-c2243b2df44f@tu-dresden.de>
 <CAK08nYZyPNEvU6ECEJ98iG+1J_MmsROk_-3mw88fNYMHJvXTXw@mail.gmail.com>
 <CAHxYnaOF18cQ2UchgRbn9k7oHuJ5hmuv6aQ5DNB-p-RmUHSdEw@mail.gmail.com>
In-Reply-To: 
 <CAHxYnaOF18cQ2UchgRbn9k7oHuJ5hmuv6aQ5DNB-p-RmUHSdEw@mail.gmail.com>
From: Songbo Bu <bluedognull@gmail.com>
Date: Mon, 10 Aug 2026 10:58:52 +0800
X-Gm-Features: AUfX_mz8wMQx4N2Dl6MjPzLoJ9dmkTYLFG6xyKE97COcCPhLdwmutPfnoOA6kXo
Message-ID: 
 <CAK08nYYYVWKH0dAeS=Gi-MYr1R3_eCg99==Xx3ufmaBxrkdEjw@mail.gmail.com>
To: nathanritz@gmail.com, muhammad_usama.sardar@tu-dresden.de
Content-Type: text/plain; charset="UTF-8"
Message-ID-Hash: ZMDQ75J3GVV4NNXXUCQXINVXWYHD6DUR
X-Message-ID-Hash: ZMDQ75J3GVV4NNXXUCQXINVXWYHD6DUR
X-MailFrom: bluedognull@gmail.com
X-Mailman-Rule-Misses: dmarc-mitigation; no-senders; approved; emergency;
 loop; banned-address; member-moderation; nonmember-moderation; administrivia;
 implicit-dest; max-recipients; max-size; news-moderation; no-subject;
 digests; suspicious-header
CC: seat@ietf.org
X-Mailman-Version: 3.3.9rc6
Precedence: list
Subject: =?utf-8?q?=5BSeat=5D_Re=3A_Regarding_symbolic_analysis_of_draft-fossati-seat?=
	=?utf-8?q?-early-attestation-06?=
List-Id: "Secure Evidence and Attestation Transport (SEAT) WG" <seat.ietf.org>
Archived-At: 
 <https://mailarchive.ietf.org/arch/msg/seat/UG7yE_klmRSxNy2HX6fzuFonDjM>
List-Archive: <https://mailarchive.ietf.org/arch/browse/seat>
List-Help: <mailto:seat-request@ietf.org?subject=help>
List-Owner: <mailto:seat-owner@ietf.org>
List-Post: <mailto:seat@ietf.org>
List-Subscribe: <mailto:seat-join@ietf.org>
List-Unsubscribe: <mailto:seat-leave@ietf.org>

Nathanael,

Thank you for the answers. I feel like some questions were not
narrowly answered. Please answer as narrowly as possible.

Happy that my email was helpful in fixing your fundamental
misunderstanding of draft-fossati-tls-attestation-06 vs.
draft-fossati-seat-early-attestation-06. Apart from the README,
binder7 in Table 2 in the intra-handshake.fail paper clearly cites
[64] which is draft-fossati-tls-attestation-06. So could you please
narrowly answer my question: how did you conclude your statements
"draft-fossati-seat-early-attestation-06 was applied to binder 7" and
"README was updated to suggest that
draft-fossati-seat-early-attestation-06 is represented by what the
page labels as "binder 7""? If you can explain your rationale, maybe I
can help fix your remaining misunderstanding.

To clarify, I asked narrowly about your potential refusal of the
vulnerability CVE-2026-33697 because your position is unclear to me.
Thanks for pointing to the new draft version of
draft-intra-handshake-fail; paper's repo is pointing to older version
3. I see that ERISA has acknowledged it too by creating
EUVD-2026-16488
(https://www.ietf.org/archive/id/draft-intra-handshake-fail-04.html#section-3).
The section is an undeniable public evidence of the CVE. Clarifying
your position and rationale is helpful; it's fine to be the only one
refusing it. This will help me understand your previous email that I
was replying to.

My understanding is that `selfsign` is self-signed certificate for the
key generated within the TEE. Evidence cannot be transmitted as it is
in TLS 1.3, so a self-signed certificate is generated. Could you
clarify what sense it would make to check the self-signed certificate
at client-side? What needs to be checked before gate release is the
signature using AK and that is correctly there in my reading
(https://github.com/muhammad-usama-sardar/intra-handshake.fail/blob/819bb7f20ac458b27c9be2c91cce1e72b8b5f4f7/binder1/tls-lib-simple.pvl#L682).

I don't think it is helpful to downplay someone's work by calling it
"niaeve binders". Do you really believe that tall companies like Meta
are using what you call as "niaeve binders"? According to section 8 of
intra-handshake.fail paper, that has gone through "extensive security
review" (https://github.com/trailofbits/publications/blob/master/reviews/2025-08-meta-whatsapp-privateprocessing-securityreview.pdf)
by a cybersecurity firm "Trail of Bits". In my search, Trail of Bits
appears to be a very reputed firm. Do you really believe that a very
reputed cybersecurity firm missed "niaeve binders" in their "extensive
security review"?

Best,
Songbo

