dblp.uni-trier.dewww.uni-trier.de

Mathieu Turuani

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
17EEYannick 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
16EEMathieu Turuani: The CL-Atse Protocol Analyser. RTA 2006: 277-286
15EEMax Tuengerthal, Ralf Küsters, Mathieu Turuani: Implementing a Unification Algorithm for Protocol Analysis with XOR CoRR abs/cs/0610014: (2006)
14EEMichael 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
13EEAlessandro 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
12EEMichael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani: Compositional Analysis of Contract Signing Protocols. CSFW 2005: 94-110
11EEAnupam Datta, Ante Derek, John C. Mitchell, Vitaly Shmatikov, Mathieu Turuani: Probabilistic Polynomial-Time Semantics for a Protocol Security Logic. ICALP 2005: 16-29
10EEYannick 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)
9EEYannick 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
8EEYannick 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
7EEYannick 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
6EEYannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani: An NP Decision Procedure for Protocol Insecurity with XOR. LICS 2003: 261-270
5EEMichaë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)
4EEFranç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
3EEAlessandro 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
2EEMichaë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

1Alessandro Armando [3] [13]
2Michael Backes [12] [14]
3David A. Basin [3] [13]
4Yohan Boichut [13]
5Mehdi Bouallagui [3]
6Yannick Chevalier [3] [6] [7] [8] [9] [10] [13] [17]
7Luca Compagna [3] [13]
8Jorge Cuéllar [13]
9Anupam Datta [11] [12] [14]
10Ante Derek [11] [12] [14]
11Paul Hankes Drielsma [13]
12Pierre-Cyrille Héam [13]
13Olga Kouchnarenko [13]
14Ralf Küsters [6] [7] [8] [9] [10] [15] [17]
15François Laroussinie [1] [4]
16Jacopo Mantovani [13]
17John C. Mitchell [11] [12] [14]
18Sebastian Mödersheim [3] [13]
19David von Oheimb [13]
20Michaël Rusinowitch [2] [3] [5] [6] [7] [8] [9] [10] [13] [17]
21Judson Santiago [13]
22Ph. Schnoebelen [1] [4]
23Vitaly Shmatikov [11]
24Max Tuengerthal [15]
25Luca Viganò [3] [13]
26Laurent Vigneron [3] [8] [13]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)