• 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