Proofs of Storage from Homomorphic Identification Protocols.
Giuseppe AtenieseSeny KamaraJonathan KatzPublished in: ASIACRYPT (2009)
Keyphrases
- cryptographic protocols
- data storage
- theorem proving
- storage and retrieval
- anti collision
- privacy preserving
- database systems
- data exchange
- formal proofs
- automatic identification
- natural deduction
- mathematical proofs
- database
- formal proof
- storage management
- storage systems
- security protocols
- theorem prover
- data structure
- databases