Taking Proof-Based Verified Computation a Few Steps Closer to Practicality

published

Abstract

No abstract available.

Cite this paper

@article{setty2012,
  title = {Taking Proof-Based Verified Computation a Few Steps Closer to Practicality},
  author = {Srinath T. V. Setty and Victor Vu and Nikhil Panpalia and Benjamin Braun and Andrew J. Blumberg and Michael Walfish},
  journal = {USENIX Security Symposium},
  year = {2012},
  month = {Jan},
}