C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Sybil-proof one-hop DHT.
Chris Lesniewski-Laas
Published in:
SNS (2008)
Keyphrases
</>
load balancing
distributed systems
theorem prover
peer to peer
peer to peer systems
proof planning
linear logic
automated theorem proving