EDHOC is a New Security Handshake Standard: An Overview of Security Analysis
<|reference_start|>EDHOC is a New Security Handshake Standard: An Overview of Security Analysis: 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.<|reference_end|>
@article{pérez2024edhoc,
    title={EDHOC is a New Security Handshake Standard: An Overview of Security
  Analysis},
    author={Elsa L'opez P'erez, Inria G"oran Selander, John Preu{ss} Mattsson,
  Thomas Watteyne, Maliv{s}a Vuv{c}ini'c},
    journal={IEEE Computer Society, 2024},
    year={2024},
    archivePrefix={arXiv},
    eprint={2407.07444},
    primaryClass={cs.CR}
}