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

Elsa López Pérez, Inria Göran Selander, John Preuß Mattsson +2

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 forma…