...
Slides at IETF-113 on security analysis of EDHOC
https://datatracker.ietf.org/meetingdoc/113/materials/slides-113-lake-symbolic-model-analysis-01/
Publication on the Sapic+
verification platform using LAKE as one use case https://eprint.iacr.org/2022/741.pdf