Karl Norrman, Vaishnavi Sundararajan, Alessandro Bruni. Formal Analysis of EDHOC Key Establishment for Constrained IoT Devices. In Sabrina De Capitani di Vimercati, Pierangela Samarati, editors, Proceedings of the 18th International Conference on Security and Cryptography, SECRYPT 2021, July 6-8, 2021. pages 210-221, SCITEPRESS, 2021. [doi]
Abstract is missing.