Searching for authors named "Mathieu Turuani" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
Compositional Analysis of Contract Signing Protocols*
- … University aderek@(email omitted); John C. Mitchell Stanford University jcm@(email omitted); Mathieu Turuani…
- Add To MetaCart
-
Protocol insecurity with finite number of sessions is NP-complete
- … Rusinowitch and Mathieu Turuani LORIA-INRIA- Université Henri Poincaré, 54506 Vandoeuvre-les-Nancy cedex…
- Cited by 103 (9 self) – Add To MetaCart
-
Complexity Results for Security Protocols with Diffie-Hellman Exponentiation and Commuting Public Key Encryption
- … RUSINOWITCH and MATHIEU TURUANI LORIA-INRIA-Université Henri Poincaré We show that the insecurity problem…
- Add To MetaCart
-
Deciding the Security of Protocols with Commuting Public Key Encryption
- … , Ralf Küsters 2 , Michaël Rusinowitch 1 , Mathieu Turuani 2 1 LORIA-INRIA-Université Henri Poincaré…
- Cited by 10 (3 self) – Add To MetaCart
-
Deciding the security of protocols with Diffie-Hellman exponentiation and products in exponents
- … K "usters, Micha"el Rusinowitch, andMathieu Turuani Bericht Nr. 0305June 2003 e…
- Cited by 47 (9 self) – Add To MetaCart
-
unknown title
- … Derek1, John C. Mitchell1, Vitaly Shmatikov2, andMathieu Turuani 3 1 Dept. Computer Science, Stanford…
- Add To MetaCart
-
An NP Decision Procedure for Protocol Insecurity with XOR
- … — Michaël Rusinowitch — Mathieu Turuani N° 4697 January 2003 THÈME 2 apport de recherche An NP Decision…
- Cited by 68 (15 self) – Add To MetaCart
-
The AVISS Security Protocol Analysis Tool
- … 3 , Mathieu Turuani 3 , Luca Vigano 2 , and Laurent Vigneron 3 1 Mechanized Reasoning Group…
- Cited by 23 (11 self) – Add To MetaCart
-
unknown title
- …, Yannick Chevalier3, Luca Compagna1, Sebastian M"odersheim2, Michael Rusinowitch3, Mathieu Turuani3, Luca…
- Add To MetaCart
Showing 1 through 9.
