Publications de
Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani
Complexity results for security protocols with Diffie-Hellman exponentiation and commuting public key encryption
Dans : ACM Transactions on Computational Logic (TOCL), ACM Digital Library, Vol. 9 N. 4, p. 1-25, août 2008.
Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani
Hierarchical combination of intruder theories
Dans : Information and Computation, Elsevier, Vol. 206 N. 2-4, p. 352-377, juin 2008.
Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani
An NP Decision Procedure for Protocol Insecurity with XOR
Dans : 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, mars 2005.
Résumé Accès : http://www.sciencedirect.com
BibTeX
Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani
Deciding the Security of Protocols with Commuting Public Key Encryption (regular paper)
Dans : ARSPA, Cork, Ireland, 20/06/04-21/06/04, Vol. 125, Luca Vigano, Alessandro Armando (Eds.), Science Direct, 1, p. 55-66, mars 2005.