pith. sign in

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