Outsourced Privately Verifiable Proofs of Retrievability via Blockchain.
Hui CuiZhiguo WanRui GaoHuaqun WangPublished in: IEEE Trans. Dependable Secur. Comput. (2024)
Keyphrases
- third party
- theorem proving
- formal proofs
- service providers
- theorem prover
- formal proof
- prior art
- secret sharing
- mathematical proofs
- machine learning
- data integrity
- equational theories
- decision procedures
- database
- differential privacy
- personal data
- patent retrieval
- natural deduction
- project managers
- mathematical knowledge
- sufficient conditions
- bayesian networks
- databases