Paper
https://eprint.iacr.org/2022/1705.pdf
Master thesis
https://www.research-collection.ethz.ch/handle/20.500.11850/576036
Mail discussion
[Lake] Computational EDHOC analysis - Some early comments and questions
[Lake] Computational analysis of EDHOC Sig-Sig - improvement suggestions for transcript hashes