Tigran Avanesov (S'nT)

Identifiers

• name variant Tigran Avanesov (S'nT) 0.60 · backfill

Papers (1)

1. Intruder deducibility constraints with negation. Decidability and application to secured service compositions cs.CR · 2012 · author #1

Mentions

• 1207.4871 #1 · backfill · confidence 0.70 Tigran Avanesov (S'nT)

Frequent Coauthors

• Mathieu Turuani 1 shared papers
• Micha\"el Rusinowitch 1 shared papers
• Yannick Chevalier (IRIT) 1 shared papers