Formal Verification of Ephemeral Diffie-Hellman Over COSE (EDHOC). - Alessandro Bruni; Thorvald Sahl Jørgensen; Theis Grønbech Petersen; Carsten Schürmann 001 (SSR, 2018)