A small bound on the number of sessions for security protocols.
Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022
Typing Messages for Free in Security Protocols.
ACM Trans. Comput. Log., 2020
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
SAT-Equiv: An Efficient Tool for Equivalence Properties.
Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017
Bounding the Number of Agents, for Equivalence Too.
Proceedings of the Principles of Security and Trust - 5th International Conference, 2016