Group-oriented Proofs of Storage.

Yujue Wang Qianhong Wu Bo Qin Xiaofeng Chen Xinyi Huang Yunya Zhou

Published in: AsiaCCS (2015)

Keyphrases

storage space
storage and retrieval
file system
data storage
solid state
theorem prover
storage requirements
decision procedures
formal proof
data sets
artificial intelligence
computer vision
response time
theorem proving
storage capacity