Publication | Open Access
Compact Proofs of Retrievability
494
Citations
21
References
2012
Year
EngineeringAutomated ReasoningProof ComplexityFormal MethodsCompact ProofsProof TheoryComputer ScienceProof SystemFormal VerificationData Security
| Year | Citations | |
|---|---|---|
Page 1
Page 1