Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices.

Karl Norrman Vaishnavi Sundararajan Alessandro Bruni

Published in: SECRYPT (2021)

Keyphrases

formal analysis
key establishment
key management
pairwise
wireless sensor networks
sensor networks
formal methods
mobile devices
cloud computing
agent model
secret key
ban logic
knowledge base
key distribution
embedded systems
ad hoc networks
software development