New proofs of retrievability using locally decodable codes.

Julien Lavauzelle Françoise Levy-dit-Vehel

Published in: ISIT (2016)

Keyphrases

locally decodable codes
private information retrieval schemes
theorem proving
cryptographic protocols
data integrity
prior art
equational theories
mathematical proofs
first order logic
theorem prover
error correcting codes