Andrew M. Marshall

Identifiers

No identifiers captured yet.

Papers (2)

1. Knowledge Problems in Protocol Analysis: Extending the Notion of Subterm Convergent cs.LO · 2024 · author #4
2. On Asymmetric Unification for the Theory of XOR with a Homomorphism cs.CC · 2019 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Carter Bunch 1 shared papers
• Catherine Meadows 1 shared papers
• Christophe Ringeissen 1 shared papers
• Christopher Lynch 1 shared papers
• Paliath Narendran 1 shared papers
• Saraid Dwyer Satterfield 1 shared papers
• Serdar Erbatur 1 shared papers
• Veena Ravishankar 1 shared papers