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]
@inproceedings{NorrmanSB21-0, title = {Extended Formal Analysis of the EDHOC Protocol in Tamarin}, author = {Karl Norrman and Vaishnavi Sundararajan and Alessandro Bruni}, year = {2021}, doi = {10.1007/978-3-031-36840-0_11}, url = {https://doi.org/10.1007/978-3-031-36840-0_11}, researchr = {https://researchr.org/publication/NorrmanSB21-0}, cites = {0}, citedby = {0}, pages = {224-248}, booktitle = {E-Business and Telecommunications - 18th International Conference, ICETE 2021, Virtual Event, July 6-9, 2021, Revised Selected Papers}, editor = {Pierangela Samarati and Marten van Sinderen and Sabrina De Capitani di Vimercati and Fons Wijnhoven}, volume = {1795}, series = {Communications in Computer and Information Science}, publisher = {Springer}, isbn = {978-3-031-36840-0}, }