Karl Norrman, Vaishnavi Sundararajan, Alessandro Bruni. Extended Formal Analysis of the EDHOC Protocol in Tamarin. In Pierangela Samarati, Marten van Sinderen, Sabrina De Capitani di Vimercati, Fons Wijnhoven, editors, E-Business and Telecommunications - 18th International Conference, ICETE 2021, Virtual Event, July 6-9, 2021, Revised Selected Papers. Volume 1795 of Communications in Computer and Information Science, pages 224-248, Springer, 2021. [doi]
Abstract is missing.