Christophe Ringeissen

Identifiers

No identifiers captured yet.

Papers (1)

1. Knowledge Problems in Protocol Analysis: Extending the Notion of Subterm Convergent cs.LO · 2024 · author #5

Mentions

No mention provenance yet.

Frequent Coauthors

• Andrew M. Marshall 1 shared papers
• Carter Bunch 1 shared papers
• Saraid Dwyer Satterfield 1 shared papers
• Serdar Erbatur 1 shared papers