Publications de
Yannick Chevalier, Michaël Rusinowitch
Decidability of Equivalence of Symbolic Derivations
Dans : Journal of Automated Reasoning, Springer-Verlag, Heidelberg, Allemagne, Vol. 48 N. 2, p. 263-292, août 2012.
Yannick Chevalier, Michaël Rusinowitch
Compiling and securing cryptographic protocols
Dans : Information Processing Letters, Elsevier, Vol. 110 N. 3, p. 116-122, mars 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
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, Denis Lugiez, Michaël Rusinowitch
Verifying Cryptographic Protocols with Subterms Constraints
Dans : Lecture Notes in Computer Science (LNCS), Springer-Verlag, Heidelberg, Allemagne, Numéro spécial Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, Vol. 4790, p. 181-195, octobre 2007.
Résumé Accès : 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
Dans : Lecture Notes in Artificial Intelligence (LNAI), Springer-Verlag, Heidelberg, Allemagne, Numéro spécial Frontiers of Combining Systems, 6th International Symposium, Vol. 4720, p. 133-147, septembre 2007.
Résumé Accès : 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
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
Belkhir Walid, Yannick Chevalier, Michaël Rusinowitch
Fresh-Variable Automata for Service Composition
Dans : 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)
Dans : 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, p. 23-44, mai 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)
Dans : TACAS, Talinn, Estonie, 24/03/12-01/04/12, Vol. 7214, Cormac Flanagan, Barbara Koenig (Eds.), Springer, LNCS, p. 267-282, mars 2012.
Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
Towards the Orchestration of Secured Services under Non-disclosure Policies (regular paper)
Dans : MMM-ACNS, St-Petersbourg, 17/10/12-20/10/12, Vol. 7531, Igor Kotenko, Victor Skormin (Eds.), Springer, LNCS, p. 130-145, octobre 2012.
Tigran Avanesov, Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch, Mathieu Turuani
Distributed Orchestration of Web Services under Security Constraints (regular paper)
Dans : 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, p. 235-252, septembre 2011.
Tigran Avanesov, Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch
Web Services Verification and Prudent Implementation (regular paper)
Dans : 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, p. 173-189, septembre 2011.
Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch
Automatic Composition of Web Services with Security Policies (regular paper)
Dans : 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, p. 529-537, 2010.
Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani
Satisfiability of General Intruder Constraints with a Set Constructor (regular paper)
Dans : 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, p. 1-8, octobre 2010.
Yannick Chevalier, Michaël Rusinowitch
Hierarchical Combination of Intruder Theories
Dans : Rewriting Techniques and Applications (RTA 2006), Seattle, 12/08/06-14/08/06, Mark Pfenning (Eds.), Springer-Verlag, Lecture Notes in Computer Science 4098, p. 108-122, août 2006.
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.
Yannick Chevalier, Michaël Rusinowitch
Combining Intruder Theories
Dans : 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, p. 639-651, juillet 2005.