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

We wrap up the call for formal analysis of the new security handshake protocol EDHOC by providing an overview of the protocol, a summary of the formal security analyses, and a discussion on open venues for future work.