Mathieu Turuani

Identifiers

• name variant Mathieu Turuani 0.60 · backfill

Papers (2)

1. Intruder deducibility constraints with negation. Decidability and application to secured service compositions cs.CR · 2012 · author #4
2. Satisfiability of General Intruder Constraints with and without a Set Constructor cs.CR · 2011 · author #4

Mentions

• 1207.4871 #4 · backfill · confidence 0.70 Mathieu Turuani
• 1103.0220 #4 · backfill · confidence 0.70 Mathieu Turuani

Frequent Coauthors

• Micha\"el Rusinowitch 2 shared papers
• Tigran Avanesov 1 shared papers
• Tigran Avanesov (S'nT) 1 shared papers
• Yannick Chevalier 1 shared papers
• Yannick Chevalier (IRIT) 1 shared papers