Ephemeral Diffie-Hellman Over COSE (EDHOC) aims at being a very compact and lightweight authenticated key exchange with ephemeral keys. It is expected to provide mutual authentication, forward secrecy, identity protection, 128-bit security level. A formal analysis has already been proposed SECRYPT ’21, on former version, leading some improvements, in the ongoing evaluation process by IETF. Unfo...

The operations cost of authentication session is considered as strict indicator to evaluate the protocols side by with security requirements achievements in Near Field Communication (NFC) technology. secure protocol for NFC mobile payment systems (SAP-NFC) one recent that have proposed achieve high level features such fully mutual authentication, anonymity and untraceability. Moreover, SAP-NFC ...