A Survey of Verifiable Computation

Yu, X; Yan, Z; Vasilakos, AV

A Survey of Verifiable Computation

Yu, X Yan, Z Vasilakos, AV

Permalink

Publisher:: Springer
Publication Type:: Journal Article
Citation:: Mobile Networks and Applications, 2017, 22, (3), pp. 438-453
Issue Date:: 2017-06-01

Closed Access

	Filename	Description	Size
	s11036-017-0872-3.pdf		555.17 kB	Adobe PDF	View/Open

Copyright Clearance Process

Recently Added
In Progress
Closed Access

This item is closed access and not available.

Full metadata record

Field	Value	Language
dc.contributor.author	Yu, X
dc.contributor.author	Yan, Z
dc.contributor.author	Vasilakos, AV
dc.date.accessioned	2022-08-23T05:23:10Z
dc.date.available	2022-08-23T05:23:10Z
dc.date.issued	2017-06-01
dc.identifier.citation	Mobile Networks and Applications, 2017, 22, (3), pp. 438-453
dc.identifier.issn	1383-469X
dc.identifier.issn	1572-8153
dc.identifier.uri	http://hdl.handle.net/10453/160742
dc.description.abstract	Internet of Things (IoT) has taken place to motivate various intelligent applications with the data collected by the things”. Meanwhile, Cloud computing offers an efficient and convenient way to store, process and analyze huge amount of data. Because a Cloud Service Provider (CSP) that is employed to store and process user private data is actually not in the trust domains of cloud users, data security becomes a serious issue in cloud computing. One crucial problem in cloud is the cloud data processing result may be incorrect, thus cannot be fully trusted. This calls for research to verify the correctness of data processing at the cloud in order to enhance its trustworthiness, especially for encrypted data processing. At present, various cryptosystems have been proposed to achieve verifiability with different characteristics and quality. However, the literature still lacks a thorough survey to review the current state of art in order to get a comprehensive view of this research field, named verifiable computation. In this paper, we review existing work of verifiable computation by comparing and discussing pros and cons according to performance requirements, highlight open research issues through serious review and analysis and propose a number of research directions in order to guide future research.
dc.language	English
dc.publisher	Springer
dc.relation.ispartof	Mobile Networks and Applications
dc.relation.isbasedon	10.1007/s11036-017-0872-3
dc.rights	info:eu-repo/semantics/closedAccess
dc.subject	0805 Distributed Computing, 0999 Other Engineering
dc.subject.classification	Networking & Telecommunications
dc.title	A Survey of Verifiable Computation
dc.type	Journal Article
utslib.citation.volume	22
utslib.for	0805 Distributed Computing
utslib.for	0999 Other Engineering
pubs.organisational-group	/University of Technology Sydney
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology/School of Electrical and Data Engineering
utslib.copyright.status	closed_access	*
pubs.consider-herdc	false
dc.date.updated	2022-08-23T05:23:09Z
pubs.issue	3
pubs.publication-status	Published
pubs.volume	22
utslib.citation.issue	3

Abstract:

Internet of Things (IoT) has taken place to motivate various intelligent applications with the data collected by the things”. Meanwhile, Cloud computing offers an efficient and convenient way to store, process and analyze huge amount of data. Because a Cloud Service Provider (CSP) that is employed to store and process user private data is actually not in the trust domains of cloud users, data security becomes a serious issue in cloud computing. One crucial problem in cloud is the cloud data processing result may be incorrect, thus cannot be fully trusted. This calls for research to verify the correctness of data processing at the cloud in order to enhance its trustworthiness, especially for encrypted data processing. At present, various cryptosystems have been proposed to achieve verifiability with different characteristics and quality. However, the literature still lacks a thorough survey to review the current state of art in order to get a comprehensive view of this research field, named verifiable computation. In this paper, we review existing work of verifiable computation by comparing and discussing pros and cons according to performance requirements, highlight open research issues through serious review and analysis and propose a number of research directions in order to guide future research.

Please use this identifier to cite or link to this item:

http://hdl.handle.net/10453/160742