Proofs of Replicated Storage Without Timing Assumptions.
Ivan DamgårdChaya GaneshClaudio OrlandiPublished in: IACR Cryptol. ePrint Arch. (2018)
Keyphrases
- data replication
- data storage
- theorem proving
- storage and retrieval
- efficient storage
- natural deduction
- fault tolerant
- file system
- storage requirements
- random access
- solid state
- fault tolerance
- theorem prover
- formal proofs
- data sets
- remote server
- flash memory
- distributed systems
- response time
- database systems
- knowledge base
- information systems
- information retrieval