Mathieu Turuani

Publications

691

Citations

H-Index

2003

Active since

Affiliations

Laboratoire Lorrain de Recherche en Informatique et ses Applications(Current)

Institut national de recherche en sciences et technologies du numérique

Université de Lorraine

Centre Inria de l'Université de Lorraine

Stanford University

Mathieu Turuani is an author at Laboratoire Lorrain de Recherche en Informatique et ses Applications specializing in formal verification, engineering, and computer science.

Top concepts

EngineeringComputer ScienceFormal VerificationCryptographyData SecurityFormal MethodsInformation SecurityData PrivacyHardware SecurityVerification

Publications per year

2003–2018

Publications

Protocol insecurity with finite number of sessions is NP-complete

M. Rusinowitch, Mathieu Turuani · 2005 · 218 citations

Protocol insecurity with a finite number of sessions and composed keys is NP-complete

Michaël Rusinowitch, Mathieu Turuani · Theoretical Computer Science · 2003 · 144 citations

Hardware Security, Secure Multi-party Computation, Finite Number +12

An NP decision procedure for protocol insecurity with XOR

Yannick Chevalier, Ralf Küsters, M. Rusinowitch et al. · 2003 · 136 citations

Cryptographic Primitive, Engineering, Information Security +18

An NP decision procedure for protocol insecurity with XOR

Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch et al. · Theoretical Computer Science · 2005 · 40 citations

Hardware Security, Engineering, Information Security +9

Compositional analysis of contract-signing protocols

Michael Backes, Anupam Datta, John C. Mitchell et al. · Theoretical Computer Science · 2006 · 35 citations

Smart Contract Language, Compositional Analysis, Engineering +6

Rows per page

1–5 of 11