Publications of
Yannick Chevalier, Michaël Rusinowitch
Decidability of Equivalence of Symbolic Derivations
In : Journal of Automated Reasoning, Springer-Verlag, Heidelberg, Allemagne, Vol. 48 N. 2, pp. 263-292, August 2012.
Yannick Chevalier, Michaël Rusinowitch
Compiling and securing cryptographic protocols
In : Information Processing Letters, Elsevier, Vol. 110 N. 3, pp. 116-122, March 2010.
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, Denis Lugiez, Michaël Rusinowitch
Verifying Cryptographic Protocols with Subterms Constraints
In : Lecture Notes in Computer Science (LNCS), Springer-Verlag, Heidelberg, Allemagne, Special issue Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, Vol. 4790, pp. 181-195, October 2007.
Abstract URL : http://dx.doi.org/10.1007/978-3-540-75560-9_15
BibTeXYannick Chevalier, Denis Lugiez, Michaël Rusinowitch
Towards an Automatic Analysis of Web Service Security
In : Lecture Notes in Artificial Intelligence (LNAI), Springer-Verlag, Heidelberg, Allemagne, Special issue Frontiers of Combining Systems, 6th International Symposium, Vol. 4720, pp. 133-147, September 2007.
Abstract URL : http://dx.doi.org/10.1007/978-3-540-75560-9_15
BibTeXYannick 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.
Belkhir Walid, Yannick Chevalier, Michaël Rusinowitch
Fresh-Variable Automata for Service Composition
In : SYNASC, Timisoara, 23/09/13-26/09/13, Tudor Jebelean, Laura Kovacs (Eds.).
Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch
Orchestration under Security Constraints (regular paper)
In : Formal Methods for Components and Objects, Graz, Austria, 29/11/10-01/12/10, Vol. 6957, Bernhard Aichernig, Frank de Boer, Marcello Bonsangue (Eds.), Springer, LNCS, pp. 23-44, May 2012.
Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai, Roberto Carbone, Yannick Chevalier, Luca Compagna, Jorge Cuellar, Gabriel Erzse, Simone Frau, Marius Minea, David Von Oheimb, Sebastian Mödersheim, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rochetto, Michaël Rusinowitch, Mohamad Torabi Dashti, Mathieu Turuani, Luca Vigano
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures (regular paper)
In : TACAS, Talinn, Estonie, 24/03/12-01/04/12, Vol. 7214, Cormac Flanagan, Barbara Koenig (Eds.), Springer, LNCS, pp. 267-282, March 2012.
Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
Towards the Orchestration of Secured Services under Non-disclosure Policies (regular paper)
In : MMM-ACNS, St-Petersbourg, 17/10/12-20/10/12, Vol. 7531, Igor Kotenko, Victor Skormin (Eds.), Springer, LNCS, pp. 130-145, October 2012.
Tigran Avanesov, Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch, Mathieu Turuani
Distributed Orchestration of Web Services under Security Constraints (regular paper)
In : DTM-SETOP, Leeuwen, Belgique, 15/09/11-16/09/11, Vol. 7122, J. Garcia-Alfaro, Nora Bouhoulia-Cuppens, Sabrina De Capitani di Vim. (Eds.), Springer, LNCS, pp. 235-252, September 2011.
Tigran Avanesov, Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch
Web Services Verification and Prudent Implementation (regular paper)
In : DTM-SETOP, Leeuwen, Belgique, 15/09/11-16/09/11, Vol. 7122, J. Garcia-Alfaro, Nora Cuppens-Boulahia, Sabrina De Capitani di Vim. (Eds.), Springer, LNCS, pp. 173-189, September 2011.
Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch
Automatic Composition of Web Services with Security Policies (regular paper)
In : Service computing, Context-aware, Location aware and Positioning techniques – Worksop at International Conference on New Technologies, Mobility and Security (NTMS 2011) (SCLP 2008), Honolulu, 05/07/08-10/07/08, IEEE : Institute of Electrical and Electronics Engineers, Services I, pp. 529-537, 2010.
Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
Satisfiability of General Intruder Constraints with a Set Constructor (regular paper)
In : International Conference on Risks and Security of Internet and Systems (CRiSIS 2010), Montréal, Québec, Canada, 20/10/10-27/10/10, Marius Minea, Nora Boulahia-Cuppens (Eds.), IEEE : Institute of Electrical and Electronics Engineers, pp. 1-8, October 2010.
Yannick Chevalier, Michaël Rusinowitch
Hierarchical Combination of Intruder Theories
In : Rewriting Techniques and Applications (RTA 2006), Seattle, 12/08/06-14/08/06, Mark Pfenning (Eds.), Springer-Verlag, Lecture Notes in Computer Science 4098, pp. 108-122, August 2006.
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.
Yannick Chevalier, Michaël Rusinowitch
Combining Intruder Theories
In : International Colloqium on Automata, Languages and Programming, Lisbonne, 11/07/05-15/07/05, Vol. 1, Giuseppe F. Italiano, Catuscia Palamidessi, Moti Yung (Eds.), Springer, Lecture Notes in Computer Science 3580, pp. 639-651, July 2005.