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