EDHOC is a New Security Handshake Standard: Overview of Security Analysis
Elsa Lopez Perez, Göran Selander, John Preuß Mattsson, Thomas Watteyne, Mališa Vučinić
IEEE Computer to appear in 2024.
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.
Read the paper: https://inria.hal.science/hal-04635881
