2018 | OriginalPaper | Chapter
Formal Verification of Ephemeral Diffie-Hellman Over COSE (EDHOC)
Authors: Alessandro Bruni, Thorvald Sahl Jørgensen, Theis Grønbech Petersen, Carsten Schürmann
Publisher: Springer International Publishing
2018 | OriginalPaper | Chapter
Authors: Alessandro Bruni, Thorvald Sahl Jørgensen, Theis Grønbech Petersen, Carsten Schürmann
Publisher: Springer International Publishing
Print ISBN: 978-3-030-04761-0
Electronic ISBN: 978-3-030-04762-7
Copyright Year: 2018
https://doi.org/10.1007/978-3-030-04762-7
Version: 0.1237.0