Proofs of Retrievability Based on MRD Codes.

Shuai Han Shengli Liu Kefei Chen Dawu Gu

Published in: ISPEC (2014)

Keyphrases

error correction
black box
theorem prover
theorem proving
mathematical proofs
formal proof
neural network
equational theories
formal proofs
error control
error correcting codes
error detection
database systems
real time
natural deduction
computer programs
expert systems
parity check