Skip to end of metadata
Go to start of metadata

You are viewing an old version of this page. View the current version.

Compare with Current Restore this Version View Page History

« Previous Version 6 Current »

Team members: Jacomme, Klein, Kremer and Racouchot

Paper published at USENIX Security 2023

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

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