Rémy Chrétien

Publication Activity (10 Years)

Years Active: 2013-2020
Publications (10 Years): 1

Top Topics

Automated Design

Security Protocols

Cryptographic Algorithms

Top Venues

ACM Trans. Comput. Log.

University of Paris-Saclay, France (PHD)

Education History

University of Paris-Saclay, France

PHD

Publications

Rémy Chrétien, Véronique Cortier, Antoine Dallon, Stéphanie Delaune
Typing Messages for Free in Security Protocols. ACM Trans. Comput. Log. 21 (1) (2020)
Rémy Chrétien, Véronique Cortier, Stéphanie Delaune
Decidability of Trace Equivalence for Protocols with Nonces. CSF (2015)
Rémy Chrétien, Véronique Cortier, Stéphanie Delaune
Checking Trace Equivalence: How to Get Rid of Nonces? ESORICS (2) (2015)
Rémy Chrétien, Véronique Cortier, Stéphanie Delaune
From Security Protocols to Pushdown Automata. ACM Trans. Comput. Log. 17 (1) (2015)
Rémy Chrétien, Véronique Cortier, Stéphanie Delaune
Typing Messages for Free in Security Protocols: The Case of Equivalence Properties. CONCUR (2014)
Rémy Chrétien, Stéphanie Delaune
Formal Analysis of Privacy for Routing Protocols in Mobile Ad Hoc Networks. POST (2013)
Rémy Chrétien, Véronique Cortier, Stéphanie Delaune
From Security Protocols to Pushdown Automata. ICALP (2) (2013)