Return-Path: <smyshsv@gmail.com>
X-Original-To: cfrg@mail2.ietf.org
Delivered-To: cfrg@mail2.ietf.org
Received: from localhost (localhost [127.0.0.1])
	by mail2.ietf.org (Postfix) with ESMTP id 6273F9B21CA6
	for <cfrg@mail2.ietf.org>; Mon, 15 Dec 2025 23:08:00 -0800 (PST)
X-Virus-Scanned: amavisd-new at ietf.org
X-Spam-Flag: NO
X-Spam-Score: -2.098
X-Spam-Level: 
X-Spam-Status: No, score=-2.098 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_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001,
	SPF_PASS=-0.001] autolearn=unavailable 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 5nYnjsxDZOz1 for <cfrg@mail2.ietf.org>;
	Mon, 15 Dec 2025 23:07:58 -0800 (PST)
Received: from mail-yx1-xb12f.google.com (mail-yx1-xb12f.google.com
 [IPv6:2607:f8b0:4864:20::b12f])
	(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 5160B9B21C8F
	for <cfrg@irtf.org>; Mon, 15 Dec 2025 23:07:58 -0800 (PST)
Received: by mail-yx1-xb12f.google.com with SMTP id
 956f58d0204a3-644798bb299so3366375d50.3
        for <cfrg@irtf.org>; Mon, 15 Dec 2025 23:07:58 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20230601; t=1765868878; x=1766473678; darn=irtf.org;
        h=cc:to:subject:message-id:date:from:in-reply-to:references
         :mime-version:from:to:cc:subject:date:message-id:reply-to;
        bh=mApC4lzlcZQ5RJO0N68A28pBQQt1IddPa7mJH81QuAs=;
        b=CsNQHiQB5e20Kn38qoJwN/Os5YmaWhTvVaOxBrAX8bWstxZw3AE7M0wCaghwdzH0jX
         binTUWtOiC1sJlVlmnEEdftan41BLIA+LpCOfinZe3ITaveK5aXOd3B9qjXJXCS1Bih1
         E5xyIquX9GhD/oqdFmdj3BgvQ07tinZTxJ2w1+yILhRZm1FhP+bO0VJhSTYZwVFJVeY/
         vl+qk01UiedMRMSHMDXbuZylL5yR2+AFZC4qgBevx8/iGV2OOyEl4KdLUgMA5+c3T+p9
         FbD+YEXwPpyuXDBIF9x2leZGVNLiWB/JuNTVYyHdlR5kvxWVrrl6htdmyuNChhAGuxJb
         vr6g==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20230601; t=1765868878; x=1766473678;
        h=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;
        bh=mApC4lzlcZQ5RJO0N68A28pBQQt1IddPa7mJH81QuAs=;
        b=h8yeLWCavDWM9DIa9hf6w4JHArVzsSL4uBDiYyOWfZ0pSOVttrpOfXfAMNMyIwXJkJ
         7CQvsEWnDHDNKUgC/CsfsxKP8UdBeNmD+nQ9maVz4lk8nEu8/1Wucj91yctN5xFtDw4F
         jxz0x4exgau45gcmqpMgEsmAGkt20+lnZCkQ6x0VTQ6VIu35Zbd1aMp2jyvguWvEgHTY
         Gx5kzp2/ciJG2IJfDlKvRgGayAK0zxoVk2wFqOCUcg0/lVni4aScPGRd5pZocSvvLCj9
         8bNhmFdEfg9EWZQw3kp72Js/WKZ9KNuoZvP4cFfwX7d8T0mgyzOXLeYLZeoSOvmWChSs
         +5UA==
X-Forwarded-Encrypted: i=1;
 AJvYcCWs++GJ5LJoJ/hmoEpy/kuxX7+vkC+aDEMuqlAfYx62VvPtA9uB1JoS25FxK+Fofa3WYIJS@irtf.org
X-Gm-Message-State: AOJu0Yztv/PhcDAxh0ZXGBPvl7H4CPiFimmW9milB6/HSMdjZzftlgPK
	WNVYDUxJLaq+yBsPnChMzvzyiBgG94Ow4PeOIALKzteOIDzJhoYMXlLcHDF/0+tY835qrPrQFgZ
	EFSWVUTaFA3+OEjfgybwDK22GHVMyX9k=
X-Gm-Gg: AY/fxX7aGxjBuzNy5JG+x7UkXne/p+EfUxb4v0uyKfK8pFkljGGJmwScrX7MQ4lSn89
	9/6+a0VUBU223xO+urhaYCFmTV7ROVCOJMz1ocgcHI3HrOB4MRjcHqCq8PaC3t1mXaXQQ+NZB4r
	Q/+hVmszdaPdJHhSxUCgXoDfvdmkvLYxVHAzVsjUzK+P6HR/IQPYU7tzfnrdaYdIazb6lT6wwTO
	uxlR6bMkTStGREpxTHh59ywknZ2Dfw+jPYwO82k4d5YwKu9OoD3gYegsu+rAxOHYII8TgPU0mhc
	ACqb
X-Google-Smtp-Source: 
 AGHT+IHoWocT8N5zNuXV16bT9W1FkkNs8fb+U8Af9LWmCOlY3k5aq6NSuHJJrtHP3StHmVhuQvccKAzR4qrJd3Q/QXw=
X-Received: by 2002:a05:690e:1345:b0:644:75d7:5f48 with SMTP id
 956f58d0204a3-645555cddddmr10001921d50.12.1765868877648; Mon, 15 Dec 2025
 23:07:57 -0800 (PST)
MIME-Version: 1.0
References: 
 <CAMr0u6nQXQNs+BHZotaLeYZLAxDACMitFJYbZYN+_ZxadBA-Fg@mail.gmail.com>
 <AS2PR05MB10246097F5A8501D08C43E20483A7A@AS2PR05MB10246.eurprd05.prod.outlook.com>
 <AMBPR01MB12579F739A40633559C561C41D6A7A@AMBPR01MB12579.eurprd01.prod.exchangelabs.com>
 <1e939670-7fe7-46db-b610-3e45a34f965f@web.de>
 <AMBPR01MB12579DD38C86F6BB555945EEED6A7A@AMBPR01MB12579.eurprd01.prod.exchangelabs.com>
 <AS2PR05MB10246E62C2C1ED0D4543FA69B83A2A@AS2PR05MB10246.eurprd05.prod.outlook.com>
 <AMBPR01MB125799D218EFF32419EDA783BD6A2A@AMBPR01MB12579.eurprd01.prod.exchangelabs.com>
 <trinity-fd1c9b47-1f3c-40f7-9450-903a03d7d94b-1765214793059@trinity-msg-rest-webde-webde-live-589d84f6c9-8g6dj>
 <AMBPR01MB12579078DCB1FCEA4E2E65704D6A0A@AMBPR01MB12579.eurprd01.prod.exchangelabs.com>
 <157382db-35bc-41c0-86ac-2da708f88c11@gmail.com>
 <AMBPR01MB125794554F338C0600E8E8B5DD6A1A@AMBPR01MB12579.eurprd01.prod.exchangelabs.com>
 <e998dbed-52c0-4d17-ae1b-165f7f40e519@gmail.com>
 <GV2PR01MB125813C9A5DD93F880BE7C3D1D6A1A@GV2PR01MB12581.eurprd01.prod.exchangelabs.com>
 <trinity-e6a1fe70-d428-46d3-aeb2-d20cc2bc4fd7-1765528245803@trinity-msg-rest-webde-webde-live-6769db957f-qprs2>
 <AMBPR01MB125797FDCA1CDEB3F9430C918D6AEA@AMBPR01MB12579.eurprd01.prod.exchangelabs.com>
 <trinity-42c25938-c733-4f09-83f5-84c26039f597-1765556180224@trinity-msg-rest-webde-webde-live-6769db957f-pwsd2>
 <CAMr0u6kw-wkMB+uBhZNiC6DPU_Nf8+RfDTH5BxHRUnbDh_37_g@mail.gmail.com>
 <CAKa44wLZgg-xm6+g6cCyyD2TWoXExnkJ989G-6crxo7LoeHjJA@mail.gmail.com>
In-Reply-To: 
 <CAKa44wLZgg-xm6+g6cCyyD2TWoXExnkJ989G-6crxo7LoeHjJA@mail.gmail.com>
From: "Stanislav V. Smyshlyaev" <smyshsv@gmail.com>
Date: Tue, 16 Dec 2025 10:07:46 +0300
X-Gm-Features: AQt7F2pizQ-hdmzqeQmOTR0Nr1Nsoewjou13OsSUnjMjTnhT7qaWy_dlN047LlU
Message-ID: 
 <CAMr0u6m=vmwDEWXYMVEecJed36yD88rCkpeJoT_Q0gWXRb=3Gw@mail.gmail.com>
To: Julia Hesse <juliahesse2@gmail.com>
Content-Type: multipart/alternative; boundary="0000000000002c16f006460c63ba"
Message-ID-Hash: AOJQRCRTGRS5YISGUGCOMDA7EIHMTUJU
X-Message-ID-Hash: AOJQRCRTGRS5YISGUGCOMDA7EIHMTUJU
X-MailFrom: smyshsv@gmail.com
X-Mailman-Rule-Misses: dmarc-mitigation; no-senders; approved; emergency;
 loop; banned-address; member-moderation; header-match-cfrg.irtf.org-0;
 header-match-cfrg.irtf.org-1; nonmember-moderation; administrivia;
 implicit-dest; max-recipients; max-size; news-moderation; no-subject;
 digests; suspicious-header
CC: =?UTF-8?B?QmrDtnJuIEhhYXNl?= <Bjoern.M.Haase=40web.de@dmarc.ietf.org>,
 feng.hao=40warwick.ac.uk@dmarc.ietf.org, CFRG <cfrg@irtf.org>
X-Mailman-Version: 3.3.9rc6
Precedence: list
Subject: =?utf-8?q?=5BCFRG=5D_Re=3A_RGLC_on_draft-irtf-cfrg-cpace-15?=
List-Id: Crypto Forum Research Group <cfrg.irtf.org>
Archived-At: 
 <https://mailarchive.ietf.org/arch/msg/cfrg/fOn8dfl2JiKzCFr1NtMbEP8QFsw>
List-Archive: <https://mailarchive.ietf.org/arch/browse/cfrg>
List-Help: <mailto:cfrg-request@irtf.org?subject=help>
List-Owner: <mailto:cfrg-owner@irtf.org>
List-Post: <mailto:cfrg@irtf.org>
List-Subscribe: <mailto:cfrg-join@irtf.org>
List-Unsubscribe: <mailto:cfrg-leave@irtf.org>

--0000000000002c16f006460c63ba
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

Dear Julia,

Thank you so much for your reply and for your continuing efforts with this
document.

Best regards,
Stanislav (for chairs)

On Tue, Dec 16, 2025 at 10:00=E2=80=AFAM Julia Hesse <juliahesse2@gmail.com=
> wrote:

> Dear Stanislav,
>
> we're still planning to make changes based on Feng's comments. We're
> discussing off list among the authors to reach a consensus before writing=
 a
> summary to the list.
>
> Best,
> Julia
>
>
>
> Stanislav V. Smyshlyaev <smyshsv@gmail.com> schrieb am Di., 16. Dez.
> 2025, 06:45:
>
>> Dear Bjoern, Julia and Feng,
>>
>> Thank you for the discussion and the changes made in the document in
>> version -16.
>>
>> Feng, do you have any remaining concerns or can we consider your issues
>>  resolved?
>>
>> Regards,
>> Stanislav (for chairs)
>>
>>
>>
>> On Fri, Dec 12, 2025 at 7:17=E2=80=AFPM Bj=C3=B6rn Haase <Bjoern.M.Haase=
=3D
>> 40web.de@dmarc.ietf.org> wrote:
>>
>>> Dear Feng,
>>>
>>> I would be very unhappy if you leave this discussion in with bad
>>> feelings. This was not my intention. In case that you felt offended by =
me
>>> please accept my apologies. You have helped us.
>>>
>>> I think we have now come to the point.
>>>
>>> I now understand that we seem to have completely different
>>> understandings about what the concept of "identity" means and I now am
>>> convinced that we will find a solution where we can both agree on.
>>>
>>> In my understanding the term "identity" will be an information which is
>>> meaningfully characterizing a protocol partner and which also has some
>>> clearly defined and possibly crucially important semantic to the actual
>>> application using CPace outside of a concrete protocol run.
>>>
>>> I always understood that you would be aiming at ruling out application
>>> scenarios as unsuitable where party identifiers could not be meaningful=
ly
>>> defined in a way that is guaranteed to be unique and that you were
>>> mandating to always publish them in clear-text.
>>>
>>> Also for identity information which is semantically meaningful for an
>>> application that needs to be checked my aim was always to advocate for
>>> integrating it in the generator (respectively CI) whenever possible as =
then
>>> there is no risk for screwing up the possibly crucial verification ("Am=
 I
>>> really talking to the person I am expecting to talk with?") in the
>>> application code any more.
>>>
>>> What you are describing as a requirement "each device just needs to
>>> check that the two identifiers are different, so the two devices are
>>> distinguished during the key exchange session." seems to be a concept w=
hich
>>> takes over more or less the role of the sid field. I fully agree with y=
ou
>>> here. We don't need identities but we need uniqueness for protecting th=
e
>>> symmetric CPace for against what you call "impersonation attack" and we
>>> would have missed this without your help.
>>>
>>> Julia, Michel and me will be discussing the topic next week and I
>>> believe that mandating randomness for symmetric CPace =E2=80=93 if mean=
ingful
>>> identities are to be kept confidential or if not available or not relia=
bly
>>> unique=E2=80=93 is an excellent suggestion and I was about to suggest e=
xactly that
>>> to Julia (when hearing that this was also what was in her mind) and Mic=
hel.
>>>
>>> I whish you a nice weekend.
>>>
>>> Yours,
>>>
>>> Bj=C3=B6rn
>>> *Gesendet: *Freitag, 12. Dezember 2025 um 13:28
>>> *Von: *"Hao, Feng" <Feng.Hao=3D40warwick.ac.uk@dmarc.ietf.org>
>>> *An: *"Bj=C3=B6rn Haase" <Bjoern.M.Haase=3D40web.de@dmarc.ietf.org>, "
>>> juliahesse2@gmail.com" <juliahesse2@gmail.com>, "cfrg@irtf.org" <
>>> cfrg@irtf.org>
>>> *Betreff: *[CFRG] Re: RGLC on draft-irtf-cfrg-cpace-15
>>> Dear Bjorn,
>>>
>>> I notice that the protocol spec in 6.1 remains unchanged. Also, you
>>> don't seem to define exactly how the user identities and the transcript=
 are
>>> included in the key derivation function. This should be part of the
>>> protocol spec.
>>>
>>>
>>>    - I assume that such application scenarios are out of the scope that
>>>    you typically are considering.
>>>
>>>
>>> In a client-server mode where the client initiates the connection and
>>> the client and the server share exactly one password, generic identitie=
s
>>> such as "client" and "server" would suffice. In the peer-to-peer mode w=
here
>>> both devices can initiate the connection at the same time, even a rando=
m
>>> identifier for each device would work;  each device just needs to check
>>> that the two identifiers are different, so the two devices are
>>> distinguished during the key exchange session. All these are
>>> straightforward implementation details. Of course, in the most common
>>> cases, an entity needs to inform the other entity the identity so they =
know
>>> which shared password to use. All these can be captured by one unified
>>> spec, which involves the user identities in the key exchange flows and
>>> clear specification on how these identities are (or not) included in th=
e
>>> key derivation function.
>>>
>>> I feel what I raised was a simple, clear and easily addressable issue.
>>> But the discussions have turned out to be long and difficult. I think I
>>> should leave it here. Ultimately, it's the responsibility of the RFC
>>> authors to make sure the protocol spec is unambiguously clear and is
>>> complete.
>>>
>>> Regards,
>>> Feng
>>>
>>> ------------------------------
>>> *From:* Bj=C3=B6rn Haase <Bjoern.M.Haase=3D40web.de@dmarc.ietf.org>
>>> *Sent:* Friday, December 12, 2025 08:30
>>> *To:* Hao, Feng <Feng.Hao@warwick.ac.uk>; juliahesse2@gmail.com <
>>> juliahesse2@gmail.com>; cfrg@irtf.org <cfrg@irtf.org>
>>> *Subject:* Aw: [CFRG] Re: RGLC on draft-irtf-cfrg-cpace-15
>>>
>>> Dear Feng,
>>>
>>> thank you for the private mail discussion yesterday where I think that
>>> we established a common view. Also Michel and me had a discussion
>>> yesterday. I have just uploaded a new revision 16 and I think that the
>>> newly uploaded revision addresses your major concerns.
>>>
>>> We are now giving much more detailed guidance on use of "user"
>>> identities and mandate inclusion of user identities if an application
>>> relies on guarantees from CPace.
>>>
>>> We also have added the reference to your ISO-SPEKE paper and also added
>>> a statement that draws the attention to the reader that what is actuall=
y
>>> needed as "identity" may vary from what is intuitively expected.
>>>
>>> We still may have different views specifically regarding authentication
>>> of identity identifiers that are to be held confidential and may be
>>> available upon protocol start. Such settings may show up
>>> specifically in use-cases where out-of-band-channels exist such as in
>>> the password use case for PACE or when for instance identity informatio=
n is
>>> available by scanning QR codes provided for
>>> secure IoT onboarding on stickers of industrial devices. I assume that
>>> such application scenarios are out of the scope that you typically are
>>> considering.
>>>
>>> IMHO we need offer applications that need confidentially for identities
>>> on how to best use CPace in their setting.
>>>
>>> Also IMHO we shall allow and give best possible guidance to users for
>>> applications where identity strings are just not available or where
>>> identity checks can apply only in an unidirectional way, where in an
>>> applicatio a client may need to authenticate the server ID but the serv=
er
>>> shall be accepting any client knowing the password.
>>>
>>> I'd appreciate your feedback on the new revision 16.
>>>
>>> Yours,
>>>
>>> Bj=C3=B6rn
>>>
>>> *Gesendet: *Donnerstag, 11. Dezember 2025 um 17:43
>>> *Von: *"Hao, Feng" <Feng.Hao=3D40warwick.ac.uk@dmarc.ietf.org>
>>> *An: *"Julia Hesse" <juliahesse2@gmail.com>, "cfrg@irtf.org" <
>>> cfrg@irtf.org>
>>> *Betreff: *[CFRG] Re: RGLC on draft-irtf-cfrg-cpace-15
>>>
>>> Dear Julia,
>>>
>>>
>>>    - Thanks for the pointer. Maybe we are using different terminology -
>>>    to me, user identities are unique to a user/client app, and can be r=
eused
>>>    over several key exchanges. So they are not unique and they do not p=
rotect
>>>    against the unknown key share attack. Figure 4 in this reference als=
o adds
>>>    the transcript to the key derivation, which is unique as long as one=
 party
>>>    is honest. So maybe the situation can be summarized like this?
>>>
>>>
>>> You're correct that the user identities are unique to a user/client.
>>> However, when a user is engaged in parallel sessions, we need an extens=
ion
>>> of the identity to distinguish copies of self in multiple sessions. The
>>> solution we initially proposed in the 2014 paper uses the extended
>>> identities such as Alice, Alice-2 and so on if Alice is engaged in more
>>> than one key exchange session at the same time. That however requires A=
lice
>>> to keep states of the concurrent sessions. Hashing the user identity
>>> ("Alice") with the key exchange transcript is another way to distinguis=
h
>>> the parallel sessions and is easier to implement. So we settled on that=
 for
>>> the revision of SPEKE in ISO/IEC 11770-4. Your summary of the situation=
 is
>>> correct.
>>>
>>>
>>>    - Interestingly, we analyzed this here:
>>>    https://eprint.iacr.org/2024/234. That paper models UC PAKE without
>>>    session identifiers, so really password-only PAKE. In UC, both relay
>>>    attacks and unknown key share attacks are ruled out by the security =
notion,
>>>    and we can show CPace to achieve that. We put both party identifiers=
 and
>>>    transcript in the key derivation hash.
>>>
>>>
>>> Putting both parties' identities and transcript in the key derivation
>>> function is essentially what I proposed in my first email in this threa=
d.
>>> This is how it was done in ISO/IEC 11770-4. As I tried to explain, the =
user
>>> identity is a critical parameter which needs to be explicitly defined i=
n
>>> the spec. The revision of SPEKE in ISO/IEC 11770-4:2017 had an addition=
al
>>> consideration of maintaining the symmetry and the 1-round property as t=
he
>>> original SPEKE.
>>>
>>> Cheers,
>>> Feng
>>>
>>>
>>> ------------------------------
>>> *From:* Julia Hesse <juliahesse2@gmail.com> <juliahesse2@gmail.com>
>>> *Sent:* Wednesday, December 10, 2025 21:54
>>> *To:* cfrg@irtf.org <cfrg@irtf.org> <cfrg@irtf.org>
>>> *Subject:* [CFRG] Re: RGLC on draft-irtf-cfrg-cpace-15
>>>
>>> Dear Feng,
>>>
>>> thank you for looking into this and helping us improve the draft!
>>>
>>> I followed your pointer and read about the unknown key share attack in
>>> your '14 paper. This is quite interesting and I was not aware of it. Le=
t me
>>> summarize the attack, to see whether I understand correctly.
>>>
>>> - Alice wants to exchange a key with Bob, and she is using f(pw)^x
>>> - Mallory grabs her message and starts *another* exchange with Alice
>>> concurrently, where she produces f(pw)^y
>>> - Mallory crafts the response messages to Alice such that the resulting
>>> DH key will be f(pw)^xyz in *both* exchanges
>>> - Mallory can relay key confirmation messages between protocols such
>>> that Alice accepts both sessions, having computed the same key
>>>
>>> Mallory achieved all this without knowing Alice's password.
>>>
>>> At first sight, this attack seems to void two important PAKE security
>>> properties:
>>> - Whenever Alice starts a key exchange with another party who does not
>>> share her password, she should output a fresh random key
>>> - If key confirmation succeeds, Alice can be sure to share a password
>>> (and also a key) with the party she talked to
>>>
>>> It seems this attack is protected against in the UC version of CPace by
>>> the uniqueness of session identifiers - Alice would assign different
>>> session identifiers to both exchanges, and hence would not compute the =
same
>>> key and the confirmation step fails.
>>>
>>> There is two things that puzzle me, and I'd appreciate your thoughts.
>>> 1) How does the inclusion of party identifiers help in fending off the
>>> attack? In the above description, Mallory can just contact Alice "in th=
e
>>> name" of Bob, i.e., appending "Bob" to all his messages to Alice. So pa=
rty
>>> identifiers who are reused across key exchanges do not seem to help her=
e,
>>> neither in the final hash nor in the computation of the generator.
>>> 2) Why does the attack not show in the BPR security analysis in our
>>> CPace paper? Two options: either the model does not capture them, or th=
e
>>> proof is incorrect.
>>>
>>> I would like to understand this better before issuing any opinion on
>>> what to do in the draft.
>>>
>>> Best,
>>> Julia
>>>
>>> Am 10.12.2025 um 11:43 schrieb Hao, Feng:
>>>
>>> Hi Bjorn,
>>>
>>> I suggest you read the paper by Burton Kaliski on "An unknown key-share
>>> attack on the MQV key agreement protocol" (ACM TISS, 2001):
>>> https://dl.acm.org/doi/abs/10.1145/501978.501981
>>>
>>> This attack on MQV was well known and understood by the community. It
>>> works because the MQV spec as defined in the then standards does not
>>> explicitly include user identities in the key exchange process. The use=
r
>>> identities are only included in the explicit key confirmation process, =
but
>>> explicit key confirmation is optional.
>>>
>>> Menezes (co-author of MQV) later proposed to address this attack by
>>> explicitly include user identities in the key exchange and the key
>>> derivation function. See Section 2.2 of the paper "On the Importance of
>>> Public-Key Validation in the MQV and HMQV Key Agreement Protocols"
>>> (Menezes, Ustaoglu, 2006):
>>> https://link.springer.com/chapter/10.1007/11941378_11.
>>>
>>> The above is in the context of a public-key authenticated key exchange
>>> scheme, but the same problem and lesson apply to password-authenticated=
 key
>>> exchange.
>>>
>>> As pointed out earlier, the CPace spec in draft-15 reverts to SPEKE in
>>> 1996 (standardized in IEEE 1363.2, and then followed by ISO/IEC 11770-4=
),
>>> which is ambiguous in the definition of user identity and is known to
>>> suffer from the same kind of unknown key-share attack. This has already
>>> been acknowledged and fixed in ISO/IEC 11770-4 since 2017. You really n=
eed
>>> to have a closer look at how this is fixed there.
>>>
>>> Cheers,
>>> Feng
>>>
>>> ------------------------------
>>> *From:* Bj=C3=B6rn Haase <Bjoern.M.Haase@web.de> <Bjoern.M.Haase@web.de=
>
>>> *Sent:* Monday, December 08, 2025 17:26
>>> *To:* Hao, Feng <Feng.Hao@warwick.ac.uk> <Feng.Hao@warwick.ac.uk>;
>>> bjoern.haase=3D40endress.com@dmarc.ietf.org
>>> <bjoern.haase=3D40endress.com@dmarc.ietf.org>
>>> <bjoern.haase=3D40endress.com@dmarc.ietf.org>; bjoern.m.haase@web.de
>>> <Bjoern.M.Haase@web.de> <Bjoern.M.Haase@web.de>; cfrg@irtf.org
>>> <cfrg@irtf.org> <cfrg@irtf.org>
>>> *Subject:* Aw: RE: [CFRG] Re: RGLC on draft-irtf-cfrg-cpace-15
>>>
>>> Hello Feng,
>>>
>>> what we tell the end user regarding the security guarantees  in sectin =
3
>>> is :
>>> "A and B will produce the same ISK value if and only if both sides did
>>> initiate the   protocol using the same protocol inputs, specifically th=
e
>>> same PRS   and the same value for the optional input parameters CI, ADa=
,
>>> ADb and   sid that will be specified in section Section 3.1."
>>> With respect to this security guarantee there is nothing to fix.
>>>
>>> This clearly says: "if you are only using PRS and nothing else, the onl=
y
>>> thing that you can rely on is that the remote side also knows the same =
PRS."
>>>
>>> We moreover explicitly draw the attention of the reader to the
>>> consequences if no identity strings are added. So any reader of the
>>> specification is be well-informed.
>>>
>>> What we should not be doing is *patronizing* the end user.
>>>
>>> The adequate approach here is -- in my humble opinion -- to treat the
>>> reader of the specification not as an infant but as a responsible adult=
. An
>>> adult who should be given a component at hand being fit for the for the
>>> purpose and who should be empowered to make educated use of it.
>>>
>>> BTW this approach is nothing uncommon for standard documents. It's quit=
e
>>> common for standards to allow for options. E.g. IEC 61000-4-5 for
>>> industrial measurement appliances does not mandate integration of surge
>>> protection arrestors on all cable interfaces. But IEC61000 mandates to =
give
>>> clear guidance for empowering the adult end user in the manual for secu=
re
>>> use ("Avoid cables longer than 10m and don't use the unit in fixed outd=
oor
>>> installation if you purchase the more accurate variant without surge
>>> protection at the input cables.")
>>>
>>> Yours,
>>>
>>> Bj=C3=B6rn.
>>>
>>>
>>>
>>> *Gesendet: *Montag, 8. Dezember 2025 um 16:49
>>> *Von: *"Hao, Feng" <Feng.Hao@warwick.ac.uk> <Feng.Hao@warwick.ac.uk>
>>> *An: *"Bj=C3=B6rn Haase" <bjoern.haase=3D40endress.com@dmarc.ietf.org>
>>> <bjoern.haase=3D40endress.com@dmarc.ietf.org>, "Bj=C3=B6rn Haase"
>>> <bjoern.m.haase@web.de> <bjoern.m.haase@web.de>, "cfrg@irtf.org"
>>> <cfrg@irtf.org> <cfrg@irtf.org> <cfrg@irtf.org>
>>> *Betreff: *RE: [CFRG] Re: RGLC on draft-irtf-cfrg-cpace-15
>>>
>>> Hi,
>>>
>>>
>>>
>>> =C3=98  thank you for your feedback. So I=E2=80=99d like to summarize t=
hat the
>>> remaining aspect in our discussion is not a different view on the attac=
ks
>>> or possible vulnerabilities.
>>> The key point in our discussion seems to be a different point of  view
>>> regarding which extend remaining freedom is left to application designe=
rs
>>> and integrators.
>>>
>>> When the protocol spec says the user identity is optional, it implies
>>> that the protocol is secure without it. But that=E2=80=99s not the case=
, as shown
>>> by the impersonation attack. I think you should consider updating the
>>> protocol spec in Section 6.1.
>>>
>>>
>>>
>>>
>>>
>>> _______________________________________________ CFRG mailing list --
>>> cfrg@irtf.org To unsubscribe send an email to cfrg-leave@irtf.org
>>>
>>>
>>>
>>>
>>> _______________________________________________ CFRG mailing list --
>>> cfrg@irtf.org To unsubscribe send an email to cfrg-leave@irtf.org
>>> _______________________________________________ CFRG mailing list --
>>> cfrg@irtf.org To unsubscribe send an email to cfrg-leave@irtf.org
>>> _______________________________________________
>>> CFRG mailing list -- cfrg@irtf.org
>>> To unsubscribe send an email to cfrg-leave@irtf.org
>>>
>>

--0000000000002c16f006460c63ba
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">Dear Julia,<div><br></div><div>Thank you so much for your =
reply and for your continuing=C2=A0efforts with this document.=C2=A0</div><=
div><br></div><div>Best regards,</div><div>Stanislav (for chairs)</div></di=
v><br><div class=3D"gmail_quote gmail_quote_container"><div dir=3D"ltr" cla=
ss=3D"gmail_attr">On Tue, Dec 16, 2025 at 10:00=E2=80=AFAM Julia Hesse &lt;=
<a href=3D"mailto:juliahesse2@gmail.com">juliahesse2@gmail.com</a>&gt; wrot=
e:<br></div><blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0=
.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir=3D"a=
uto">Dear Stanislav,<div dir=3D"auto"><br></div><div dir=3D"auto">we&#39;re=
 still planning to make changes based on Feng&#39;s comments. We&#39;re dis=
cussing off list among the authors to reach a consensus before writing a su=
mmary to the list.</div><div dir=3D"auto"><br></div><div dir=3D"auto">Best,=
</div><div dir=3D"auto">Julia=C2=A0<br><div dir=3D"auto"><br></div><div dir=
=3D"auto"><br></div></div></div><br><div class=3D"gmail_quote"><div dir=3D"=
ltr" class=3D"gmail_attr">Stanislav V. Smyshlyaev &lt;<a href=3D"mailto:smy=
shsv@gmail.com" target=3D"_blank">smyshsv@gmail.com</a>&gt; schrieb am Di.,=
 16. Dez. 2025, 06:45:<br></div><blockquote class=3D"gmail_quote" style=3D"=
margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-lef=
t:1ex"><div dir=3D"ltr">Dear Bjoern, Julia and Feng,<div><br></div><div>Tha=
nk you for the discussion and the changes made in the document in version -=
16.</div><div><br></div><div>Feng, do you have any remaining=C2=A0<span><sp=
an>concerns</span></span>=C2=A0or can we consider your=C2=A0<span><span>iss=
ues</span></span>=C2=A0resolved?</div><div><br></div><div>Regards,</div><di=
v>Stanislav (for chairs)<br><div><br></div><div><br></div></div></div><br><=
div class=3D"gmail_quote"><div dir=3D"ltr" class=3D"gmail_attr">On Fri, Dec=
 12, 2025 at 7:17=E2=80=AFPM Bj=C3=B6rn Haase &lt;Bjoern.M.Haase=3D<a href=
=3D"mailto:40web.de@dmarc.ietf.org" rel=3D"noreferrer" target=3D"_blank">40=
web.de@dmarc.ietf.org</a>&gt; wrote:<br></div><blockquote class=3D"gmail_qu=
ote" style=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,20=
4);padding-left:1ex"><div><div style=3D"font-family:verdana;font-size:12px;=
color:rgb(0,0,0)"><span style=3D"background-color:rgb(255,255,255)">D</span=
>ear Feng,
<p class=3D"MsoNormal"><span lang=3D"EN-US"><span lang=3D"EN-US">I would be=
 very unhappy if you leave this discussion in with bad feelings. This was n=
ot my intention. In case that you felt offended by me please accept my apol=
ogies. You have helped us.</span><br><br>I think we have now come to the po=
int.<br><br>I now understand that we seem to have completely different unde=
rstandings about what the concept of &quot;identity&quot; means and I now a=
m convinced that we will find a solution where we can both agree on.<br><br=
>In my understanding the term &quot;identity&quot; will be an information w=
hich is meaningfully characterizing a protocol partner and which also has s=
ome clearly defined and possibly crucially important semantic to the actual=
 application using CPace outside of a concrete protocol run.<br><br>I alway=
s understood that you would be aiming at ruling out application scenarios a=
s unsuitable where party identifiers could not be meaningfully defined in a=
 way that is guaranteed to be unique and that you were mandating to always =
publish them in clear-text.<br><br>Also for identity information which is s=
emantically meaningful for an application that needs to be checked my aim w=
as always to advocate for integrating it in the generator (respectively CI)=
 whenever possible as then there is no risk for screwing up the possibly cr=
ucial verification (&quot;Am I really talking to the person I am expecting =
to talk with?&quot;) in the application code any more.<br><br>What you are =
describing as a requirement &quot;each device just needs to check that the =
two identifiers are different, so the two devices are distinguished during =
the key exchange session.&quot; seems to be a concept which takes over more=
 or less the role of the sid field. I fully agree with you here. We don&#39=
;t need identities but we need uniqueness for protecting the symmetric CPac=
e for against what you call &quot;impersonation attack&quot; and we would h=
ave missed this without your help.<br><br>Julia, Michel and me will be disc=
ussing the topic next week and I believe that mandating randomness for symm=
etric CPace =E2=80=93 if meaningful identities are to be kept confidential =
or if not available or not reliably unique=E2=80=93 is an excellent suggest=
ion and I was about to suggest exactly that to Julia (when hearing that thi=
s was also what was in her mind) and Michel.<br><br>I whish you a nice week=
end.<br><br>Yours,<br><br>Bj=C3=B6rn</span></p>
</div>
<div id=3D"m_311291505398720173m_-3920873534117066199m_-6256898222102827248=
sub-body-container" style=3D"margin:10px 5px 5px 10px;padding:10px 0px 10px=
 10px;border-left:2px solid rgb(195,217,229)">
<div style=3D"margin:0px 0px 10px">
<div><strong>Gesendet: </strong>Freitag, 12. Dezember 2025 um 13:28</div>
<div><strong>Von: </strong>&quot;Hao, Feng&quot; &lt;Feng.Hao=3D<a href=3D"=
mailto:40warwick.ac.uk@dmarc.ietf.org" rel=3D"noreferrer" target=3D"_blank"=
>40warwick.ac.uk@dmarc.ietf.org</a>&gt;</div>
<div><strong>An: </strong>&quot;Bj=C3=B6rn Haase&quot; &lt;Bjoern.M.Haase=
=3D<a href=3D"mailto:40web.de@dmarc.ietf.org" rel=3D"noreferrer" target=3D"=
_blank">40web.de@dmarc.ietf.org</a>&gt;, &quot;<a href=3D"mailto:juliahesse=
2@gmail.com" rel=3D"noreferrer" target=3D"_blank">juliahesse2@gmail.com</a>=
&quot; &lt;<a href=3D"mailto:juliahesse2@gmail.com" rel=3D"noreferrer" targ=
et=3D"_blank">juliahesse2@gmail.com</a>&gt;, &quot;<a href=3D"mailto:cfrg@i=
rtf.org" rel=3D"noreferrer" target=3D"_blank">cfrg@irtf.org</a>&quot; &lt;<=
a href=3D"mailto:cfrg@irtf.org" rel=3D"noreferrer" target=3D"_blank">cfrg@i=
rtf.org</a>&gt;</div>
<div><strong>Betreff: </strong>[CFRG] Re: RGLC on draft-irtf-cfrg-cpace-15<=
/div>
</div>
<div style=3D"font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Cali=
bri,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">Dear Bjorn,</div>
<div style=3D"font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Cali=
bri,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">=C2=A0</div>
<div style=3D"font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Cali=
bri,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">I notice that the=
 protocol spec in 6.1 remains unchanged. Also, you don&#39;t seem to define=
 exactly how the user identities and the transcript are included in the key=
 derivation function. This should be part of the protocol spec.</div>
<div style=3D"font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Cali=
bri,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">=C2=A0</div>
<ul style=3D"margin-top:0px;margin-bottom:0px">
<li style=3D"font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Calib=
ri,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">
<div style=3D"font-family:verdana;font-size:12px">I assume that such applic=
ation scenarios are out of the scope that you typically are considering.</d=
iv>
</li>
</ul>
<div style=3D"font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Cali=
bri,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">=C2=A0</div>
<div style=3D"font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Cali=
bri,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">In a client-serve=
r mode where the client initiates the connection and the client and the ser=
ver share exactly one password, generic identities such as &quot;client&quo=
t; and &quot;server&quot; would suffice. In the peer-to-peer mode where bot=
h devices can initiate the connection at the same time, even a random ident=
ifier for each device would work;=C2=A0 each device just needs to check tha=
t the two identifiers are different, so the two devices are distinguished d=
uring the key exchange session. All these are straightforward implementatio=
n details. Of course, in the most common cases, an entity needs to inform t=
he other entity the identity so they know which shared password to use. All=
 these can be captured by one unified spec, which involves the user identit=
ies in the key exchange flows and clear specification on how these identiti=
es are (or not) included in the key derivation function.</div>
<div style=3D"font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Cali=
bri,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">=C2=A0</div>
<div style=3D"font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Cali=
bri,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">I feel what I rai=
sed was a simple, clear and easily addressable issue. But the discussions h=
ave turned out to be long and difficult. I think I should leave it here. Ul=
timately, it&#39;s the responsibility of the RFC authors to make sure the p=
rotocol spec is unambiguously clear and is complete.=C2=A0</div>
<div style=3D"font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Cali=
bri,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">=C2=A0</div>
<div style=3D"font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Cali=
bri,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">Regards,</div>
<div style=3D"font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Cali=
bri,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">Feng</div>
<div style=3D"font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt=
;color:rgb(0,0,0)">=C2=A0</div>
<hr style=3D"display:inline-block;width:98%">
<div style=3D"font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt=
;color:rgb(0,0,0)"><strong>From:</strong>=C2=A0Bj=C3=B6rn Haase &lt;Bjoern.=
M.Haase=3D<a href=3D"mailto:40web.de@dmarc.ietf.org" rel=3D"noreferrer" tar=
get=3D"_blank">40web.de@dmarc.ietf.org</a>&gt;<br><strong>Sent:</strong>=C2=
=A0Friday, December 12, 2025 08:30<br><strong>To:</strong>=C2=A0Hao, Feng &=
lt;<a href=3D"mailto:Feng.Hao@warwick.ac.uk" rel=3D"noreferrer" target=3D"_=
blank">Feng.Hao@warwick.ac.uk</a>&gt;; <a href=3D"mailto:juliahesse2@gmail.=
com" rel=3D"noreferrer" target=3D"_blank">juliahesse2@gmail.com</a> &lt;<a =
href=3D"mailto:juliahesse2@gmail.com" rel=3D"noreferrer" target=3D"_blank">=
juliahesse2@gmail.com</a>&gt;; <a href=3D"mailto:cfrg@irtf.org" rel=3D"nore=
ferrer" target=3D"_blank">cfrg@irtf.org</a> &lt;<a href=3D"mailto:cfrg@irtf=
.org" rel=3D"noreferrer" target=3D"_blank">cfrg@irtf.org</a>&gt;<br><strong=
>Subject:</strong>=C2=A0Aw: [CFRG] Re: RGLC on draft-irtf-cfrg-cpace-15</di=
v>
<div style=3D"font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt=
;color:rgb(0,0,0)">=C2=A0</div>
<div style=3D"font-family:verdana;font-size:12px;color:rgb(0,0,0)"><span st=
yle=3D"background-color:rgb(255,255,255)">Dear Feng,<br><br></span>thank yo=
u for the private mail discussion yesterday where I think that we establish=
ed a common view. Also Michel and me had a discussion yesterday. I have jus=
t uploaded a new revision 16 and I think that the newly uploaded revision a=
ddresses your major concerns.<br><br>We are now giving much more detailed g=
uidance on use of &quot;user&quot; identities and mandate inclusion of user=
 identities if an application relies on guarantees from CPace.<br><br>We al=
so have added the reference to your ISO-SPEKE paper and also added a statem=
ent that draws the attention to the reader that what is actually needed as =
&quot;identity&quot; may vary from what is intuitively expected.<br><br>We =
still may have different views specifically regarding authentication of ide=
ntity identifiers that are to be held confidential and may be available upo=
n protocol start. Such settings may show up<br>specifically in use-cases wh=
ere out-of-band-channels exist such as in the password use case for PACE or=
 when for instance identity information is available by scanning QR codes p=
rovided for<br>secure IoT onboarding on stickers of industrial devices. I a=
ssume that such application scenarios are out of the scope that you typical=
ly are considering.<br><br>IMHO we need offer applications that need confid=
entially for identities on how to best use CPace in their setting.<br><br>A=
lso IMHO we shall allow and give best possible guidance to users for applic=
ations where identity strings are just not available or where identity chec=
ks can apply only in an unidirectional way, where in an applicatio a client=
 may need to authenticate the server ID but the server shall be accepting a=
ny client knowing the password.<br><br>I&#39;d appreciate your feedback on =
the new revision 16.<br><br>Yours,<br><br>Bj=C3=B6rn<br><br><strong>Gesende=
t: </strong>Donnerstag, 11. Dezember 2025 um 17:43</div>
<div id=3D"m_311291505398720173m_-3920873534117066199m_-6256898222102827248=
x_sub-body-container" style=3D"margin:10px 5px 5px 10px;padding-top:10px;pa=
dding-bottom:10px;padding-left:10px;border-left:2px solid rgb(195,217,229)"=
>
<div style=3D"margin:0px 0px 10px">
<div><strong>Von: </strong>&quot;Hao, Feng&quot; &lt;Feng.Hao=3D<a href=3D"=
mailto:40warwick.ac.uk@dmarc.ietf.org" rel=3D"noreferrer" target=3D"_blank"=
>40warwick.ac.uk@dmarc.ietf.org</a>&gt;</div>
<div><strong>An: </strong>&quot;Julia Hesse&quot; &lt;<a href=3D"mailto:jul=
iahesse2@gmail.com" rel=3D"noreferrer" target=3D"_blank">juliahesse2@gmail.=
com</a>&gt;, &quot;<a href=3D"mailto:cfrg@irtf.org" rel=3D"noreferrer" targ=
et=3D"_blank">cfrg@irtf.org</a>&quot; &lt;<a href=3D"mailto:cfrg@irtf.org" =
rel=3D"noreferrer" target=3D"_blank">cfrg@irtf.org</a>&gt;</div>
<div><strong>Betreff: </strong>[CFRG] Re: RGLC on draft-irtf-cfrg-cpace-15<=
/div>
</div>
<div style=3D"font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Cali=
bri,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">=C2=A0</div>
<div style=3D"font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Cali=
bri,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">Dear Julia,</div>
<div style=3D"font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt=
;color:rgb(0,0,0)">=C2=A0</div>
<ul style=3D"margin-top:0px;margin-bottom:0px">
<li>
<div>Thanks for the pointer. Maybe we are using different terminology - to =
me, user identities are unique to a user/client app, and can be reused over=
 several key exchanges. So they are not unique and they do not protect agai=
nst the unknown key share attack. Figure 4 in this reference also adds the =
transcript to the key derivation, which is unique as long as one party is h=
onest. So maybe the situation can be summarized like this?</div>
</li>
</ul>
<div>=C2=A0</div>
<div style=3D"font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Cali=
bri,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">You&#39;re correc=
t that the user identities are unique to a user/client. However, when a use=
r is engaged in parallel sessions, we need an extension of the identity to =
distinguish copies of self in multiple sessions. The solution we initially =
proposed in the 2014 paper uses the extended identities such as Alice, Alic=
e-2 and so on if Alice is engaged in more than one key exchange session at =
the same time. That however requires Alice to keep states of the concurrent=
 sessions. Hashing the user identity (&quot;Alice&quot;) with the key excha=
nge transcript is another way to distinguish the parallel sessions and is e=
asier to implement. So we settled on that for the revision of SPEKE in ISO/=
IEC 11770-4. Your summary of the situation is correct.=C2=A0</div>
<div style=3D"font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Cali=
bri,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">=C2=A0</div>
<ul style=3D"margin-top:0px;margin-bottom:0px">
<li>
<div>Interestingly, we analyzed this here: <a id=3D"m_311291505398720173m_-=
3920873534117066199m_-6256898222102827248OWAb37f21a4-a0a7-f7a1-13a6-19f3433=
6578c" href=3D"https://eprint.iacr.org/2024/234" rel=3D"noopener noreferrer=
 noreferrer" target=3D"_blank"> https://eprint.iacr.org/2024/234</a>. That =
paper models UC PAKE without session identifiers, so really password-only P=
AKE. In UC, both relay attacks and unknown key share attacks are ruled out =
by the security notion, and we can show CPace to achieve that. We put both =
party identifiers and transcript in the key derivation hash.=C2=A0</div>
</li>
</ul>
<div>=C2=A0</div>
<div style=3D"font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Cali=
bri,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">Putting both part=
ies&#39; identities and transcript in the key derivation function is essent=
ially what I proposed in my first email in this thread. This is how it was =
done in ISO/IEC 11770-4. As I tried to explain, the user identity is a crit=
ical parameter which needs to be explicitly defined in the spec. The revisi=
on of SPEKE in ISO/IEC 11770-4:2017 had an additional consideration of main=
taining the symmetry and the 1-round property as the original SPEKE.=C2=A0<=
/div>
<div>=C2=A0</div>
<div style=3D"font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Cali=
bri,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">Cheers,</div>
<div style=3D"font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Cali=
bri,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">Feng</div>
<blockquote>
<div style=3D"font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt=
;color:rgb(0,0,0)">=C2=A0</div>
<hr style=3D"display:inline-block;width:98%">
<div style=3D"font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt=
;color:rgb(0,0,0)"><strong>From:</strong>=C2=A0Julia Hesse <a id=3D"m_31129=
1505398720173m_-3920873534117066199m_-6256898222102827248OWA2e57641f-1dc5-6=
673-48d7-8ca54d9a8f91" href=3D"mailto:juliahesse2@gmail.com" rel=3D"noopene=
r noreferrer noreferrer" target=3D"_blank"> &lt;juliahesse2@gmail.com&gt;</=
a><br><strong>Sent:</strong>=C2=A0Wednesday, December 10, 2025 21:54<br><st=
rong>To:</strong>=C2=A0<a id=3D"m_311291505398720173m_-3920873534117066199m=
_-6256898222102827248OWAff3d810b-6bb6-b1f5-c67d-ae75d9ce4743" href=3D"mailt=
o:cfrg@irtf.org" rel=3D"noopener noreferrer noreferrer" target=3D"_blank">c=
frg@irtf.org</a> <a id=3D"m_311291505398720173m_-3920873534117066199m_-6256=
898222102827248OWA981998f4-0b71-4cdc-142e-636de84ed2ed" href=3D"mailto:cfrg=
@irtf.org" rel=3D"noopener noreferrer noreferrer" target=3D"_blank"> &lt;cf=
rg@irtf.org&gt;</a><br><strong>Subject:</strong>=C2=A0[CFRG] Re: RGLC on dr=
aft-irtf-cfrg-cpace-15</div>
<div style=3D"font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt=
;color:rgb(0,0,0)">=C2=A0</div>
<div>Dear Feng,<br><br>thank you for looking into this and helping us impro=
ve the draft!<br><br>I followed your pointer and read about the unknown key=
 share attack in your &#39;14 paper. This is quite interesting and I was no=
t aware of it. Let me summarize the attack, to see whether I understand cor=
rectly.<br><br>- Alice wants to exchange a key with Bob, and she is using f=
(pw)^x<br>- Mallory grabs her message and starts *another* exchange with Al=
ice concurrently, where she produces f(pw)^y<br>- Mallory crafts the respon=
se messages to Alice such that the resulting DH key will be f(pw)^xyz in *b=
oth* exchanges<br>- Mallory can relay key confirmation messages between pro=
tocols such that Alice accepts both sessions, having computed the same key<=
br><br>Mallory achieved all this without knowing Alice&#39;s password.<br><=
br>At first sight, this attack seems to void two important PAKE security pr=
operties:=C2=A0<br>- Whenever Alice starts a key exchange with another part=
y who does not share her password, she should output a fresh random key<br>=
- If key confirmation succeeds, Alice can be sure to share a password (and =
also a key) with the party she talked to<br><br>It seems this attack is pro=
tected against in the UC version of CPace by the uniqueness of session iden=
tifiers - Alice would assign different session identifiers to both exchange=
s, and hence would not compute the same key and the confirmation step fails=
.<br><br>There is two things that puzzle me, and I&#39;d appreciate your th=
oughts.<br>1) How does the inclusion of party identifiers help in fending o=
ff the attack?=C2=A0In the above description, Mallory can just contact Alic=
e &quot;in the name&quot; of Bob, i.e., appending &quot;Bob&quot; to all hi=
s messages to Alice. So party identifiers who are reused across key exchang=
es do not seem to help here, neither in the final hash nor in the computati=
on of the generator.=C2=A0<br>2) Why does the attack not show in the BPR se=
curity analysis in our CPace paper?=C2=A0Two options: either the model does=
 not capture them, or the proof is incorrect.<br><br>I would like to unders=
tand this better before issuing any opinion on what to do in the draft.<br>=
<br>Best,<br>Julia<br><br></div>
<div>Am 10.12.2025 um 11:43 schrieb Hao, Feng:</div>
<blockquote>
<div style=3D"font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Cali=
bri,Helvetica,sans-serif;font-size:12pt;color:black">Hi Bjorn,</div>
<div style=3D"font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Cali=
bri,Helvetica,sans-serif;font-size:12pt;color:black">=C2=A0</div>
<div style=3D"font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Cali=
bri,Helvetica,sans-serif;font-size:12pt;color:black">I suggest you read the=
 paper by Burton Kaliski on &quot;An unknown key-share attack on the MQV ke=
y agreement protocol&quot; (ACM TISS, 2001): <a id=3D"m_311291505398720173m=
_-3920873534117066199m_-6256898222102827248OWA3e2c0b81-68b4-2ebe-4e33-a09e8=
32a3457" href=3D"https://dl.acm.org/doi/abs/10.1145/501978.501981" rel=3D"n=
oopener noreferrer noreferrer" target=3D"_blank"> https://dl.acm.org/doi/ab=
s/10.1145/501978.501981</a></div>
<div style=3D"font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Cali=
bri,Helvetica,sans-serif;font-size:12pt;color:black">=C2=A0</div>
<div style=3D"font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Cali=
bri,Helvetica,sans-serif;font-size:12pt;color:black">This attack on MQV was=
 well known and understood by the community. It works because the MQV spec =
as defined in the then standards does not explicitly include user identitie=
s in the key exchange process. The user identities are only included in the=
 explicit key confirmation process, but explicit key confirmation is option=
al.=C2=A0</div>
<div style=3D"font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Cali=
bri,Helvetica,sans-serif;font-size:12pt;color:black">=C2=A0</div>
<div style=3D"font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Cali=
bri,Helvetica,sans-serif;font-size:12pt;color:black">Menezes (co-author of =
MQV) later proposed to address this attack by explicitly include user ident=
ities in the key exchange and the key derivation function. See Section 2.2 =
of the paper &quot;On the Importance of Public-Key Validation in the MQV an=
d HMQV Key Agreement Protocols&quot; (Menezes, Ustaoglu, 2006): <a id=3D"m_=
311291505398720173m_-3920873534117066199m_-6256898222102827248OWA62df7c85-2=
419-a597-a6f1-66087476ce27" href=3D"https://link.springer.com/chapter/10.10=
07/11941378_11" rel=3D"noopener noreferrer noreferrer" target=3D"_blank"> h=
ttps://link.springer.com/chapter/10.1007/11941378_11</a>.=C2=A0</div>
<div style=3D"font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Cali=
bri,Helvetica,sans-serif;font-size:12pt;color:black">=C2=A0</div>
<div style=3D"font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Cali=
bri,Helvetica,sans-serif;font-size:12pt;color:black">The above is in the co=
ntext of a public-key authenticated key exchange scheme, but the same probl=
em and lesson apply to password-authenticated key exchange.</div>
<div style=3D"font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Cali=
bri,Helvetica,sans-serif;font-size:12pt;color:black">=C2=A0</div>
<div style=3D"font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Cali=
bri,Helvetica,sans-serif;font-size:12pt;color:black">As pointed out earlier=
, the CPace spec in draft-15 reverts to SPEKE in 1996 (standardized in IEEE=
 1363.2, and then followed by ISO/IEC 11770-4), which is ambiguous in the d=
efinition of user identity and is known to suffer from the same kind of unk=
nown key-share attack. This has already been acknowledged and fixed in ISO/=
IEC 11770-4 since 2017. You really need to have a closer look at how this i=
s fixed there.</div>
<div style=3D"font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Cali=
bri,Helvetica,sans-serif;font-size:12pt;color:black">=C2=A0</div>
<div style=3D"font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Cali=
bri,Helvetica,sans-serif;font-size:12pt;color:black">Cheers,</div>
<div style=3D"font-family:Aptos,Aptos_EmbeddedFont,Aptos_MSFontService,Cali=
bri,Helvetica,sans-serif;font-size:12pt;color:black">Feng</div>
<div style=3D"font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt=
;color:black">=C2=A0</div>
<hr style=3D"display:inline-block;width:98%">
<div style=3D"font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt=
;color:black"><strong>From:</strong>=C2=A0Bj=C3=B6rn Haase <a id=3D"m_31129=
1505398720173m_-3920873534117066199m_-6256898222102827248OWA677127f0-2ae8-c=
eb1-157b-d02b057178e8" href=3D"mailto:Bjoern.M.Haase@web.de" rel=3D"noopene=
r noreferrer noreferrer" target=3D"_blank"> &lt;Bjoern.M.Haase@web.de&gt;</=
a><br><strong>Sent:</strong>=C2=A0Monday, December 08, 2025 17:26<br><stron=
g>To:</strong>=C2=A0Hao, Feng <a id=3D"m_311291505398720173m_-3920873534117=
066199m_-6256898222102827248OWAa57dd3f5-5f87-f1cd-30e7-3f26f725a105" href=
=3D"mailto:Feng.Hao@warwick.ac.uk" rel=3D"noopener noreferrer noreferrer" t=
arget=3D"_blank"> &lt;Feng.Hao@warwick.ac.uk&gt;</a>; <a id=3D"m_3112915053=
98720173m_-3920873534117066199m_-6256898222102827248OWAf54a9b67-12cf-5ff2-9=
c16-d1a22bb1f7e4" href=3D"mailto:bjoern.haase=3D40endress.com@dmarc.ietf.or=
g" rel=3D"noopener noreferrer noreferrer" target=3D"_blank"> bjoern.haase=
=3D40endress.com@dmarc.ietf.org</a> <a id=3D"m_311291505398720173m_-3920873=
534117066199m_-6256898222102827248OWA048d7b8c-a0c4-12d1-df62-0c5c663b84bb" =
href=3D"mailto:bjoern.haase=3D40endress.com@dmarc.ietf.org" rel=3D"noopener=
 noreferrer noreferrer" target=3D"_blank"> &lt;bjoern.haase=3D40endress.com=
@dmarc.ietf.org&gt;</a>; <a id=3D"m_311291505398720173m_-392087353411706619=
9m_-6256898222102827248OWA56cf609e-effa-e625-c52a-c47e51343054" href=3D"mai=
lto:bjoern.m.haase@web.de" rel=3D"noopener noreferrer noreferrer" target=3D=
"_blank"> bjoern.m.haase@web.de</a> <a id=3D"m_311291505398720173m_-3920873=
534117066199m_-6256898222102827248OWAb688b31e-7dd8-513a-e0a9-ae365ded0d6b" =
href=3D"mailto:Bjoern.M.Haase@web.de" rel=3D"noopener noreferrer noreferrer=
" target=3D"_blank"> &lt;Bjoern.M.Haase@web.de&gt;</a>; <a id=3D"m_31129150=
5398720173m_-3920873534117066199m_-6256898222102827248OWAe932ffad-b1b4-7555=
-a2fd-8471cf251c6e" href=3D"mailto:cfrg@irtf.org" rel=3D"noopener noreferre=
r noreferrer" target=3D"_blank"> cfrg@irtf.org</a> <a id=3D"m_3112915053987=
20173m_-3920873534117066199m_-6256898222102827248OWA405d01eb-d0ae-e639-d5b0=
-2bcd2fbf924c" href=3D"mailto:cfrg@irtf.org" rel=3D"noopener noreferrer nor=
eferrer" target=3D"_blank"> &lt;cfrg@irtf.org&gt;</a><br><strong>Subject:</=
strong>=C2=A0Aw: RE: [CFRG] Re: RGLC on draft-irtf-cfrg-cpace-15</div>
<div style=3D"font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt=
;color:black">=C2=A0</div>
<div style=3D"font-family:verdana;font-size:12px;color:black"><span style=
=3D"background-color:white">Hello Feng,<br><br>what we tell the end user re=
garding the security guarantees=C2=A0 in sectin 3 is :</span></div>
<div style=3D"font-size:12px;color:black">&quot;A and B will produce the sa=
me ISK value if and only if both sides did initiate the =C2=A0 protocol usi=
ng the same protocol inputs, specifically the same PRS =C2=A0 and the same =
value for the optional input parameters CI, ADa, ADb and =C2=A0 sid that wi=
ll be specified in section Section 3.1.&quot;</div>
<div style=3D"font-family:verdana;font-size:12px;color:black">With respect =
to this security guarantee there is nothing to fix.<br><br>This clearly say=
s: &quot;if you are only using PRS and nothing else, the only thing that yo=
u can rely on is that the remote side also knows the same PRS.&quot;<br><br=
>We moreover explicitly draw the attention of the reader to the consequence=
s if no identity strings are added. So any reader of the specification is b=
e well-informed.<br><br>What we should not be doing is *patronizing* the en=
d user.<br><br>The adequate approach here is -- in my humble opinion -- to =
treat the reader of the specification not as an infant but as a responsible=
 adult. An adult who should be given a component at hand being fit for the =
for the purpose and who should be empowered to make educated use of it.<br>=
<br>BTW this approach is nothing uncommon for standard documents. It&#39;s =
quite common for standards to allow for options. E.g. IEC 61000-4-5 for ind=
ustrial measurement appliances does not mandate integration of surge protec=
tion arrestors on all cable interfaces. But IEC61000 mandates to give clear=
 guidance for empowering the adult end user in the manual for secure use (&=
quot;Avoid cables longer than 10m and don&#39;t use the unit in fixed outdo=
or installation if you purchase the more accurate variant without surge pro=
tection at the input cables.&quot;)<br><br>Yours,<br><br>Bj=C3=B6rn.<br><br=
><br><br></div>
<div id=3D"m_311291505398720173m_-3920873534117066199m_-6256898222102827248=
x_x_x_x_sub-body-container" style=3D"margin:10px 5px 5px 10px;padding-top:1=
0px;padding-bottom:10px;padding-left:10px;border-left:2px solid rgb(195,217=
,229)">
<div style=3D"margin:0px 0px 10px">
<div><strong>Gesendet: </strong>Montag, 8. Dezember 2025 um 16:49</div>
<div><strong>Von: </strong>&quot;Hao, Feng&quot; <a id=3D"m_311291505398720=
173m_-3920873534117066199m_-6256898222102827248OWA6b215620-d117-a67b-4024-6=
0209eadf213" href=3D"mailto:Feng.Hao@warwick.ac.uk" rel=3D"noopener norefer=
rer noreferrer" target=3D"_blank"> &lt;Feng.Hao@warwick.ac.uk&gt;</a></div>
<div><strong>An: </strong>&quot;Bj=C3=B6rn Haase&quot; <a id=3D"m_311291505=
398720173m_-3920873534117066199m_-6256898222102827248OWA1f42fe39-0178-beab-=
012a-3287a8b2a0e8" href=3D"mailto:bjoern.haase=3D40endress.com@dmarc.ietf.o=
rg" rel=3D"noopener noreferrer noreferrer" target=3D"_blank"> &lt;bjoern.ha=
ase=3D40endress.com@dmarc.ietf.org&gt;</a>, &quot;Bj=C3=B6rn Haase&quot; <a=
 id=3D"m_311291505398720173m_-3920873534117066199m_-6256898222102827248OWAc=
a0a6aae-44f4-5863-043f-8df3ff8efb37" href=3D"mailto:bjoern.m.haase@web.de" =
rel=3D"noopener noreferrer noreferrer" target=3D"_blank"> &lt;bjoern.m.haas=
e@web.de&gt;</a>, <a id=3D"m_311291505398720173m_-3920873534117066199m_-625=
6898222102827248OWA26d66790-c7b8-c8a0-c5a9-68641ba97f89" href=3D"mailto:cfr=
g@irtf.org" rel=3D"noopener noreferrer noreferrer" target=3D"_blank"> &quot=
;cfrg@irtf.org&quot;</a> <a id=3D"m_311291505398720173m_-392087353411706619=
9m_-6256898222102827248OWA4f216a6d-6ae2-52fa-2b61-544d07e42653" href=3D"mai=
lto:cfrg@irtf.org" rel=3D"noopener noreferrer noreferrer" target=3D"_blank"=
> &lt;cfrg@irtf.org&gt;</a></div>
<div><strong>Betreff: </strong>RE: [CFRG] Re: RGLC on draft-irtf-cfrg-cpace=
-15</div>
</div>
<p style=3D"margin:0px"><span style=3D"font-family:Calibri,sans-serif;font-=
size:11pt;color:rgb(31,73,125)">Hi,</span></p>
<p style=3D"margin:0px">=C2=A0</p>
<p style=3D"margin:1em 0px 0px 36pt"><span style=3D"font-family:Wingdings;f=
ont-size:10pt;color:rgb(31,73,125)">=C3=98</span><span style=3D"font-family=
:&quot;Times New Roman&quot;;font-size:7pt;color:rgb(31,73,125);line-height=
:normal">=C2=A0 </span><span style=3D"font-family:Arial,sans-serif;font-siz=
e:10pt;color:black">thank you for your feedback. So I=E2=80=99d like to sum=
marize that the remaining aspect in our discussion is not a different view =
on the attacks or possible vulnerabilities.<br>The key point in our discuss=
ion seems to be a different point of =C2=A0view regarding which extend rema=
ining freedom is left to application designers and integrators.<br><br></sp=
an></p>
<p style=3D"margin:0px"><span style=3D"font-family:Calibri,sans-serif;font-=
size:11pt;color:rgb(31,73,125)">When the protocol spec says the user identi=
ty is optional, it implies that the protocol is secure without it. But that=
=E2=80=99s not the case, as shown by the impersonation attack. I think you =
should consider updating the protocol spec in Section 6.1.</span></p>
<p style=3D"margin:0px"><span style=3D"font-family:Calibri,sans-serif;font-=
size:11pt;color:rgb(31,73,125)">=C2=A0</span></p>
<p style=3D"margin:0px"><span style=3D"font-family:Calibri,sans-serif;font-=
size:11pt;color:rgb(31,73,125)">=C2=A0</span></p>
</div>
<div>=C2=A0</div>
<div>_______________________________________________ CFRG mailing list -- <=
a id=3D"m_311291505398720173m_-3920873534117066199m_-6256898222102827248OWA=
46758d0d-57cc-0331-6a42-ff2624927162" href=3D"mailto:cfrg@irtf.org" rel=3D"=
noopener noreferrer noreferrer" target=3D"_blank"> cfrg@irtf.org</a>=C2=A0T=
o unsubscribe send an email to <a id=3D"m_311291505398720173m_-392087353411=
7066199m_-6256898222102827248OWAd60dde2e-17e1-19ab-16e3-711348780295" href=
=3D"mailto:cfrg-leave@irtf.org" rel=3D"noopener noreferrer noreferrer" targ=
et=3D"_blank"> cfrg-leave@irtf.org</a></div>
</blockquote>
<div>=C2=A0</div>
</blockquote>
<div>=C2=A0</div>
<div>_______________________________________________ CFRG mailing list -- <=
a href=3D"mailto:cfrg@irtf.org" rel=3D"noreferrer" target=3D"_blank">cfrg@i=
rtf.org</a> To unsubscribe send an email to <a href=3D"mailto:cfrg-leave@ir=
tf.org" rel=3D"noreferrer" target=3D"_blank">cfrg-leave@irtf.org</a></div>
</div>
_______________________________________________ CFRG mailing list -- <a hre=
f=3D"mailto:cfrg@irtf.org" rel=3D"noreferrer" target=3D"_blank">cfrg@irtf.o=
rg</a> To unsubscribe send an email to <a href=3D"mailto:cfrg-leave@irtf.or=
g" rel=3D"noreferrer" target=3D"_blank">cfrg-leave@irtf.org</a></div></div>

_______________________________________________<br>
CFRG mailing list -- <a href=3D"mailto:cfrg@irtf.org" rel=3D"noreferrer" ta=
rget=3D"_blank">cfrg@irtf.org</a><br>
To unsubscribe send an email to <a href=3D"mailto:cfrg-leave@irtf.org" rel=
=3D"noreferrer" target=3D"_blank">cfrg-leave@irtf.org</a><br>
</blockquote></div>
</blockquote></div>
</blockquote></div>

--0000000000002c16f006460c63ba--

