Formal Analysis of Privacy for Routing Protocols in Mobile Ad Hoc Networks. - Rémy Chrétien; Stéphanie Delaune (POST, 2013)

Typing Messages for Free in Security Protocols: The Case of Equivalence Properties. - Rémy Chrétien; Véronique Cortier; Stéphanie Delaune (CONCUR, 2014)

Decidability of Trace Equivalence for Protocols with Nonces. - Rémy Chrétien; Véronique Cortier; Stéphanie Delaune (CSF, 2015)

Checking Trace Equivalence: How to Get Rid of Nonces? - Rémy Chrétien; Véronique Cortier; Stéphanie Delaune (ESORICS (2), 2015)

From Security Protocols to Pushdown Automata. - Rémy Chrétien; Véronique Cortier; Stéphanie Delaune (ACM Trans. Comput. Log., 2015)

Automated analysis of equivalence properties for cryptographic protocols. (Analyse automatique de propriétés d'équivalence pour les protocoles cryptographiques). - Rémy Chrétien (2016)

Typing Messages for Free in Security Protocols. - Rémy Chrétien; Véronique Cortier; Antoine Dallon; Stéphanie Delaune (ACM Trans. Comput. Log., 2020)