2025
Preprints, Working Papers, …
- titre
- Attacking and Fixing the Android Protected Confirmation Protocol
- auteur
- Myrto Arapinis, Vincent Danos, Maïwenn Racouchot, David Robin, Thomas Zacharias
- article
- 2025
- typdoc
- Preprints, Working Papers, …
- Accès au texte intégral et bibtex
-
2024
Theses
- titre
- Formal analysis of security protocols:real-world case-studies and automated proof strategies
- auteur
- Maïwenn Racouchot
- article
- Computer Science [cs]. Université de Lorraine, 2024. English. ⟨NNT : 2024LORR0186⟩
- typdoc
- Theses
- Accès au texte intégral et 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
-
