Alessandro Bruni, Thorvald Sahl Jørgensen, Theis Grønbech Petersen, Carsten Schürmann. Formal Verification of Ephemeral Diffie-Hellman Over COSE (EDHOC). In Cas Cremers, Anja Lehmann, editors, Security Standardisation Research - 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings. Volume 11322 of Lecture Notes in Computer Science, pages 21-36, Springer, 2018. [doi]
Abstract is missing.