Results 221 to 230 of about 2,533 (255)

Autonomous Chemistry and Materials Innovation Driven by Scientific Agents. [PDF]

JACS Au
Xie Z, Luo M, Ye Z, Chen L, Zhu Z, Jiang J.   +5 more
europepmc   +1 more source

Verifiable computing with privacy: an application to verifiable photos

openaire   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Verifiable computation with access control in cloud computing

Journal of Supercomputing, 2013
With the tremendous growth of cloud computing, verifiable computation has been firstly formalized by Gennaro et al. and then studied widely to provide integrity guarantees in the outsourced computation. However, existing verifiable computation protocols either work in the secret key setting or in the public key setting, namely, work either for single ...
Lingling Xu, Shaohua Tang
exaly   +2 more sources

Stateful Multi-client Verifiable Computation

Lecture Notes in Computer Science, 2018
This paper develops an asynchronous cryptographic protocol for outsourcing arbitrary stateful computation among multiple clients to an untrusted server, while guaranteeing integrity of the data. The clients communicate only with the server and merely store a short authenticator to ensure that the server does not cheat.
Christian Cachin, Björn Tackmann, Papadopoulos Dimitrios   +2 more
exaly   +3 more sources

A Survey of Verifiable Computation

Mobile Networks and Applications, 2017
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 ...
Xixun Yu, Zheng Yan 0002, Athanasios V. Vasilakos   +2 more
openaire   +3 more sources

Batch Verifiable Computation with Public Verifiability for Outsourcing Polynomials and Matrix Computations

2016
In a verifiable computation VC scheme, a client asks a server to perform some outsourced computations, and the latter returns the results as its response. The results can be verified privately or publicly. Fiore and Gennaro CCS 2012 constructed publicly verifiable protocols for secure outsourcing polynomials and matrix computations.
Yujuan Sun, Yu Yu 0001, Xiangxue Li, Kai Zhang 0016, Haifeng Qian, Yuan Zhou 0008   +5 more
openaire   +1 more source

Verifiable Outsourced Computation

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2017
I will review recent (and not so recent) research on the topic of Verifiable Outsourced Computation. The problem of verifying the correctness of computations done by untrusted parties was a driving motivation behind some of the most celebrated results in Complexity Theory in the 90's, from Interactive Proofs to the PCP Theorem.
openaire   +1 more source

Verifiable Computation of Large Polynomials

2015
Due to the proliferation of powerful cloud service, verifiable computation, which makes a computationally weak client perform intensive computations possible through outsourcing tasks to a powerful server, is attracting increasing attention. The correctness of the returned result should be verified as the server may be not trusted. In this paper, we
Jiaqi Hong, Haixia Xu 0002, Peili Li
openaire   +1 more source