  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.
