Results 1 to 10 of about 2,887,711 (311)
Molecular Oncology, EarlyView.RETRACTION: S. Gopinath, K. Alapati, R. R. Malla, C. S. Gondi, S. Mohanam, D. H. Dinh, and J. S. Rao, “Mechanism of p27 Upregulation Induced by Downregulation of Cathepsin B and Upar in Glioma,” Molecular Oncology 5, no. 5 (2011): 426–437, https://doi.org/10.1016/j.molonc.2011.07.004.
wiley +1 more source
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 +2 more
semanticscholar +5 more sources
Some of the next articles are maybe not open access.
Lecture Notes in Computer Science, 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.
Xiangxue Li, Kai Zhang, Haifeng Qian
exaly +3 more sources
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.
Xiangxue Li, Kai Zhang, Haifeng Qian
exaly +3 more sources
Verifiable computation with access control in cloud computing
Journal of Supercomputing, 2013With 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
Verifiable Outsourced Computation
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2017I 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
2015Due 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
Modular Synthesis of Verified Verifiers of Computation with STV Algorithms
2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE), 2019Single transferable vote (STV) is a family of preferential voting systems, different instances of which are used in binding elections throughout the world. We give a formal specification of this family, from which we derive fully verified tools that verify the computation for various instances of STV vote counting.
Milad K. Ghale +2 more
openaire +1 more source