Jacomme et al.

Owned by Mališa Vučinić

Last updated: Oct 21, 2022

1 min read

Team members: Jacomme, Klein, Kremer and Racouchot

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/