New publicly verifiable computation for batch matrix multiplication

Information Sciences

Volumn 479, Issue , 2019, Pages 664-678

  Zhang, Xiaoyu ^a   Jiang, Tao ^a   Li, Kuan Ching ^b   Castiglione, Aniello ^c   Chen, Xiaofeng ^a  

^a XIDIAN UNIVERSITY   (China)

^b PROVIDENCE UNIVERSITY   (Taiwan)

^c UNIVERSITY OF SALERNO   (Italy)

Author keywords

Batch matrix multiplication; Privacy protection; Public delegation; Publicly verifiable computation

Indexed keywords

CLOUD COMPUTING; DATA PRIVACY; LINEAR TRANSFORMATIONS; OUTSOURCING;

COMPUTATION-INTENSIVE TASK; DIFFIE-HELLMAN ASSUMPTION; EXPERIMENTAL EVALUATION; MATRIX MULTIPLICATION; MATRIX TRANSFORMATION; PRIVACY PROTECTION; PUBLIC DELEGATION; PUBLICLY VERIFIABLE;

MATRIX ALGEBRA;

EID: 85037050338     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ins.2017.11.063     Document Type: Article

References (52)

1. Atallah, M.J., Pantazopoulos, K.N., Rice, J.R., Spafford, E.E., Secure outsourcing of scientific computations. Adv. Comput. 54 (2002), 215–272.
2. Ben-Or, M., Goldwasser, S., Kilian, J., Wigderson, A., Multi-prover interactive proofs: how to remove intractability assumptions. Proceedings of the 20th Annual ACM Symposium on Theory of Computing, 1988, 113–131.
3. Benabbas, S., Gennaro, R., Vahlis, Y., Verifiable delegation of computation over large datasets. Proceedings of Advances in Cryptology-CRYPTO 2011, 2011, 111–131.
4. Benzi, M., Preconditioning techniques for large linear systems: a survey. J. Comput. Phys. 182:2 (2002), 418–477.
5. Blum, M., Luby, M., Rubinfeld, R., Self-testing/correcting with applications to numerical problems. J. Comput. Syst. Sci. 47:3 (1993), 549–595.
6. Chen, X., Introduction to secure outsourcing computation. Synth. Lect. Inf. Secur., Privacy, Trust 8:2 (2016), 1–93.
7. Chen, X., Huang, X., Li, J., Ma, J., New algorithms for secure outsourcing of large-scale systems of linear equations. IEEE Trans. Inf. Forensics Secur. 10:1 (2015), 69–78.
8. Chen, X., Li, J., Huang, X., Ma, J., Lou, W., New publicly verifiable databases with efficient updates. IEEE Trans. Dependable Secure Comput. 12:5 (2015), 546–556.
9. Chen, X., Li, J., Ma, J., Tang, Q., Lou, W., New algorithms for secure outsourcing of modular exponentiations. IEEE Trans. Parallel Distrib. Syst. 25:9 (2014), 2386–2396.
10. Chen, X., Li, J., Weng, J., Ma, J., Lou, W., Verifiable computation over large database with incremental updates. IEEE Trans. Comput. 65:10 (2016), 3184–3195.
11. Dirac, P., The lorentz transformation and absolute time. Physica 19:1 (1953), 888–896.
12. Elkhiyaoui, K., Önen, M., Azraoui, M., Molva, R., Efficient techniques for publicly verifiable delegation of computation. Proceedings of the 11th ACM on Asia Conference on Computer and Communications Security, 2016, 119–128.
13. Fiore, D., Gennaro, R., Publicly verifiable delegation of large polynomials and matrix computations, with applications. Proceedings of the 2012 ACM Conference on Computer and Communications Security, 2012, 501–512.
14. Forsman, K., Gropp, W., Kettunen, L., Levine, D., Salonen, J., Solution of dense systems of linear equations arising from integral-equation formulations. IEEE Antennas Propag. Mag. 37:6 (1995), 96–100.
15. Gennaro, R., Gentry, C., Parno, B., Non-interactive verifiable computing: outsourcing computation to untrusted workers. Proceedings of Advances in Cryptology-CRYPTO 2010, 2010, 465–482.
16. Gentry, C., et al. Fully homomorphic encryption using ideal lattices. Proceedings of ACM Symposium on Theory of Computing, 2009, 169–178.
17. Goldreich, O., Micali, S., Wigderson, A., How to play any mental game. Proceedings of the 19th Annual ACM Symposium on Theory of Computing, 1987, 218–229.
18. Goldwasser, S., Micali, S., Rackoff, C., The knowledge complexity of interactive proof systems. SIAM J. Comput. 18:1 (1989), 186–208.
19. Golle, P., Mironov, I., Uncheatable distributed computations. Proceedings of the Cryptographers Track at the RSA Conference, 2001, 425–440.
20. Jia, K., Li, H., Liu, D., Yu, S., Enabling efficient and secure outsourcing of large matrix multiplications. Proceedings of 2015 IEEE Global Communications Conference, 2015, 1–6.
21. Joshi, K.P., Yesha, Y., Finin, T., Automating cloud services life cycle through semantic technologies. IEEE Trans. Serv. Comput. 7:1 (2012), 109–122.
22. Kilian, J., A note on efficient zero-knowledge proofs and arguments. Proceedings of the 24th Annual ACM Symposium on Theory of Computing, 1992, 723–732.
23. Lei, X., Liao, X., Huang, T., Heriniaina, F., Achieving security, robust cheating resistance, and high-efficiency for outsourcing large matrix multiplication computation to a malicious cloud. Inf. Sci. 280 (2014), 205–217.
24. Lei, X., Liao, X., Huang, T., Li, H., Hu, C., Outsourcing large matrix inversion computation to a public cloud. IEEE Trans. Cloud Comput. 1:1 (2013), 78–87.
25. Lei, X., Liao, X., Huang, T., Li, H., Cloud computing service: the case of large matrix determinant computation. IEEE Trans. Serv. Comput. 8:5 (2015), 688–700.
26. Li, H., Dai, Y., Tian, L., Yang, H., Identity-based authentication for cloud computing. Proceedings of Cloud Computing, 2009, 157–166.
27. Li, H., Zhang, S., Luan, T.H., Ren, H., Enabling efficient publicly verifiable outsourcing computation for matrix multiplication. Proceedings of 2015 International Telecommunication Networks and Applications Conference, 2015, 44–50.
28. Li, J., Zhang, Y., Chen, X., Xiang, Y., Secure attribute-based data sharing for resource-limited users in cloud computing. Comput. Secur. 72 (2018), 1–12.
29. Li, P., Li, J., Huang, Z., Gao, C.Z., Chen, W.B., Chen, K., Privacy-preserving Outsourced Classification in Cloud Computing. Cluster Computing, 2017, 1–10.
30. Li, P., Li, J., Huang, Z., Li, T., Gao, C.Z., Yiu, S.M., Chen, K., Multi-key privacy-preserving deep learning in cloud computing. Future Gener. Comput. Syst. 74 (2017), 76–85.
31. Ma, T., Zhang, Y., Cao, J., Shen, J., Tang, M., Tian, Y., Al-Dhelaan, A., Al-Rodhaan, M., Kdvem: a k-degree anonymity with vertex and edge modification algorithm. Computing 97:12 (2015), 1165–1184.
32. Nie, H., Chen, X., Li, J., Liu, J., Lou, W., Efficient and verifiable algorithm for secure outsourcing of large-scale linear programming. Proceedings of IEEE 28th International Conference on Advanced Information Networking and Applications, 2014, 591–596.
33. Paik, I., Chen, W., Huhns, M.N., A scalable architecture for automatic service composition. IEEE Trans. Serv. Comput. 7:1 (2014), 82–95.
34. Park, K.W., Han, J., Chung, J.W., Park, K.H., Themis: a mutually verifiable billing system for the cloud computing environment. IEEE Trans. Serv. Comput. 6:3 (2013), 300–313.
35. Parno, B., Howell, J., Gentry, C., Raykova, M., Pinocchio: Nearly practical verifiable computation. Proceedings of 2013 IEEE Symposium on Security and Privacy, 2013, 238–252.
36. Parno, B., Raykova, M., Vaikuntanathan, V., How to delegate and verify in public: verifiable computation from attribute-based encryption. in: Proceedings of Theory of Cryptography Conference, 2012, 422–439.
37. Ren, K., Wang, C., Wang, Q., Security challenges for the public cloud. IEEE Internet Comput. 16:1 (2012), 69–73.
38. Salinas, S., Luo, C., Chen, X., Li, P., Efficient secure outsourcing of largescale linear systems of equations. Proceedings of 2015 IEEE Conference on Computer Communications, 2015, 1035–1043.
39. Shen, J., Shen, J., Chen, X., Huang, X., Susilo, W., An efficient public auditing protocol with novel dynamic structure for cloud data. IEEE Trans. Inf. Forensics Secur. 12:10 (2017), 2402–2415.
40. Sheng, G., Tang, C., Gao, W., Yin, Y., MD-VCmatrix: an efficient scheme for publicly verifiable computation of outsourced matrix multiplication. Proceedings of International Conference on Network and System Security, 2016, 349–362.
41. Vu, V., Setty, S., Blumberg, A.J., Walfish, M., A hybrid architecture for interactive verifiable computation. Proceedings of 2013 IEEE Symposium on Security and Privacy, 2013, 223–237.
42. Wang, C., Cao, N., Ren, K., Lou, W., Enabling secure and efficient ranked keyword search over outsourced cloud data. IEEE Trans. Parallel Distrib. Syst. 23:8 (2012), 1467–1479.
43. Wang, C., Ren, K., Wang, J., Secure optimization computation outsourcing in cloud computing: a case study of linear programming. IEEE Trans. Comput. 65:1 (2016), 216–229.
44. Wang, C., Ren, K., Wang, J., Wang, Q., Harnessing the cloud for securely outsourcing large-scale systems of linear equations. IEEE Trans. Parallel Distrib. Syst. 24:6 (2013), 1172–1181.
45. Wang, C., Wang, Q., Ren, K., Cao, N., Lou, W., Toward secure and dependable storage services in cloud computing. IEEE Trans. Serv. Comput. 5:2 (2012), 220–232.
46. Wang, C., Zhang, B., Ren, K., Roveda, J.M., Privacy-assured outsourcing of image reconstruction service in cloud. IEEE Trans. Emerg. Top. Comput. 1:1 (2013), 166–177.
47. Wang, J., Chen, X., Huang, X., You, I., Xiang, Y., Verifiable auditing for outsourced database in cloud computing. IEEE Trans. Comput. 64:11 (2015), 3293–3303.
48. Yao, A.C., Protocols for secure computations. Proceedings of 23rd Annual Symposium on Foundations of Computer Science, 1982, 160–164.
49. Zhang, L.F., Safavi-Naini, R., Private outsourcing of polynomial evaluation and matrix multiplication using multilinear maps. Proceedings of International Conference on Cryptology and Network Security, 2013, 329–348.
50. Zhang, L.F., Safavi-Naini, R., Verifiable delegation of computations with storage-verification trade-off. Proceedings of European Symposium on Research in Computer Security, 2014, 112–129.
51. Zhang, Q., Cheng, L., Boutaba, R., Cloud computing: state-of-theart and research challenges. J. Internet Serv. Appl. 1:1 (2010), 7–18.
52. Zhang, X., Jiang, T., Li, K.C., Chen, X., New publicly verifiable computation for batch matrix multiplication. Proceedings of International Conference on Green, Pervasive, and Cloud Computing, 2017, 53–65.