@inproceedings{jacomme:hal-03810102, TITLE = {{A comprehensive, formal and automated analysis of the EDHOC protocol}}, AUTHOR = {Jacomme, Charlie and Klein, Elise and Kremer, Steve and Racouchot, Ma{\"i}wenn}, URL = {https://inria.hal.science/hal-03810102}, BOOKTITLE = {{USENIX Security '23 - 32nd USENIX Security Symposium}}, ADDRESS = {Anaheim, CA, United States}, YEAR = {2023}, MONTH = Aug, PDF = {https://inria.hal.science/hal-03810102/file/paper.pdf}, HAL_ID = {hal-03810102}, HAL_VERSION = {v1}, }