Results 271 to 280 of about 2,887,711 (311)
Trinocchio: Privacy-Preserving Outsourcing by Distributed Verifiable Computation
Lecture Notes in Computer Science, 2016 p>Verifiable computation allows a client to outsource computations to a worker with a cryptographic proof of correctness of the result that can be verified faster than performing the computation.
Schoenmakers Berry
exaly +4 more sources
Stateful Multi-client Verifiable Computation [PDF]
, 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 +3 more
openaire +3 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Incrementally Verifiable Computation via Rate-1 Batch Arguments
IEEE Annual Symposium on Foundations of Computer Science, 2022Non-interactive delegation schemes enable producing succinct proofs (that can be efficiently verified) that a machine M transitions from c1 to c2 in a certain number of deterministic steps. We here consider the problem of efficiently merging such proofs:
Omer Paneth, R. Pass
semanticscholar +1 more source
Multi-Server Verifiable Computation of Low-Degree Polynomials
IEEE Symposium on Security and Privacy, 2022The conflicts between input privacy and efficiency in single-server non-interactive verifiable computation (NIVC) makes it interesting to consider the multi-server models of NIVC.
L. Zhang, Huaxiong Wang
semanticscholar +1 more source
IEEE Transactions on Information Forensics and Security, 2020
With more organizational and individual data owners storing their data in the cloud, there is a corresponding need to ensure that such outsourced data can be computed by the data owners or some authorized third parties.
Xu An Wang +2 more
exaly +2 more sources
With more organizational and individual data owners storing their data in the cloud, there is a corresponding need to ensure that such outsourced data can be computed by the data owners or some authorized third parties.
Xu An Wang +2 more
exaly +2 more sources
Efficient Verifiable Computation of XOR for Biometric Authentication [PDF]
Lecture Notes in Computer Science, 2016 This work addresses the security and privacy issues in remote biometric authentication by proposing an efficient mechanism to verify the correctness of the outsourced computation in such protocols.
Aysajan Abidin +2 more
exaly +2 more sources
Attribute-based multi-function verifiable computation
Future Generation Computer Systems, 2018Rui Xue
exaly +2 more sources
New publicly verifiable computation for batch matrix multiplication
Information Sciences, 2017With the prevalence of cloud computing, the resource constrained clients are trended to outsource their computation-intensive tasks to the cloud server. Although outsourcing computation paradigm brings many benefits for both clients and cloud server, it ...
Xiaoyu Zhang +3 more
semanticscholar +2 more sources
Publicly Verifiable Computation of Polynomials Over Outsourced Data With Multiple Sources
IEEE Transactions on Information Forensics and Security, 2017Wei Song, Qian Wang, Wenjing Lou
exaly +2 more sources
Verified Implementations for Secure and Verifiable Computation. [PDF]
IACR Cryptol. ePrint Arch., 2014 Formal verification of the security of software systems is gradually moving from the traditional focus on idealized models, to the more ambitious goal of producing verified implementations.
José Bacelar Almeida +6 more
openaire +2 more sources