St\'ephanie Delaune (LSV

Identifiers

• name variant St\'ephanie Delaune (LSV 0.60 · backfill

Papers (1)

1. Dynamic Tags for Security Protocols cs.CR · 2014 · author #3

Mentions

• 1405.2738 #3 · backfill · confidence 0.70 St\'ephanie Delaune (LSV

Frequent Coauthors

• CNRS & ENS Cachan) 1 shared papers
• Myrto Arapinis (School of Computer Science 1 shared papers
• Steve Kremer (INRIA Nancy - Grand-Est) 1 shared papers
• University of Birmingham) 1 shared papers