2025
Conference papers
- titre
- Attacking and Fixing the Android Protected Confirmation Protocol
- auteur
- Myrto Arapinis, Vincent Danos, Maïwenn Racouchot, David Robin, Thomas Zacharias
- article
- The 10th IEEE European Symposium on Security and Privacy, Ca’ Foscari University of Venice, Venice, Italy, Jun 2025, Venice, Italy. pp.458-479, ⟨10.1109/EuroSP63326.2025.00034⟩
- typdoc
- Conference 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
-
