Paper published at USENIX Security 2023

https://hal.inria.fr/hal-03810102/document

GitHub repo containing the models

https://github.com/charlie-j/edhoc-formal-analysis

Slides at IETF-113 on security analysis of EDHOC

https://datatracker.ietf.org/doc/slides-113-lake-symbolic-model-analysis/

Publication on the Sapic+ verification platform using LAKE as one use case https://eprint.iacr.org/2022/741.pdf