A <i>proof of retrievability</i> (POR) is a compact proof by a file system (prover) to a client (verifier) that a target file <i>F</i> is intact, in the sense that the client can fully recover it. As PORs incur lower communication complexity than transmission of <i>F</i> itself, they are an attractive building block for high-assurance remote storage systems… (More)