Outsourced Proofs of Retrievability.

Frederik Armknecht Jens-Matthias Bohli Ghassan O. Karame Zongren Liu Christian A. Reuter

Published in: CCS (2014)

Keyphrases

third party
theorem proving
formal proof
theorem prover
service providers
prior art
natural deduction
formal proofs
real world
data mining
decision trees
decision procedures