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.
@article{arxiv.2407.07444,
title = {EDHOC is a New Security Handshake Standard: An Overview of Security Analysis},
author = {Elsa López Pérez and Inria Göran Selander and John Preuß Mattsson and Thomas Watteyne and Mališa Vučinić},
journal= {arXiv preprint arXiv:2407.07444},
year = {2024}
}