StealthGuard: Proofs of Retrievability with Hidden Watchdogs.

Monir Azraoui Kaoutar Elkhiyaoui Refik Molva Melek Önen

Published in: ESORICS (1) (2014)

Keyphrases

prior art
theorem proving
hidden information
mathematical proofs
machine learning
image segmentation
image sequences
decision procedures
natural deduction
data sets
neural network
information systems
theorem prover