Bibliographie

Revue internationales

[1]

Yannick Chevalier and Laurent Vigneron, ``Strategy for Verifying Security Protocols with Unbounded Message Size.'' Autom. Softw. Eng., vol. 11, no. 2, pp. 141--166, 2004.

[2]

Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, and Mathieu Turuani, ``An NP decision procedure for protocol insecurity with XOR.'' Theor. Comput. Sci., vol. 338, no. 1-3, pp. 247--274, 2005.

[3]

Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, and Mathieu Turuani, ``Complexity results for security protocols with diffie-hellman exponentiation and commuting public key encryption,'' Transactions on Computational Logic, vol. 9, no. 4, pp. 24:1--24:52, 2008.

[4]

Yannick Chevalier and M. Rusinowitch, ``Hierarchical combination of intruder theories,'' Information and Computation, vol. 206, pp. 352--377, 2008.

Conferences internationales

[5]

Yannick Chevalier and Laurent Vigneron, ``A Tool for Lazy Verification of Security Protocols.'' in 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA.IEEE Computer Society, 2001, pp. 373--376.

[6]

Alessandro Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, Sebastian Mödersheim, Michaël Rusinowitch, Mathieu Turuani, Luca Viganò, and Laurent Vigneron, ``The AVISS Security Protocol Analysis Tool.'' in Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings, ser. Lecture Notes in Computer Science, vol. 2404.Springer, 2002, pp. 349--353.

[7]

Yannick Chevalier and Laurent Vigneron, ``Automated Unbounded Verification of Security Protocols.'' in Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings, ser. Lecture Notes in Computer Science, Ed Brinksma and Kim Guldstrand Larsen, Eds., vol. 2404.1em plus 0.5em minus 0.4emSpringer, 2002, pp. 324--337.

[8]

Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, and Mathieu Turuani, ``An NP Decision Procedure for Protocol Insecurity with XOR.'' in 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 22-25 June 2003, Ottawa, Canada, Proceedings.1em plus 0.5em minus 0.4emIEEE Computer Society, 2003, pp. 261--270.

[9]

Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, and Mathieu Turuani, ``Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents.'' in FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, ser. Lecture Notes in Computer Science, Paritosh K. Pandya and Jaikumar Radhakrishnan, Eds., vol. 2914.1em plus 0.5em minus 0.4emSpringer, 2003, pp. 124--135.

[10]

Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani, and Laurent Vigneron, ``Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions.'' in Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Güdel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings, ser. Lecture Notes in Computer Science, Matthias Baaz and Johann A. Makowsky, Eds., vol. 2803.Springer, 2003, pp. 128--141.

[11]

Yannick Chevalier and Michaël Rusinowitch, ``Combining Intruder Theories.'' in Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings, ser. Lecture Notes in Computer Science, Luís Caires, Giuseppe F. Italiano, Luís Monteiro, Catuscia Palamidessi, and Moti Yung, Eds., vol. 3580.Springer, 2005, pp. 639--651.

[12]

Alessandro Armando, David A. Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Paul Hankes Drielsma, Pierre-Cyrille Héam, Olga Kouchnarenko, Jacopo Mantovani, Sebastian Mödersheim, David von Oheimb, Michaël Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Viganò, and Laurent Vigneron, ``The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications.'' in Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings, ser. Lecture Notes in Computer Science, Kousha Etessami and Sriram K. Rajamani, Eds., vol. 3576.Springer, 2005, pp. 281--285.

[13]

Yannick Chevalier and Michaël Rusinowitch, ``Hierarchical Combination of Intruder Theories.'' in Term Rewriting and Applications, 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings, ser. Lecture Notes in Computer Science, Frank Pfenning, Ed., vol. 4098.Springer, 2006, pp. 108--122.

[14]

Yannick Chevalier and Mounirah Kourjieh, ``A Symbolic Intruder Model for Hash-Collision Attacks,'' in Proceedings of the Advances in Computer Science ASIAN 2006 Conference, ser. Lecture Notes in Computer Science, Mitsu Okada and Ichiro Satoh, Eds., vol. to appear.1em plus 0.5em minus 0.4emSpringer, Dec 2006, p. to appear.

[15]

Yannick Chevalier, D. Lugiez, and M. Rusinowitch, ``Towards an automatic analysis of web service security,'' in FroCos, ser. Lecture Notes in Computer Science, B. Konev and F. Wolter, Eds., vol. 4720.Springer, 2007, pp. 133--147.

[16]

Yannick Chevalier, D. Lugiez, and M. Rusinowitch, ``Verifying cryptographic protocols with subterms constraints,'' in LPAR, ser. Lecture Notes in Computer Science, N. Dershowitz and A. Voronkov, Eds., vol. 4790.Springer, 2007, pp. 181--195.

[17]

Yannick Chevalier and M. Kourjieh, ``Key substitution in the symbolic analysis of cryptographic protocols,'' in FSTTCS, ser. Lecture Notes in Computer Science, V. Arvind and S. Prasad, Eds., vol. 4855.Springer, 2007, pp. 121--132.

[18]

Philippe Balbiani, Y. Chevalier, and M. E. Houri, ``A logical approach to dynamic role-based access control,'' in AIMSA, ser. Lecture Notes in Computer Science, D. Dochev, M. Pistore, and P. Traverso, Eds., vol. 5253.Springer, 2008, pp. 194--208.

Workshops internationaux

[19]

Yannick Chevalier and Laurent Vigneron, ``Towards Efficient Automated Verification of Security Protocols,'' in In Proceedings of the Verification Workshop (VERIFY'01) (in connection with IJCAR'01), Università degli studi di Siena, TR DII 08/01, 2001, pp. 19--33.

[20]

Yannick Chevalier, ``Verification of Security Protocols,'' March 2002, In Symposium on the Effectiveness of Logic In Computer Science in Honour of Moshe Vardi, MPI-I-2002-2-007.

[21]

Yannick Chevalier, ``A Simple Constraint Solving Procedure for Protocols with Exclusive Or,'' 2004, In Workshop on Unification (in conjunction with IJCAR 2004).

[22]

Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, and Mathieu Turuani, ``Deciding the Security of Protocols with Commuting Public Key Encryption.'' Electr. Notes Theor. Comput. Sci., vol. 125, no. 1, pp. 55--66, 2005.

[23]

Yannick Chevalier and Laurent Vigneron, ``Rule-based Programs Describing Internet Security Protocols.'' Electr. Notes Theor. Comput. Sci., vol. 124, no. 1, pp. 113--132, 2005.

[24]

Yannick Chevalier, Luca Compagna, Jorge Cuellar, Paul Hankes Drielsma, Jacopo Mantovani, Sebastian Mödersheim, and Laurent Vigneron, ``A High-Level Protocol Specification Language for Industrial Security-Sensitive Protocols,'' September 2004, Presented at the SAPS'04 Workshop, co-located with ASE 2004.

[25]

Philippe Balbiani, Yannick Chevalier, and Mounira Kourjieh, ``Reasoning about Actions and Obligations,'' August 2006, Presented at FCS-Arspa workshop, co-located with Floc.

[26]

Yannick Chevalier and Mounira Kourjieh, ``A Symbolic Intruder Model for Hash-Collision Attacks,'' September 2006, In CSTVA workshop, co-located with CP.

[27]

Yannick Chevalier, M. A. Mekki, and M. Rusinowitch, ``Automatic Composition of Services with Security Policies,'' in Services 2008/Web Service Composition and Adaptation Workshop (held in conjunction with SCC/SERVICES-2008), 2008, pp. 529--537.

Rapports de recherche

[28]

Yannick Chevalier and Laurent Vigneron, ``Automated Unbounded Verification of Security Protocols,'' INRIA, Tech. Rep. RR-4369, 2002, available at http://hal.inria.fr/INRIA-RRRT.

[29]

Yannick Chevalier and Laurent Vigneron, ``A Tool for Lazy Verification of Security Protocols,'' LORIA, Vandoeuvre-lès-Nancy, Tech. Rep. A01-R-140, 2002, available at http://hal.inria.fr/INRIA-RRRT.

[30]

Yannick Chevalier and Laurent Vigneron, ``Strategy for Verifying Security Protocols with Unbounded Message Size,'' INRIA, Tech. Rep. RR-4368, 2002, 18 p., available at http://hal.inria.fr/INRIA-RRRT.

[31]

Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, and Matthieu Turuani, ``An NP Decision Procedure for Protocol Insecurity with XOR,'' INRIA, Tech. Rep. RR-4697, 2003, available at http://hal.inria.fr/INRIA-RRRT.

[32]

Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Matthieu Turuani, and Laurent Vigneron, ``Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions,'' INRIA, Tech. Rep. RR-4869, 2003, available at http://hal.inria.fr/INRIA-RRRT.

[33]

Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, and Matthieu Turuani, ``Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents,'' Christian-Albrecht Universität su Kiel, Tech. Rep. IFI-Report 0305, 2003.

[34]

Yannick Chevalier, ``A Simple Constraint-solving Decision Procedure for Protocols with Exclusive or,'' INRIA, Tech. Rep. RR-5224, 2004, 35 p., available at http://hal.inria.fr/INRIA-RRRT.

[35]

Yannick Chevalier and Michaël Rusinowitch, ``Combining Intruder Theories,'' INRIA, Tech. Rep. RR-5495, 2005, 37 p., available at http://hal.inria.fr/INRIA-RRRT.

[36]

Yannick Chevalier and Mounira Kourjieh, ``A Symbolic Intruder Model for Hash-Collision Attacks,'' IRIT, 118 route de Narbonnes, F-31062 Toulouse Cedex 09, Tech. Rep., 2006, available at ftp://ftp.irit.fr/IRIT/LILAC/HashCollisions-CK.pdf.

Documentation technique