Mathieu Turuani

2008
17	EE	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	EE	Mathieu Turuani: The CL-Atse Protocol Analyser. RTA 2006: 277-286
15	EE	Max Tuengerthal, Ralf Küsters, Mathieu Turuani: Implementing a Unification Algorithm for Protocol Analysis with XOR CoRR abs/cs/0610014: (2006)
14	EE	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	EE	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	EE	Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani: Compositional Analysis of Contract Signing Protocols. CSFW 2005: 94-110
11	EE	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	EE	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	EE	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	EE	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	EE	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	EE	Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani: An NP Decision Procedure for Protocol Insecurity with XOR. LICS 2003: 261-270
5	EE	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	EE	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	EE	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	EE	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]
2	Michael Backes	[12] [14]
3	David A. Basin	[3] [13]
4	Yohan Boichut	[13]
5	Mehdi Bouallagui	[3]
6	Yannick Chevalier	[3] [6] [7] [8] [9] [10] [13] [17]
7	Luca Compagna	[3] [13]
8	Jorge Cuéllar	[13]
9	Anupam Datta	[11] [12] [14]
10	Ante Derek	[11] [12] [14]
11	Paul Hankes Drielsma	[13]
12	Pierre-Cyrille Héam	[13]
13	Olga Kouchnarenko	[13]
14	Ralf Küsters	[6] [7] [8] [9] [10] [15] [17]
15	François Laroussinie	[1] [4]
16	Jacopo Mantovani	[13]
17	John C. Mitchell	[11] [12] [14]
18	Sebastian Mödersheim	[3] [13]
19	David von Oheimb	[13]
20	Michaël Rusinowitch	[2] [3] [5] [6] [7] [8] [9] [10] [13] [17]
21	Judson Santiago	[13]
22	Ph. Schnoebelen	[1] [4]
23	Vitaly Shmatikov	[11]
24	Max Tuengerthal	[15]
25	Luca Viganò	[3] [13]
26	Laurent Vigneron	[3] [8] [13]