Justin R. Thaler

• Practical Verified Computation with Streaming Interactive Proofs