Sign in
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