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]
@inproceedings{BruniJPS18,
title = {Formal Verification of Ephemeral Diffie-Hellman Over COSE (EDHOC)},
author = {Alessandro Bruni and Thorvald Sahl Jørgensen and Theis Grønbech Petersen and Carsten Schürmann},
year = {2018},
doi = {10.1007/978-3-030-04762-7_2},
url = {https://doi.org/10.1007/978-3-030-04762-7_2},
researchr = {https://researchr.org/publication/BruniJPS18},
cites = {0},
citedby = {0},
pages = {21-36},
booktitle = {Security Standardisation Research - 4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, Proceedings},
editor = {Cas Cremers and Anja Lehmann},
volume = {11322},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-04762-7},
}