External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formal Verification of Ephemeral Diffie-Hellman Over COSE (EDHOC)

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]

Authors

Alessandro Bruni

This author has not been identified. Look up 'Alessandro Bruni' in Google

Thorvald Sahl Jørgensen

This author has not been identified. Look up 'Thorvald Sahl Jørgensen' in Google

Theis Grønbech Petersen

This author has not been identified. Look up 'Theis Grønbech Petersen' in Google

Carsten Schürmann

This author has not been identified. Look up 'Carsten Schürmann' in Google
runs on