Versions Compared

Old Version 3

changes.mady.by.user Mališa Vučinić

Saved on

compared with

New Version Current

changes.mady.by.user Mališa Vučinić

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

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/meeting/113doc/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

...