Team members: Jacomme, Klein, Kremer and Racouchot
Paper published at USENIX Security 2023
Slides at IETF-113 on security analysis of EDHOC
https://datatracker.ietf.org/doc/slides-113-lake-symbolic-model-analysis/
...
Page Comparison
Manage space
Manage content
Integrations