EDHOC is a New Security Handshake Standard: An Overview of Security Analysis

TL;DR

This paper provides an overview of the EDHOC security handshake protocol, summarizes existing formal security analyses, and discusses future research directions to enhance its security guarantees.

Contribution

It offers a comprehensive summary of EDHOC's standardization and security analysis efforts, highlighting open challenges and future research opportunities.

Findings

EDHOC is a standardized security handshake protocol.

Formal analyses have been conducted by the community.

Open research venues for EDHOC security are discussed.

Abstract

The paper wraps up the call for formal analysis of the new security handshake protocol EDHOC by providing an overview of the protocol as it was standardized, a summary of the formal security analyses conducted by the community, and a discussion on open venues for future work.