2024
Theses
- titre
- Formal analysis of security protocols:real-world case-studies and automated proof strategies
- auteur
- Maïwenn Racouchot
- article
- Informatique [cs]. Université de Lorraine, 2024. Français. ⟨NNT : ⟩
- typdoc
- Theses
- Accès au bibtex
-
2023
Conference papers
- titre
- A comprehensive, formal and automated analysis of the EDHOC protocol
- auteur
- Charlie Jacomme, Elise Klein, Steve Kremer, Maïwenn Racouchot
- article
- USENIX Security ’23 – 32nd USENIX Security Symposium, Aug 2023, Anaheim, CA, United States
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-