@misc{indiciaefdf52959bdad,
  title = {Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices},
  author = {Karl Norrman and Vaishnavi Sundararajan and Alessandro Bruni},
  year = {2021},
  url = {https://arxiv.org/abs/2007.11427},
  note = {Source identifier: 2007.11427}
}