Mathieu Turuani

	2012
25		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
	2011
24		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
23		Roberto Carbone, Marius Minea, Sebastian Mödersheim, Serena Elisa Ponta, Mathieu Turuani, Luca Viganò: Towards Formal Validation of Trust and Security in the Internet of Services. Future Internet Assembly 2011: 193-208
22		Véronique Cortier, Jérémie Detrey, Pierrick Gaudry, Frédéric Sur, Emmanuel Thomé, Mathieu Turuani, Paul Zimmermann: Ballot stuffing in a postal voting system. REVOTE 2011: 27-36
21		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)
	2010
20		Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani: Satisfiability of general intruder constraints with a set constructor. CRiSIS 2010: 1-8
	2009
19		Najah Chridi, Mathieu Turuani, Michaël Rusinowitch: Decidable Analysis for a Class of Cryptographic Group Protocols with Unbounded Lists. CSF 2009: 277-289
18		Charu Arora, Mathieu Turuani: Validating Integrity for the Ephemerizer's Protocol with CL-Atse. Formal to Practical Security 2009: 21-32
	2008
17		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)
	2006
16		Mathieu Turuani: The CL-Atse Protocol Analyser. RTA 2006: 277-286
15		Max Tuengerthal, Ralf Küsters, Mathieu Turuani: Implementing a Unification Algorithm for Protocol Analysis with XOR CoRR abs/cs/0610014: (2006)
14		Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani: Compositional analysis of contract-signing protocols. Theor. Comput. Sci. 367(1-2): 33-56 (2006)
	2005
13		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
12		Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani: Compositional Analysis of Contract Signing Protocols. CSFW 2005: 94-110
11		Anupam Datta, Ante Derek, John C. Mitchell, Vitaly Shmatikov, Mathieu Turuani: Probabilistic Polynomial-Time Semantics for a Protocol Security Logic. ICALP 2005: 16-29
10		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)
9		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)
	2003
8		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
7		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
6		Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani: An NP Decision Procedure for Protocol Insecurity with XOR. LICS 2003: 261-270
5		Michaël Rusinowitch, Mathieu Turuani: Protocol insecurity with a finite number of sessions, composed keys is NP-complete. Theor. Comput. Sci. 1-3(299): 451-475 (2003)
4		François Laroussinie, Ph. Schnoebelen, Mathieu Turuani: On the expressivity and complexity of quantitative branching-time temporal logics. Theor. Comput. Sci. 297(1-3): 297-315 (2003)
	2002
3		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
2		Michaël Rusinowitch, Mathieu Turuani: Protocol Insecurity with Finite Number of Sessions is NP-Complete. CSFW 2001: 174-
	2000
1		François Laroussinie, Ph. Schnoebelen, Mathieu Turuani: On the Expressivity and Complexity of Quantitative Branching-Time Temporal Logics. LATIN 2000: 437-446

Coauthor Index

1	Alessandro Armando	[3] [13] [25]
2	Charu Arora	[18]
3	Wihem Arsac	[25]
4	Tigran Avanesov	[20] [21] [24] [25]
5	Michael Backes	[12] [14]
6	Michele Barletta	[25]
7	David A. Basin	[3] [13]
8	Yohan Boichut	[13]
9	Mehdi Bouallagui	[3]
10	Alberto Calvi	[25]
11	Alessandro Cappai	[25]
12	Roberto Carbone	[23] [25]
13	Yannick Chevalier	[3] [6] [7] [8] [9] [10] [13] [17] [20] [21] [24] [25]
14	Najah Chridi	[19]
15	Luca Compagna	[3] [13] [25]
16	Véronique Cortier	[22]
17	Jorge Cuéllar (Jorge Ricardo Cuellar)	[13] [25]
18	Muhammad Torabi Dashti (Mohammad Torabi Dashti)	[25]
19	Anupam Datta	[11] [12] [14]
20	Ante Derek	[11] [12] [14]
21	Jérémie Detrey	[22]
22	Paul Hankes Drielsma	[13]
23	Gabriel Erzse	[25]
24	Simone Frau	[25]
25	Pierrick Gaudry	[22]
26	Pierre-Cyrille Héam	[13]
27	Olga Kouchnarenko	[13]
28	Ralf Küsters	[6] [7] [8] [9] [10] [15] [17]
29	François Laroussinie	[1] [4]
30	Jacopo Mantovani	[13]
31	Mohammed Anis Mekki	[24]
32	Marius Minea	[23] [25]
33	John C. Mitchell	[11] [12] [14]
34	Sebastian Mödersheim (Sebastian Alexander Mödersheim)	[3] [13] [23] [25]
35	David von Oheimb	[13] [25]
36	Giancarlo Pellegrino	[25]
37	Serena Elisa Ponta	[23] [25]
38	Marco Rocchetto	[25]
39	Michaël Rusinowitch	[2] [3] [5] [6] [7] [8] [9] [10] [13] [17] [19] [20] [21] [24] [25]
40	Judson Santiago	[13]
41	Ph. Schnoebelen (Philippe Schnoebelen)	[1] [4]
42	Vitaly Shmatikov	[11]
43	Frédéric Sur	[22]
44	Emmanuel Thomé	[22]
45	Max Tuengerthal	[15]
46	Luca Viganò	[3] [13] [23] [25]
47	Laurent Vigneron	[3] [8] [13]
48	Paul Zimmermann	[22]

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