Signatures of Correct Computation

  title={Signatures of Correct Computation},
  author={Charalampos Papamanthou and Elaine Shi and Roberto Tamassia},
We introduce Signatures of Correct Computation (SCC), a new model for verifying dynamic computations in cloud settings. In the SCC model, a trusted source outsources a function f to an untrusted server, along with a public key for that function (to be used during verification). The server can then produce a succinct signature σ vouching for the correctness of the computation of f , i.e., that some result v is indeed the correct outcome of the function f evaluated on some point a. There are two… CONTINUE READING
Highly Cited
This paper has 92 citations. REVIEW CITATIONS
53 Citations
35 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 53 extracted citations

93 Citations

Citations per Year
Semantic Scholar estimates that this publication has 93 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 35 references

Signatures of correct computation

  • C. Papamanthou, E. Shi, R. Tamassia
  • IACR Cryptology ePrint Archive 2011: 587
  • 2011
Highly Influential
9 Excerpts

Similar Papers

Loading similar papers…