Rémy Chrétien

According to our database, Rémy Chrétien authored at least 7 papers between 2013 and 2020.

Collaborative distances:

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

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

2016

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

Rémy Chrétien

PhD thesis, 2016

2015

From Security Protocols to Pushdown Automata.

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

ACM Trans. Comput. Log., 2015

Checking Trace Equivalence: How to Get Rid of Nonces?

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

Proceedings of the Computer Security - ESORICS 2015, 2015

Decidability of Trace Equivalence for Protocols with Nonces.

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

Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015

2014

Typing Messages for Free in Security Protocols: The Case of Equivalence Properties.

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

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

2013

Formal Analysis of Privacy for Routing Protocols in Mobile Ad Hoc Networks.

Rémy Chrétien, Stéphanie Delaune

Proceedings of the Principles of Security and Trust - Second International Conference, 2013