Sinhgad Technical Education Society (STES)
A distributed cryptographic system is introduced that allows a set of servers to prove to a client that a stored file is intact and retrievable. The system strengthens, formally unifies, and streamlines distinct approaches from the cryptographic and distributed-systems communities. It cryptographically verifies and reactively reallocates file shares. It is robust against an active, mobile adversary (one that may progressively corrupt the full set of servers). The authors are trying to propose a strong, formal adversarial model for public verifiability, and rigorous analysis.