Publications of
Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani
Complexity results for security protocols with Diffie-Hellman exponentiation and commuting public key encryption
In : ACM Transactions on Computational Logic (TOCL), ACM Digital Library, Vol. 9 N. 4, pp. 1-25, August 2008.
Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani
Hierarchical combination of intruder theories
In : Information and Computation, Elsevier, Vol. 206 N. 2-4, pp. 352-377, June 2008.
Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani
An NP Decision Procedure for Protocol Insecurity with XOR
In : Theoretical Computer Science B, Elsevier Science B.V., Elsevier Science B.V. Mathematics & Computer Science P.O. Box 103 1000 AC Amsterdam The Netherlands, Vol. 1060, March 2005.
Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani
Deciding the Security of Protocols with Commuting Public Key Encryption (regular paper)
In : ARSPA, Cork, Ireland, 20/06/04-21/06/04, Vol. 125, Luca Vigano, Alessandro Armando (Eds.), Science Direct, 1, pp. 55-66, March 2005.