2022
A small bound on the number of sessions for security protocols.
Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

2020
Typing Messages for Free in Security Protocols.
ACM Trans. Comput. Log., 2020

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

Efficiently Deciding Equivalence for Standard Primitives and Phases.
Proceedings of the Computer Security, 2018

2017
SAT-Equiv: An Efficient Tool for Equivalence Properties.
Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017

2016
Bounding the Number of Agents, for Equivalence Too.
Proceedings of the Principles of Security and Trust - 5th International Conference, 2016