No abstract available.
@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}, }
Srinath T. V. Setty et al. (2012). Taking Proof-Based Verified Computation a Few Steps Closer to Practicality. USENIX Security Symposium.
Srinath T. V. Setty, et al.. "Taking Proof-Based Verified Computation a Few Steps Closer to Practicality." USENIX Security Symposium, 2012.
Srinath T. V. Setty, et al.. "Taking Proof-Based Verified Computation a Few Steps Closer to Practicality." USENIX Security Symposium (2012).
Srinath T. V. Setty et al., 2012. Taking Proof-Based Verified Computation a Few Steps Closer to Practicality. USENIX Security Symposium.
TY - JOUR TI - Taking Proof-Based Verified Computation a Few Steps Closer to Practicality AU - Srinath T. V. Setty AU - Victor Vu AU - Nikhil Panpalia AU - Benjamin Braun AU - Andrew J. Blumberg AU - Michael Walfish PY - 2012 JO - USENIX Security Symposium ER -