Ross Horne

Identifiers

No identifiers captured yet.

Papers (2)

1. A Bisimilarity Congruence for the Applied pi-Calculus Sufficiently Coarse to Verify Privacy Properties cs.CR · 2018 · author #1
2. Generating Witness of Non-Bisimilarity for the pi-Calculus cs.LO · 2017 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Alwen Tiu 1 shared papers
• Ki Yung Ahn 1 shared papers