Lightweight Delegatable Proofs of Storage.

Jia Xu Anjia Yang Jianying Zhou Duncan S. Wong

Published in: ESORICS (1) (2016)

Keyphrases

lightweight
file system
theorem proving
data storage
storage requirements
theorem prover
authentication protocol
dos attacks
development environments
communication infrastructure
equational theories
similarity measure
data driven
handheld devices