Riccardo Pucella (Northeastern University)

Identifiers

• name variant Riccardo Pucella (Northeastern University) 0.50 · backfill

Papers (1)

1. Modeling Adversaries in a Logic for Security Protocol Analysis cs.CR · 2006 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Joseph Y. Halpern (Cornell University) 1 shared papers