Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1105.2003
Cited By
Practical Verified Computation with Streaming Interactive Proofs
10 May 2011
Graham Cormode
Michael Mitzenmacher
J. Thaler
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Practical Verified Computation with Streaming Interactive Proofs"
2 / 2 papers shown
Title
Privacy-preserving Blockchain-enabled Parametric Insurance via Remote Sensing and IoT
Mingyu Hao
Keyang Qian
Sid Chi-Kin Chau
23
2
0
15 May 2023
Time-Optimal Interactive Proofs for Circuit Evaluation
J. Thaler
77
222
0
13 Apr 2013
1