Publications

Publications HAL de Maïwenn,Racouchot

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
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
https://inria.hal.science/hal-03810102/file/paper.pdf BibTex