Extended Formal Analysis of the EDHOC Protocol in Tamarin.

Karl Norrman Vaishnavi Sundararajan Alessandro Bruni

Published in: ICETE (Selected Papers) (2021)

Keyphrases

formal analysis
ban logic
formal methods
agent model
databases
case study
sensor networks
software engineering