Yannick Chevalier (IRIT)

Identifiers

• name variant Yannick Chevalier (IRIT) 0.60 · backfill

Papers (5)

1. Intruder deducibility constraints with negation. Decidability and application to secured service compositions cs.CR · 2012 · author #2
2. Automated Synthesis of a Finite Complexity Ordering for Saturation cs.LO · 2012 · author #1
3. Finitary Deduction Systems cs.LO · 2011 · author #1
4. Key Substitution in the Symbolic Analysis of Cryptographic Protocols (extended version) cs.CR · 2007 · author #1
5. A Symbolic Intruder Model for Hash-Collision Attacks cs.CR · 2006 · author #1

Mentions

• 1207.4871 #2 · backfill · confidence 0.70 Yannick Chevalier (IRIT)
• 1203.2809 #1 · backfill · confidence 0.70 Yannick Chevalier (IRIT)
• 1105.1376 #1 · backfill · confidence 0.70 Yannick Chevalier (IRIT)
• 0710.5674 #1 · backfill · confidence 0.70 Yannick Chevalier (IRIT)

Frequent Coauthors

• Mounira Kourjieh (IRIT) 2 shared papers
• Mathieu Turuani 1 shared papers
• Micha\"el Rusinowitch 1 shared papers
• Mounira Kourjieh (INRIA Lorraine - LORIA / LIFC) 1 shared papers
• Tigran Avanesov (S'nT) 1 shared papers