Proofs of Physical Reliability for Cloud Storage Systems. - Li Li 077; Loukas Lazos (IEEE Trans. Parallel Distributed Syst., 2020)