Toward practical and unconditional verification of remote computations

13th Workshop on Hot Topics in Operating Systems, HotOS 2011

Volumn , Issue , 2011, Pages

  Setty, Srinath ^a   Blumberg, Andrew J ^a   Walfish, Michael ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85092637329     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (32)

1. Berkeley Open Infrastructure for Network Computing (BOINC). http://boinc.berkeley.edu.
2. D. P. Anderson et al. SETI@home: An experiment in public-resource computing. CACM, 45(11):56-61, Nov. 2002.
3. S. Arora, C. Lund, R. Motwani, M. Sudan, and M. Szegedy. Proof verification and the hardness of approximation problems. Journal of the ACM, 45(3):501-555, May 1998.
4. M. J. Atallah and K. B. Frikken. Securely outsourcing linear algebra computations. In ASIACCS, 2010.
5. L. Babai, L. Fortnow, L. A. Levin, and M. Szegedy. Checking computations in polylogarithmic time. In STOC, 1991.
6. R. M. Bell and Y. Koren. Improved neighborhood-based collaborative filtering. In KDD Cup and Workshop, 2007.
7. E. Ben-Sasson, O. Goldreich, P. Harsha, M. Sudan, and S. Vadhan. Robust PCPs of proximity, shorter PCPs and applications to coding. 36(4):889-974, Dec. 2006.
8. M. Blum and S. Kannan. Designing programs that check their work. Journal of the ACM, 42(1):269-291, 1995.
9. M. Castro and B. Liskov. Practical Byzantine fault tolerance and proactive recovery. ACM TOCS, 20(4):398-461, 2002.
10. A. Chiesa and E. Tromer. Proof-carrying data and hearsay arguments from signature cards. In ICS, 2010.
11. B.-G. Chun and P. Maniatis. Augmented smart phone applications through clone cloud execution. In HotOS, 2009.
12. R. Gennaro, C. Gentry, and B. Parno. Non-interactive verifiable computing: Outsourcing computation to untrusted workers. In CRYPTO, 2010.
13. C. Gentry. Fully homomorphic encryption using ideal lattices. In STOC, 2009.
14. S. Goldwasser, Y. T. Kalai, and G. N. Rothblum. Delegating computation: Interactive proofs for muggles. In STOC, 2008.
15. S. Goldwasser, S. Micali, and C. Rackoff. The knowledge complexity of interactive proof systems. SIAM Journal on Comp., 18(1):186-208, 1989.
16. J. Groth. Linear algebra with sub-linear zero-knowledge arguments. In CRYPTO, 2009.
17. A. Haeberlen, P. Kouznetsov, and P. Druschel. PeerReview: Practical accountability for distributed systems. In SOSP, 2007.
18. Y. Ishai, E. Kushilevitz, and R. Ostrovsky. Efficient arguments without short PCPs. In Computational Complexity, 2007.
19. J. Kilian. Improved efficient arguments (preliminary version). In CRYPTO, 1995.
20. D. Malkhi, N. Nisan, B. Pinkas, and Y. Sella. Fairplay: A secure two-party computation system. In USENIX Security, 2004.
21. J. M. McCune, B. J. Parno, A. Perrig, M. K. Reiter, and H. Isozaki. Flicker: An execution infrastructure for TCB minimization. In EuroSys, 2008.
22. S. Micali. Computationally sound proofs. SIAM Journal on Comp., 30(4):1253-1298, 2000.
23. N. Michalakis, R. Soulè, and R. Grimm. Ensuring content integrity for untrusted peer-to-peer content distribution networks. In NSDI, 2007.
24. F. Monrose, P. Wycko, and A. D. Rubin. Distributed execution with remote audit. In NDSS, 1999.
25. R. Motwani and P. Raghavan. Randomized Algorithms. Cambridge University Press, 2007.
26. A.-R. Sadeghi, T. Schneider, and M. Winandy. Token-based cloud computing: secure outsourcing of data and arbitrary computations with lower latency. In TRUST, 2010.
27. J. H. Saltzer and M. F. Kaashoek. Principles of Computer System Design: An Introduction. Morgan Kaufmann, Burlington, MA, 2009. Chapter 8.
28. N. Santos, K. P. Gummadi, and R. Rodrigues. Towards trusted cloud computing. In USENIX HotCloud, 2009.
29. A. Seshadri, M. Luk, E. Shi, A. Perrig, L. van Doorn, and P. Khosla. Pioneer: Verifying integrity and guaranteeing execution of code on legacy platforms. In SOSP, 2005.
30. S. Setty, A. J. Blumberg, and M. Walfish. Toward practical and unconditional verification of remote computations (supplement). Technical Report TR-11-16, Dept. of CS, UT Austin, Apr. 2011.
31. R. Sion. Query execution assurance for outsourced databases. In VLDB, 2005.
32. A. C.-C. Yao. How to generate and exchange secrets. In FOCS, 1986.