Privacy-preserving and verifiable protocols for scientific computation outsourcing to the cloud

Journal of Parallel and Distributed Computing

Volumn 74, Issue 3, 2014, Pages 2141-2151

  Chen, Fei ^a   Xiang, Tao ^b   Yang, Yuanyuan ^c  

^a CHINESE UNIVERSITY OF HONG KONG   (Hong Kong)

^b CHONGQING UNIVERSITY   (China)

^c Stony Brook University   (United States)

Author keywords

Cloud computing; Computation outsourcing; Distributed computing; Linear equation solving; Linear programming

Indexed keywords

EQUATION SOLVING; HO-MOMORPHIC ENCRYPTIONS; LINEAR PROGRAMMING PROBLEM; NUMERICAL EXPERIMENTS; PERFORMANCE GAIN; PRIVACY PRESERVING; PSEUDO RANDOM NUMBER GENERATORS; SCIENTIFIC COMPUTATION;

CLOUD COMPUTING; DISTRIBUTED COMPUTER SYSTEMS; LINEAR EQUATIONS; LINEAR PROGRAMMING; RANDOM NUMBER GENERATION;

OUTSOURCING;

EID: 84891322736     PISSN: 07437315     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jpdc.2013.11.007     Document Type: Article

References (39)

1. M. Atallah, K. Pantazopoulos, J. Rice, and E. Spafford Secure outsourcing of scientific computations Adv. Comput. 54 2002 215 272
2. S. Benabbas, R. Gennaro, Y. Vahlis, Verifiable delegation of computation over large datasets, in: Advances in Cryptology-CRYPTO 2011, 2011, pp. 111-131.
3. M. Blum, and S. Micali How to generate cryptographically strong sequences of pseudo-random bits SIAM J. Comput. 13 4 1984 850 864
4. S. Boyd, and L. Vandenberghe Convex Optimization 2004 Cambridge University Press
5. F. Chen, Secure LP and LE outsourcing Source Code, 2013. https://sites.google.com/site/chenfeiorange/secure-le-and-lp-outsourcing.
6. K. Chung, Y. Kalai, S. Vadhan, Improved delegation of computation using fully homomorphic encryption, in: Advances in Cryptology-CRYPTO 2010, 2010, pp. 483-501.
7. T. Davis, Y. Hu, The University of Florida sparse matrix collection, 2013. http://www.cise.ufl.edu/research/sparse/matrices/.
8. J. Dreier, and F. Kerschbaum Practical privacy-preserving multiparty linear programming based on problem transformation Privacy, Security, Risk and Trust (passat), 2011 IEEE Third International Conference on and 2011 IEEE Third International Conference on Social Computing (socialcom) 2011 IEEE 916 924
9. S. Galbraith Mathematics of Public Key Cryptography 2012 Cambridge University Press
10. M.R. Garey, and D.S. Johnson Computers and Intractability vol. 174 1979 Freeman New York
11. R. Gennaro, C. Gentry, B. Parno, Non-interactive verifiable computing: Outsourcing computation to untrusted workers, in: Advances in Cryptology-CRYPTO 2010, 2010, pp. 465-482.
12. C. Gentry, A fully homomorphic encryption scheme, Ph.D. Thesis, Stanford University, 2009. crypto.stanford.edu/craig.
13. S. Goldwasser, Y. Kalai, and G. Rothblum Delegating computation: interactive proofs for muggles Proceedings of the 40th Annual ACM Symposium on Theory of Computing 2008 ACM 113 122
14. S. Goldwasser, S. Micali, and C. Rackoff The knowledge complexity of interactive proof-systems Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing 1985 ACM 291 304
15. Y. Hong, J. Vaidya, and H. Lu Efficient distributed linear programming with limited disclosure Proceedings of the 25th Annual IFIP WG 11.3 Conference on Data and Applications Security and Privacy 2011 Springer-Verlag 170 185
16. R. Impagliazzo, L. Levin, and M. Luby Pseudo-random generation from one-way functions Proceedings of the Twenty-First Annual ACM Symposium on Theory of Computing 1989 ACM 12 24
17. C.E. Leiserson, R.L. Rivest, C. Stein, and T.H. Cormen Introduction to Algorithms 2001 The MIT Press
18. O. Mangasarian Privacy-preserving linear programming Optim. Lett. 5 1 2011 165 172
19. O.L. Mangasarian Privacy-preserving horizontally partitioned linear programs Optim. Lett. 2012 1 6
20. H.D. Mittelmann, Decision tree for optimization software, 2013. http://plato.asu.edu/sub/testcases.html.
21. NETLIB, The netlib lp test problem set, 2013. http://www.numerical.rl.ac. uk/cute/netlib.html.
22. A.V. Oppenheim, A.S. Willsky, and S.H. Nawab Signals and Systems vol. 2 1983 Prentice-Hall Englewood Cliffs, NJ
23. P. Paillier Public-key cryptosystems based on composite degree residuosity classes Advances in Cryptology - EUROCRYPT'99 1999 Springer 223 238
24. B. Parno, M. Raykova, V. Vaikuntanathan, How to delegate and verify in public: Verifiable computation from attribute-based encryption, in: Proceedings of Ninth IACR Theory of Cryptography Conference, 2012.
25. Y. Saad Iterative Methods for Sparse Linear Systems 2003 Society for Industrial Mathematics
26. C. Shannon Communication theory of secrecy systems Bell Syst. Tech. J. 28 4 1949 656 715
27. C. Shannon A mathematical theory of communication ACM SIGMOBILE Mobile Comput. Commun. Rev. 5 1 2001 3 55
28. J. Vaidya A secure revised simplex algorithm for privacy-preserving linear programming Advanced Information Networking and Applications, 2009. AINA'09. International Conference on 2009 IEEE 347 354
29. W. Wang, Netlib linear programming problem collection, 2013. http://www.math.ntu.edu.tw/~wwang/cola
30. C. Wang, K. Ren, and J. Wang Secure and practical outsourcing of linear programming in cloud computing 30th IEEE Conference on Computer Communications INFOCOM'11 2011 IEEE 820 828
31. C. Wang, K. Ren, J. Wang, and K. Urs Harnessing the cloud for securely solving large-scale systems of linear equations 31st International Conference on Distributed Computing Systems ICDCS'11 2011 IEEE 549 558
32. C. Wang, K. Ren, J. Wang, and Q. Wang Harnessing the cloud for securely outsourcing large-scale systems of linear equations IEEE Trans. Parallel Distrib. Syst. 24 6 2013 1172 1181 10.1109/TPDS.2012.206
33. Wiki, Wireless sensor network, http://en.wikipedia.org/wiki/Sensor
34. Wikipedia, Seti@home - wikipedia, the free encyclopedia, 2012 (Online; accessed 10.09.12). URL http://en.wikipedia.org/w/index.php?title=SETI@home.
35. Wikipedia, Folding@home - wikipedia, the free encyclopedia, 2012 (Online; accessed 11.09.12). URL http://en.wikipedia.org/w/index.php?title=Folding@home.
36. Wikipedia, Advanced encryption standard - wikipedia, the free encyclopedia, [Online; accessed 10-September-2012] (2012). URL: http://en.wikipedia.org/w/index.php?title=Advanced-Encryption-Standard.
37. Wikipedia, Sha-2 - wikipedia, the free encyclopedia, 2012 (Online; accessed 10.09.12). URL http://en.wikipedia.org/w/index.php?title=SHA-2.
38. A. Yao How to generate and exchange secrets 27th Annual Symposium on Foundations of Computer Science FOCS 1986 IEEE 162 167
39. A. Yao, Protocols for secure computations, in: Proceedings of the 23rd Annual Symposium on Foundations of Computer Science, FOCS, 1982, pp. 160-164.