Proofs of Replicated Storage Without Timing Assumptions.

Ivan Damgård Chaya Ganesh Claudio Orlandi

Published in: CRYPTO (1) (2019)

Keyphrases

data replication
theorem proving
fault tolerant
formal proofs
storage requirements
storage and retrieval
data storage
theorem prover
database
information retrieval
file system
mass storage
mathematical proofs
storage management
random access
storage space
multi agent systems
data mining
databases