Team members: Jacomme, Klein, Kremer and Racouchot
Slides at IETF-113 : on security analysis of EDHOC
https://datatracker.ietf.org/meeting/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
...