Maïwenn Racouchot

According to our database, Maïwenn Racouchot authored at least 3 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Attacking and Fixing the Android Protected Confirmation Protocol.

Myrto Arapinis, Vincent Danos, Maïwenn Racouchot, David A. R. Robin, Thomas Zacharias

Proceedings of the 10th IEEE European Symposium on Security and Privacy, 2025

2024

Formal analysis of security protocols: real-world case-studies and automated proof strategies. (Analyse formelle de sécurité de protocoles: études de cas réelles et stratégies de preuve automatisées).

Maïwenn Racouchot

PhD thesis, 2024

2023

A comprehensive, formal and automated analysis of the EDHOC protocol.

Charlie Jacomme, Elise Klein, Steve Kremer, Maïwenn Racouchot

Proceedings of the 32nd USENIX Security Symposium, 2023