USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
A comprehensive, formal and automated analysis of the EDHOC protocol
Submitted by arnold on November 7, 2022 - 3:49 pm
Title | A comprehensive, formal and automated analysis of the EDHOC protocol |
Publication Type | Conference Paper |
Year of Publication | 2023 |
Authors | Jacomme C, Klein E, Kremer S, Racouchot M |
Conference Name | 32nd USENIX Security Symposium (USENIX Security 23) |
Date Published | 08/2023 |
Publisher | USENIX Association |
Conference Location | Anaheim, CA |
ISBN Number | 978-1-939133-37-3 |
URL | https://www.usenix.org/conference/usenixsecurity23/presentation/jacomme |
- DBLP
- Log in or Register to post comments
- Google Scholar
- BibTeX