DMCA

Practical Verified Computation with Streaming Interactive Proofs (2013)

by Justin R. Thaler