Elise Klein

4
Documents

Publications

Publications

Deposit thumbnail

A comprehensive, formal and automated analysis of the EDHOC protocol

Charlie Jacomme , Elise Klein , Steve Kremer , Maïwenn Racouchot

USENIX Security '23 - 32nd USENIX Security Symposium, Aug 2023, Anaheim, CA, United States

Communication dans un congrès hal-03810102v1