EDHOC Is a New Security Handshake Standard: An Overview of Security Analysis
Elsa López Pérez, Göran Selander, John Mattsson, Thomas Watteyne, Mališa Vučinić · Computer · 2024
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.