Scrutinizing the Vulnerability of Ephemeral Diffie–Hellman over COSE (EDHOC) for IoT Environment Using Formal Approaches

Figure 10

Attack simulation of the asymmetric-key option of EDHOC protocol.