Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices.

Karl Norrman Vaishnavi Sundararajan Alessandro Bruni

Published in: CoRR (2020)

Keyphrases

formal analysis
key establishment
key management
sensor networks
wireless sensor networks
pairwise
formal methods
mobile devices
agent model
ad hoc networks
secret key
resource constrained
symmetric key