V\'eronique Cortier

Identifiers

• name variant V\'eronique Cortier 0.60 · backfill

Papers (3)

1. A Type System for Privacy Properties (Technical Report) cs.CR · 2017 · author #1
2. YAPA: A generic tool for computing intruder knowledge cs.LO · 2010 · author #2
3. Deciding security properties for cryptographic protocols. Application to key cycles cs.LO · 2007 · author #2

Mentions

• 1005.0737 #2 · backfill · confidence 0.70 V\'eronique Cortier
• 0708.3564 #2 · backfill · confidence 0.70 V\'eronique Cortier

Frequent Coauthors

• Eugen Zalinescu 1 shared papers
• Hubert Comon-Lundh 1 shared papers
• Joseph Lallemand 1 shared papers
• Mathieu Baudet 1 shared papers
• Matteo Maffei 1 shared papers
• Niklas Grimm 1 shared papers
• St\'ephanie Delaune 1 shared papers