Outsourcing Proofs of Retrievability.

Frederik Armknecht Jens-Matthias Bohli Ghassan Karame Wenting Li

Published in: IEEE Trans. Cloud Comput. (2021)

Keyphrases

information technology
service providers
prior art
information systems
formal proofs
theorem proving
theorem prover
risk management
transaction costs
patent retrieval
natural deduction
image sequences
business process
data integrity
mathematical knowledge