pldb wrapped

CCCas Cremers

2 papers

cited 18×

cites 1

Reply guy/gal

ESElaine Shi

cited you 2×

Secret admirer

FEFabienne Eigner

them: 2 · you: 0

Main character

The TAMARIN Prover for the Symbolic Analysis of Security Protocols

CAV 2013 · cited 12×

Deepest dig

The AVISPA Tool for the Automated Validation of Internet Security Protocols and…

CAV 2005

Lamport number5

1. CCyou
2. DABDavid A. Basin
3. AAAlessandro Armando
4. MMMarius Minea
5. RPKRobert P. Kurshan
6. LLLeslie Lamport

Load-bearing co-author: David A. Basin. Without them: ∞.

pldb.kirancodes.me/fun · within PLDB

Counts are citations between papers in PLDB, one per pair of papers; self-citations excluded. Mutuals: you cite each other (you ⇄ them). Older papers have thinner citation data.

Pictures come from Bluesky accounts we could match to dblp names. Not showing yours, or showing the wrong one? Email me.