Antoine Dallon

According to our database, Antoine Dallon authored at least 6 papers between 2016 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

A small bound on the number of sessions for security protocols.

Véronique Cortier, Antoine Dallon, Stéphanie Delaune

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

2020

Typing Messages for Free in Security Protocols.

Rémy Chrétien, Véronique Cortier, Antoine Dallon, Stéphanie Delaune

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).

Antoine Dallon

PhD thesis, 2018

Efficiently Deciding Equivalence for Standard Primitives and Phases.

Véronique Cortier, Antoine Dallon, Stéphanie Delaune

Proceedings of the Computer Security, 2018

2017

SAT-Equiv: An Efficient Tool for Equivalence Properties.

Véronique Cortier, Antoine Dallon, Stéphanie Delaune

Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017

2016

Bounding the Number of Agents, for Equivalence Too.

Véronique Cortier, Antoine Dallon, Stéphanie Delaune

Proceedings of the Principles of Security and Trust - 5th International Conference, 2016