Yannick Chevalier

	2012
38		Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai, Roberto Carbone, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Gabriel Erzse, Simone Frau, Marius Minea, Sebastian Mödersheim, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michaël Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Viganò: The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. TACAS 2012: 267-282
37		Yannick Chevalier, Mounira Kourjieh: Automated Synthesis of a Finite Complexity Ordering for Saturation CoRR abs/1203.2809: (2012)
36		Yannick Chevalier, Michaël Rusinowitch: Decidability of Equivalence of Symbolic Derivations. J. Autom. Reasoning 48(2): 263-292 (2012)
	2011
35		Tigran Avanesov, Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch: Web Services Verification and Prudent Implementation. DPM/SETOP 2011: 173-189
34		Tigran Avanesov, Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch, Mathieu Turuani: Distributed Orchestration of Web Services under Security Constraints. DPM/SETOP 2011: 235-252
33		Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani: Satisfiability of General Intruder Constraints with and without a Set Constructor CoRR abs/1103.0220: (2011)
32		Yannick Chevalier: Finitary Deduction Systems CoRR abs/1105.1376: (2011)
	2010
31		Philippe Balbiani, Yannick Chevalier, Marwa El Houri: An intruder model for trust negotiation. CRiSIS 2010: 1-8
30		Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani: Satisfiability of general intruder constraints with a set constructor. CRiSIS 2010: 1-8
29		Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch: Orchestration under Security Constraints. FMCO 2010: 23-44
28		Yannick Chevalier, Michaël Rusinowitch: Compiling and securing cryptographic protocols. Inf. Process. Lett. 110(3): 116-122 (2010)
27		Yannick Chevalier, Michaël Rusinowitch: Symbolic protocol analysis in the union of disjoint intruder theories: Combining decision procedures. Theor. Comput. Sci. 411(10): 1261-1282 (2010)
	2009
26		Philippe Balbiani, Yannick Chevalier, Marwa El Houri: A logical framework for reasoning about policies with trust negotiations and workflows in a distributed environment. CRiSIS 2009: 3-11
25		Yannick Chevalier, Mounira Kourjieh: On the Decidability of (ground) Reachability Problems for Cryptographic Protocols (extended version) CoRR abs/0906.1199: (2009)
24		Yannick Chevalier, Michaël Rusinowitch: Compiling and securing cryptographic protocols CoRR abs/0910.5099: (2009)
	2008
23		Philippe Balbiani, Yannick Chevalier, Marwa El Houri: A Logical Approach to Dynamic Role-Based Access Control. AIMSA 2008: 194-208
22		Yannick Chevalier, Mohammed Anis Mekki, Michaël Rusinowitch: Automatic Composition of Services with Security Policies. SERVICES I 2008: 529-537
21		Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani: Complexity results for security protocols with Diffie-Hellman exponentiation and commuting public key encryption. ACM Trans. Comput. Log. 9(4): (2008)
20		Yannick Chevalier, Michaël Rusinowitch: Hierarchical combination of intruder theories. Inf. Comput. 206(2-4): 352-377 (2008)
	2007
19		Yannick Chevalier, Mounira Kourjieh: Key Substitution in the Symbolic Analysis of Cryptographic Protocols. FSTTCS 2007: 121-132
18		Yannick Chevalier, Denis Lugiez, Michaël Rusinowitch: Towards an Automatic Analysis of Web Service Security. FroCos 2007: 133-147
17		Yannick Chevalier, Denis Lugiez, Michaël Rusinowitch: Verifying Cryptographic Protocols with Subterms Constraints. LPAR 2007: 181-195
16		Yannick Chevalier, Mounira Kourjieh: Key Substitution in the Symbolic Analysis of Cryptographic Protocols (extended version) CoRR abs/0710.5674: (2007)
	2006
15		Yannick Chevalier, Mounira Kourjieh: A Symbolic Intruder Model for Hash-Collision Attacks. ASIAN 2006: 13-27
14		Yannick Chevalier, Michaël Rusinowitch: Hierarchical Combination of Intruder Theories. RTA 2006: 108-122
13		Yannick Chevalier, Mounira Kourjieh: A Symbolic Intruder Model for Hash-Collision Attacks CoRR abs/cs/0611142: (2006)
	2005
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ò, Laurent Vigneron: The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. CAV 2005: 281-285
11		Yannick Chevalier, Michaël Rusinowitch: Combining Intruder Theories. ICALP 2005: 639-651
10		Yannick Chevalier, Laurent Vigneron: Rule-based Programs Describing Internet Security Protocols. Electr. Notes Theor. Comput. Sci. 124(1): 113-132 (2005)
9		Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani: Deciding the Security of Protocols with Commuting Public Key Encryption. Electr. Notes Theor. Comput. Sci. 125(1): 55-66 (2005)
8		Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani: An NP decision procedure for protocol insecurity with XOR. Theor. Comput. Sci. 338(1-3): 247-274 (2005)
	2004
7		Yannick Chevalier, Laurent Vigneron: Strategy for Verifying Security Protocols with Unbounded Message Size. Autom. Softw. Eng. 11(2): 141-166 (2004)
	2003
6		Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani, Laurent Vigneron: Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions. CSL 2003: 128-141
5		Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani: Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents. FSTTCS 2003: 124-135
4		Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani: An NP Decision Procedure for Protocol Insecurity with XOR. LICS 2003: 261-270
	2002
3		Yannick Chevalier, Laurent Vigneron: Automated Unbounded Verification of Security Protocols. CAV 2002: 324-337
2		Alessandro Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, Sebastian Mödersheim, Michaël Rusinowitch, Mathieu Turuani, Luca Viganò, Laurent Vigneron: The AVISS Security Protocol Analysis Tool. CAV 2002: 349-353
	2001
1		Yannick Chevalier, Laurent Vigneron: A Tool for Lazy Verification of Security Protocols. ASE 2001: 373-376

Coauthor Index

1	Alessandro Armando	[2] [12] [38]
2	Wihem Arsac	[38]
3	Tigran Avanesov	[30] [33] [34] [35] [38]
4	Philippe Balbiani	[23] [26] [31]
5	Michele Barletta	[38]
6	David A. Basin	[2] [12]
7	Yohan Boichut	[12]
8	Mehdi Bouallagui	[2]
9	Alberto Calvi	[38]
10	Alessandro Cappai	[38]
11	Roberto Carbone	[38]
12	Luca Compagna	[2] [12] [38]
13	Jorge Cuéllar (Jorge Ricardo Cuellar)	[12] [38]
14	Muhammad Torabi Dashti (Mohammad Torabi Dashti)	[38]
15	Paul Hankes Drielsma	[12]
16	Gabriel Erzse	[38]
17	Simone Frau	[38]
18	Pierre-Cyrille Héam	[12]
19	Marwa El Houri	[23] [26] [31]
20	Olga Kouchnarenko	[12]
21	Mounira Kourjieh	[13] [15] [16] [19] [25] [37]
22	Ralf Küsters	[4] [5] [6] [8] [9] [21]
23	Denis Lugiez	[17] [18]
24	Jacopo Mantovani	[12]
25	Mohammed Anis Mekki	[22] [29] [34] [35]
26	Marius Minea	[38]
27	Sebastian Mödersheim (Sebastian Alexander Mödersheim)	[2] [12] [38]
28	David von Oheimb	[12] [38]
29	Giancarlo Pellegrino	[38]
30	Serena Elisa Ponta	[38]
31	Marco Rocchetto	[38]
32	Michaël Rusinowitch	[2] [4] [5] [6] [8] [9] [11] [12] [14] [17] [18] [20] [21] [22] [24] [27] [28] [29] [30] [33] [34] [35] [36] [38]
33	Judson Santiago	[12]
34	Mathieu Turuani	[2] [4] [5] [6] [8] [9] [12] [21] [30] [33] [34] [38]
35	Luca Viganò	[2] [12] [38]
36	Laurent Vigneron	[1] [2] [3] [6] [7] [10] [12]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page