Draft: draft-ietf-lake-edhoc

Commentary: Change implementing the change to TH3 and TH4 suggested by  and Felix in 
 Following our last email and in preparation for the IETF 114 , we would like to offer a suggestion from our computational analysis of EDHOC . I will first state the suggestion and then give some motivation and justification . Suggestion : Include the authentication credentials in the transcript hash computation . Namely , we suggest modifying the transcript hashes TH3 and TH4 to include the credential of the peer that authenticate themselves . More precisely , we propose that protocol participants compute : Similarly , we propose that the computation of TH4 becomes The philosophy behind this proposal is to make explicit the identity of the peer that authenticated themselves , even if those identities are not sent . ( One can think of this as expanding TH to include the actual identity credentials , which the sent IDCRED values hint to but do not uniquely determine ) . This is to simplify arguing agreement on the communication peer . Motivation and justification : We analysed EDHOC in the Multi - Stage Key exchange model , following the work [ Dow21 ] of Dowling et al . We suggest the change above as an improvement towards ensuring explicit authentication , which we observed when analysing the following excerpt from the draft ( draft-14 , section 3.5.3 ): " As stated in Section 3.1 of [ I - D.ietf - cose - rfc8152bis - struct ] , applications MUST NOT assume that ' kid ' values are unique , and several keys associated with a ' kid ' may need to be checked before the correct one is found . Applications might use additional information such as ' kid context ' or lower layers to determine which key to try first . Applications should strive to make IDCREDx as unique as possible , since the recipient may otherwise have to try several keys . " We modelled the above statement conservatively and considered that any IDCRED might reference multiple identities and associated credentials . A potential consequence of this modelling is that there may be ambiguity about the identity of the peer who authenticated themselves , which needs careful consideration . For instance , if IDCREDR refers to both CREDR and CREDR ' , the initiator that tries multiple public keys could conclude that it is talking to R ' . If this occurs , the protocol would still come to completion since the transcript hash wo n't change . The standard unforgeability notion of signature schemes would not necessarily prevent such a scenario [ 1 ] , and our analysis relies on strictly stronger notions . Concretely we require that signature schemes in EDHOC provide explicit ownership . In our model and proof , we had to rely on the relatively strong notion of " Malicious Universal Exclusive Ownership " to capture explicit authentication for EDHOC as currently specified . To the best of our knowledge , M - S - UEO was only studied and proven for Ed25519 as implemented in Libsodium[Bre20 ] . Therefore , relying on a weaker notion , " Universal Exclusive Ownership " , is desirable . Adding the credentials in the transcript hash would prevent identity mis - binding attacks since divergence in the identity of the authenticated host would lead to diverging transcript hashes and , therefore , different derived keys . Furthermore , we can rely on weaker notions of explicit ownership from a proof standpoint . Fortunately , Ed25519 provides explicit ownership [ Bre20 ] , and [ Po05 ] already showed that the inclusion of the credentials along with the message in the signing process , as is done already in EDHOC , provides explicit ownership and prevents ambiguity . For ECDSA , care must be taken in the implementation so that this construction guarantees exclusive ownership . Overall , we assume that CBOR encoding is unambiguous . We would very much appreciate your feedback and thoughts on the discussion above , and we are happy to answer any questions you might have . Kind regards ,   ( and   ) [ 1 ] The need for a notion strictly stronger than standard EUF - CMA security for signature schemes also arises in the basic SIGMA protocol with the MAC under the signature . One needs that signature scheme is not only unforgeable for a random key but for all keys . Otherwise , an attacker may carry an identity mis - binding attack . [ Dow21 ] Dowling et al . " A Cryptographic Analysis of the TLS 1.3 Handshake Protocol " , [ Po05 ] Pornin and Stern , " Digital Signatures Do Not Guarantee Exclusive Ownership " , [ Bre20 ] Brendel et al . " The Provable Security of Ed25519 : Theory and Practice " , 
 Hi ! When reading : I understood that a kid would map to multiple keys , but all of those keys would be owned by the same party . From what I understand , the attack described here only occurs when one kid maps to keys owned by distinct parties . Which is the correct interpretation ? And should the second case actually be allowed ? ( I think the update proposed is no matter what a good idea though , it strictly improves things ) 
 My interpretation of COSE is that one kid might map to keys owned by distinct parties . Seems hard to guarantee anything about kids unless there is a single authority that controls all the kids . as soon as there are several authorities there might be collisions . That all the keys with a certain kid belongs to a single party would require that a single authority determines all the kids or that some additional header parameter like kidcontext is used . I think the whole reason that kidcontext was introduced was to separate between different authorities determining kids . Maybe it would be good to clarify things in I - D.ietf - cose - rfc8152bis - struct 
 Thanks for this quick feedback ! 
 I sent a mail to COSE suggesting that this should maybe be clarified 
 I am trying to precisely detail step by step the missbinding attack to understand how to improve our symbolic models and capture it , and I am not precisely able to . My first idea would require to be able to alter the signature under the xor , is this indeed the needed capability ?  , could you give the details on how it would be carried out ? 
 Below is my mail to LAKE on the topic 
 I am trying to precisely detail step by step the missbinding attack to understand how to improve our symbolic models and capture it , and I am not precisely able to . Seems hard to do something in practice as any change to CREDR changes the 32 byte pseudorandom value MAC2 . 
 The MAC - then - Sign version of SIGMA - I is proven to be secure . If the above attack is possible in EDHOC it seems interesting to make a comparision between EDHOC SIG - SIG and SIGMA - I : Is there any protocol differences beween EDHOC SIG - SIG and SIGMA ? Is there different assumptions on the cryptographic functions or in the definition of " secure " ? Is the SIGMA - I proof wrong ? 
 Hi all , Thanks for the feedback so far ! I will try and answer the question raised above . First of all , I realised we wrote several things in the email but let me reiterate the main points : The identity mis - binding attack that we presented ( and that I will flesh out below ) only applies the basic MAC - Then - SIGn version of SIGMA as described in It served as a starting point to reason about the precise guarantees we need from the signature scheme . Fortunately : the actual instantiation in EHDOC seems to prevent the attack ( thanks to including the credentials under the signature and not just the MAC . However , from a proof perspective , we are unable to properly show a reduction unless we assume even more about the signature schemes . The suggestion allows us to easily reduce the security to a weaker security notion that is likely provided by concrete use of the signatures in EDHOC . Indeed MAC - then - Sign is proven secure , but the attack concerns the particularity of having the MAC under the signature , which is not completely considered in the previous analysis . Quoting the above paper ( ): can compute even after seeing . However , in the context of an identity mis - binding attack , we are concerned about the possibility of computing . Where is adversarially chosen , which hints at Duplicate Signature Key Selection ( DSKS)-like attacks . See : Based on the existing SIGMA analysis , the requirement for the signature scheme is unforgeability . Namely , the signature is unforgeable " on the average , " i.e. for a random key . However , this does not exclude the possibility of " weak " keys , which are , for instance , a key pair such that verifies any message and signature pair * , i.e. . This notion of a " weak " key is not really necessary since the signature is still unforgeable . If SIGMA is instantiated with such a pathological signature scheme , which is still unforgeable , then the attacker can carry an identity mis - binding that proceeds as follows :     -Eve(interception ) : Eve : creates a special E -A : A -B : In the end ,  thinks she talks to  , and  thinks he talks to  . Why does n't this attack work on the " normal " SIGMA ? With the MAC under the signature , peers do not have a notion of verifying a MAC and do so only implicitly via a successful signature verification . In the " normal " SIGMA , the MAC is explicitly verified ; hence the attack above does n't work even with a pathological signature scheme . Obviously , EDHOC does n't quite use such a pathological scheme ; however , this shows that this case has to be carefully analysed , hence the suggestion for the transcript hashes . 
 So does this identity misbinding attack mean that IKEv1 and IKEv2 does not provide authentication , aliveness , peer awareness , etc ? 
 Hi apologies for the delayed response , as I am coming towards the end of my thesis project I need to finalize my writing …  , regarding IKE protocols , this is a good question … Ultimately , this would depend on the concrete instantiation of the signature scheme . My fairly limited understanding of IKE is that the type of attack we describe above also apply . However , the adversary is likely to need to modify the communication transcript when injecting their certificate . This is where my limited knowledge of IKE limits what I can say about the actual impact . Perhaps , an attacker may abuse bit string representations to forge a certificate that seemingly does not modify the traffic on the wire ? From a theoretical perspective , at least , it appears that we require some notion of exclusive ownership to prove security of the MAc - then - SIGn , this also depends on how it is instantiated . The EDHOC instantiation seems to do the right thing . 
 Also apologies for providing the requested details , late . I wondered whether you had the chance to analyze this issue and what results you get from your formal modeling . 
 Our model did in fact already cover such weak keys for signatures , and in the case of EDHOC such attack is impossible , from what I understand mostly because the attacker can not perform a MiTM as it can not compute the encryption keys of the multiple messages . Only in message 2 , which is not integrity protected , could the attacker hope to change the signature such that if it was able to go by xoring from the IDCREDR to an ID pointing to some weak key , the signature check would go through for some other identity . But then the hash transcript would change and the key exchange would never go further , as the initiator would then produce a message encrypted with a key that neither the attacker nor the reponder can compute . 
 Dear , thanks for the feedback and the insights on how your formal model captured weak keys . I believe , however , that we are describing slightly different attacks . At a high level , the type of attack we consider does not really involve a PITM attack . In particular , the attack does n't modify the transcript ; hence nor do the transcript hash changes , or the key derived thereafter ; at least as they are currently specified in draft 14 . More precisely , from the assumption that IDCRED may hint at multiple credentials and associated public keys . The verification process would look something like the following pseudo - code(here for the initiator ) If the adversary would register a specially weak key such that credentials[IDCREDR ] and assuming that somehow gets precedence on the real this attack would work if the signature scheme would be vulnerable . Though we describe attacks on plaintext communication ; this is cheating just shows that the attacker knows IDCREDR . I hope this clarifies things a bit . Marc 
 I did understand your attack , and I was trying to essentially lift the attack you are describing to one that does not require the multiple CREDR for one IDCREDR assumption . I was trying to do that , because under the multiple IDCRED assumption , the authentication property becomes weird . If we ask for authentication over the IDCRED and the attacker can register its own pk for an honnest IDCRED , this already breaks authentication . If we ask for authentication over the pks , then in your attack , the initiator is simply using an attacker key , for which we have no guarantees , and it is thus not breaking the authentication property . 
 Apologies , I misunderstood the previous message . But we had a similar observation if using unique IDCRED . These attacks do n't really work . In the end , we could rely on strong universal exclusive ownership of the signature to show explicit authentication . Although we also had to tweak the explicit authentication guarantees slightly , the reduction would need something stronger than S - UEO . To the best of our knowledge , it is not provided by the signature . Maybe except Ed25519 if it is implemented according to the way Libsodium does it . But adding the credentials to the transcript hashes strengthen the guarantees . 
 No worries , I was unclear . We seem to agree overall ! 
 No disagreement and the PR is included in edhoc-16
Mailing list commentary: Dear Mališa , dear all , Following our last email and in preparation for the IETF 114 , we would like to offer a suggestion from our computational analysis of EDHOC . I will first state the suggestion and then give some motivation and justification . Suggestion : Include the authentication credentials in the transcript hash computation . Namely , we suggest modifying the transcript hashes TH3 and TH4 to include the credential of the peer that authenticate themselves . More precisely , we propose that protocol participants compute : Similarly , we propose that the computation of TH4 becomes The philosophy behind this proposal is to make explicit the identity of the peer that authenticated themselves , even if those identities are not sent . ( One can think of this as expanding TH to include the actual identity credentials , which the sent IDCRED values hint to but do not uniquely determine ) . This is to simplify arguing agreement on the communication peer . Motivation and justification : We analysed EDHOC in the Multi - Stage Key exchange model , following the work [ Dow21 ] of Dowling et al . We suggest the change above as an improvement towards ensuring explicit authentication , which we observed when analysing the following excerpt from the draft ( draft-14 , section 3.5.3 ): " As stated in Section 3.1 of [ I - D.ietf - cose - rfc8152bis - struct ] , applications MUST NOT assume that ' kid ' values are unique , and several keys associated with a ' kid ' may need to be checked before the correct one is found . Applications might use additional information such as ' kid context ' or lower layers to determine which key to try first . Applications should strive to make IDCREDx as unique as possible , since the recipient may otherwise have to try several keys . " We modelled the above statement conservatively and considered that any IDCRED might reference multiple identities and associated credentials . A potential consequence of this modelling is that there may be ambiguity about the identity of the peer who authenticated themselves , which needs careful consideration . For instance , if refers to both CREDR and CREDR ' , the initiator that tries multiple public keys could conclude that it is talking to R ' . If this occurs , the protocol would still come to completion since the transcript hash wo n't change . The standard unforgeability notion of signature schemes would not necessarily prevent such a scenario [ 1 ] , and our analysis relies on strictly stronger notions . Concretely we require that signature schemes in EDHOC provide explicit ownership . In our model and proof , we had to rely on the relatively strong notion of " Malicious Universal Exclusive Ownership " to capture explicit authentication for EDHOC as currently specified . To the best of our knowledge , M - S - UEO was only studied and proven for Ed25519 as implemented in Libsodium[Bre20 ] . Therefore , relying on a weaker notion , " Universal Exclusive Ownership " , is desirable . Adding the credentials in the transcript hash would prevent identity mis - binding attacks since divergence in the identity of the authenticated host would lead to diverging transcript hashes and , therefore , different derived keys . Furthermore , we can rely on weaker notions of explicit ownership from a proof standpoint . Fortunately , Ed25519 provides explicit ownership [ Bre20 ] , and [ Po05 ] already showed that the inclusion of the credentials along with the message in the signing process , as is done already in EDHOC , provides explicit ownership and prevents ambiguity . For ECDSA , care must be taken in the implementation so that this construction guarantees exclusive ownership . Overall , we assume that CBOR encoding is unambiguous . We would very much appreciate your feedback and thoughts on the discussion above , and we are happy to answer any questions you might have . Kind regards , ( and ) [ 1 ] The need for a notion strictly stronger than standard EUF - CMA security for signature schemes also arises in the basic SIGMA protocol with the MAC under the signature . One needs that signature scheme is not only unforgeable for a random key but for all keys . Otherwise , an attacker may carry an identity mis - binding attack . [ Dow21 ] Dowling et al . " A Cryptographic Analysis of the TLS 1.3 Handshake Protocol " , [ Po05 ] Pornin and Stern , " Digital Signatures Do Not Guarantee Exclusive Ownership " , [ Bre20 ] Brendel et al . " The Provable Security of Ed25519 : Theory and Practice " ,
Paragraph (version A):
Compute the transcript hash TH_3 = H(TH_2, PLAINTEXT_2) where H()
is the EDHOC hash algorithm of the selected cipher suite.  The
transcript hash TH_3 is a CBOR encoded bstr and the input to the
hash function is a CBOR Sequence.  Note that H(TH_2, PLAINTEXT_2)
can be computed and cached already in the processing of message_2.
Paragraph (version B):
Compute the transcript hash TH_3 = H(TH_2, PLAINTEXT_2, CRED_R)
where H() is the EDHOC hash algorithm of the selected cipher
suite.  The transcript hash TH_3 is a CBOR encoded bstr and the
input to the hash function is a CBOR Sequence.  Note that H(TH_2,
PLAINTEXT_2) can be computed and cached already in the processing
of message_2.
Paragraph (version A):
Compute the transcript hash TH_4 = H(TH_3, PLAINTEXT_3) where H()
is the EDHOC hash algorithm of the selected cipher suite.  The
transcript hash TH_4 is a CBOR encoded bstr and the input to the
hash function is a CBOR Sequence.
Paragraph (version B):
Compute the transcript hash TH_4 = H(TH_3, PLAINTEXT_3, CRED_I)
where H() is the EDHOC hash algorithm of the selected cipher
suite.  The transcript hash TH_4 is a CBOR encoded bstr and the
input to the hash function is a CBOR Sequence.
Paragraph (version A):
EDHOC inherits its security properties from the theoretical SIGMA-I
protocol SIGMA.  Using the terminology from SIGMA, EDHOC provides
forward secrecy, mutual authentication with aliveness, consistency,
and peer awareness.  As described in SIGMA, peer awareness is
provided to the Responder, but not to the Initiator.
Paragraph (version B):
EDHOC inherits its security properties from the theoretical SIGMA-I
protocol SIGMA.  Using the terminology from SIGMA, EDHOC provides
forward secrecy, mutual authentication with aliveness, consistency,
and peer awareness.  As described in SIGMA, peer awareness is
provided to the Responder, but not to the Initiator.  By including
the authentication credentials in the transcript hash, EDHOC protects
against Duplicate Signature Key Selection (DSKS)-like identity mis-
binding attack that the MAC-then-Sign variant of SIGMA-I is otherwise
vulnerable to.