Catherine Meadows

Identifiers

• name variant Catherine Meadows 0.60 · backfill

Papers (7)

1. On Asymmetric Unification for the Theory of XOR with a Homomorphism cs.CC · 2019 · author #3
2. Strand Spaces with Choice via a Process Algebra Semantics cs.CR · 2019 · author #3
3. Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA cs.CR · 2018 · author #4
4. Effective Sequential Protocol Composition in Maude-NPA cs.CR · 2016 · author #3
5. Actor-network procedures: Modeling multi-factor authentication, device pairing, social interactions cs.CR · 2011 · author #2
6. State Space Reduction in the Maude-NRL Protocol Analyzer cs.CR · 2011 · author #2
7. Quantifying pervasive authentication: the case of the Hancke-Kuhn protocol cs.CR · 2009 · author #2

Mentions

• 1106.0706 #2 · backfill · confidence 0.70 Catherine Meadows
• 1105.5282 #2 · backfill · confidence 0.70 Catherine Meadows
• 0910.5745 #2 · backfill · confidence 0.70 Catherine Meadows

Frequent Coauthors

• Santiago Escobar 4 shared papers
• Jos\'e Meseguer 3 shared papers
• Dusko Pavlovic 2 shared papers
• Andrew M. Marshall 1 shared papers
• Antonio Gonz\'alez-Burgue\~no 1 shared papers
• Christopher Lynch 1 shared papers
• Dami\'an Aparicio 1 shared papers
• Fan Yang 1 shared papers
• Jose Meseguer 1 shared papers
• Paliath Narendran 1 shared papers
• Sonia Santiago 1 shared papers
• Veena Ravishankar 1 shared papers