St\'ephanie Delaune

Identifiers

• name variant St\'ephanie Delaune 0.60 · backfill

Papers (7)

1. POR for Security Protocol Equivalences: Beyond Action-Determinism cs.CR · 2018 · author #2
2. A method for unbounded verification of privacy-type properties cs.CR · 2017 · author #3
3. A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols cs.CR · 2016 · author #1
4. Partial Order Reduction for Security Protocols cs.CR · 2015 · author #2
5. Composing security protocols: from confidentiality to privacy cs.CR · 2014 · author #3
6. A reduced semantics for deciding trace equivalence using constraint systems cs.CR · 2014 · author #2
7. YAPA: A generic tool for computing intruder knowledge cs.LO · 2010 · author #3

Mentions

• 1504.04768 #2 · backfill · confidence 0.70 St\'ephanie Delaune
• 1407.5444 #3 · backfill · confidence 0.70 St\'ephanie Delaune
• 1401.2854 #2 · backfill · confidence 0.70 St\'ephanie Delaune
• 1005.0737 #3 · backfill · confidence 0.70 St\'ephanie Delaune

Frequent Coauthors

• Lucca Hirschi 5 shared papers
• David Baelde 4 shared papers
• Mathieu Baudet 1 shared papers
• Myrto Arapinis 1 shared papers
• V\'eronique Cortier 1 shared papers
• Vincent Cheval 1 shared papers