Bounding the Number of Agents, for Equivalence Too. - Véronique Cortier; Antoine Dallon; Stéphanie Delaune (POST, 2016)

SAT-Equiv: An Efficient Tool for Equivalence Properties. - Véronique Cortier; Antoine Dallon; Stéphanie Delaune (CSF, 2017)

Efficiently Deciding Equivalence for Standard Primitives and Phases. - Véronique Cortier; Antoine Dallon; Stéphanie Delaune (ESORICS (1), 2018)

Vérification de propriétés d'indistinguabilité pour les protocoles cryptographiques. (Verification of indistinguishability properties for cryptographic protocols). - Antoine Dallon (2018)

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

A small bound on the number of sessions for security protocols. - Véronique Cortier; Antoine Dallon; Stéphanie Delaune (CSF, 2022)