A comprehensive, formal and automated analysis of the EDHOC protocol. - Charlie Jacomme; Elise Klein 002; Steve Kremer; Maïwenn Racouchot (USENIX Security Symposium, 2023)

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 (2024)

Attacking and Fixing the Android Protected Confirmation Protocol. - Myrto Arapinis; Vincent Danos; Maïwenn Racouchot; David A. R. Robin; Thomas Zacharias 001 (EuroS&P, 2025)