A comprehensive, formal and automated analysis of the EDHOC protocol

TitleA comprehensive, formal and automated analysis of the EDHOC protocol
Publication TypeConference Paper
Year of Publication2023
AuthorsJacomme C, Klein E, Kremer S, Racouchot M
Conference Name32nd USENIX Security Symposium (USENIX Security 23)
Date Published08/2023
PublisherUSENIX Association
Conference LocationAnaheim, CA
ISBN Number978-1-939133-37-3
URLhttps://www.usenix.org/conference/usenixsecurity23/presentation/jacomme