MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Yannick Chevalier" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

11 documents found, showing 1 through 10. Next 10 →

ATOM

Combining Intruder Theories
by Yannick Chevalier, Michaël Rusinowitch — 2005 — In Proceedings of the 32nd International Colloquium on Automata, Languages and Programming (ICALP’05), volume 3580 of LNCS
…Combining Intruder Theories ⋆ Yannick Chevalier , Michaël Rusinowitch 1 IRIT Université Paul…
Cited by 15 (3 self) – Add To MetaCart

Hierarchical combination of intruder theories
by Yannick Chevalier, Michaël Rusinowitch — 2006 — In Proc. 17th International Conference on Term Rewriting and Applications, (RTA’06), volume 4098 of LNCS
…Hierarchical Combination of Intruder Theories ⋆ Yannick Chevalier , Michaël Rusinowitch 1 IRIT…
Cited by 8 (0 self) – Add To MetaCart

M.: Towards an automatic analysis of web services security
by Yannick Chevalier, Denis Lugiez — 2007 — In: Proceedings of the 6th International Symposium on the Frontiers of Combining Systems (Frocos’07). LNAI
…Towards an Automatic Analysis of Web Service Security Yannick Chevalier1 and Denis Lugiez2 3…
Cited by 1 (1 self) – Add To MetaCart

Complexity Results for Security Protocols with Diffie-Hellman Exponentiation and Commuting Public Key Encryption
by Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani. — 2003 — In Paritosh K. Pandya and Jaikumar Radhakrishnan, editors, FSTTCS, volume 2914 of Lecture Notes in Computer Science
… Key Encryption YANNICK CHEVALIER IRIT-Université Paul Sabatier and RALF KÜSTERS ETH Zürich and MICHAËL…
Add To MetaCart

Deciding the Security of Protocols with Commuting Public Key Encryption
by Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani — 2005 — ENTCS
…Deciding the Security of Protocols with Commuting Public Key Encryption ⋆ Yannick Chevalier 1…
Cited by 10 (3 self) – Add To MetaCart

Deciding the security of protocols with Diffie-Hellman exponentiation and products in exponents
by Yannick Chevalier, Ralf Küsters, Michael Rusinowitch, Mathieu Turuani — 2003
…Diffie-Hellman Exponentiation and Products in Exponents Yannick Chevalier, Ralf K "usters, Micha "elRusinowitch, and Mathieu…
Cited by 47 (9 self) – Add To MetaCart

A symbolic intruder model for hash-collision attacks
by Yannick Chevalier, Mounira Kourjieh, Irit Université Paul Sabatier — 2005 — In: 11th Annual Asian Computing Science Conference. Lecture Notes in Computer Science
… ⋆ Yannick Chevalier and Mounira Kourjieh IRIT Université Paul Sabatier, France email: {ychevali…
Cited by 2 (2 self) – Add To MetaCart

The AVISS Security Protocol Analysis Tool
by Alessandro Armando, David Basin, Mehdi Bouallagui, Yannick Chevalier Luca Compagna, Sebastian Modersheim, Yannick Chevalier, Mathieu Turuani, Luca Vigano, Laurent Vigneron, Luca Compagna, Michael Rusinowitch — 2002
… Bouallagui 3 , Yannick Chevalier 3 , Luca Compagna 1 , Sebastian Modersheim 2 , Michael Rusinowitch…
Cited by 23 (11 self) – Add To MetaCart

The AVISS Security Protocol Analysis Tool
by Alessandro Armando David, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, Michael Rusinowitch — 2002
… Bouallagui 3 , Yannick Chevalier 3 , Luca Compagna 1 , Sebastian Modersheim 2 , Michael Rusinowitch…
Add To MetaCart

An NP Decision Procedure for Protocol Insecurity with XOR
by Yannick Chevalier, Yannick Chevalier, Ralf Küsters, Ralf Küsters, Michal Rusinowitch, Michaël Rusinowitch, Mathieu Turuani, Mathieu Turuani, Thème Génie Logiciel, Projet Cassis — 2003
… AUTOMATIQUE An NP Decision Procedure for Protocol Insecurity with XOR Yannick Chevalier — Ralf Küsters…
Cited by 68 (15 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB