Results 11 to 20 of about 2,887,711 (311)
RPVC: A Revocable Publicly Verifiable Computation Solution for Edge Computing [PDF]
Sensors, 2022 With publicly verifiable computation (PVC) development, users with limited resources prefer to outsource computing tasks to cloud servers. However, existing PVC schemes are mainly proposed for cloud computing scenarios, which brings bandwidth consumption
Zi Jiao +3 more
doaj +3 more sources
Frontiers in Blockchain, 2021 The energy system is becoming increasingly decentralized. This development requires integrating and coordinating a rising number of actors and small units in a complex system.
Andreas Zeiselmair +7 more
doaj +4 more sources
Future Internet, 2023 With the prevalence of cloud computing, the outsourcing of computation has gained significant attention. Clients with limited computing power often outsource complex computing tasks to the cloud to save on computing resources and costs.
Beibei Song +5 more
doaj +4 more sources
Practical Verifiable Computation by Using a Hardware-Based Correct Execution Environment
IEEE Access, 2020 The verifiable computation paradigm has been studied extensively as a means to verifying the result of outsourced computation. In said scheme, the verifier requests computation from the prover and verifies the result by checking the output and proof ...
Junghee Lee +4 more
doaj +4 more sources
Communications of the ACM, 2013 To instill greater confidence in computations outsourced to the cloud, clients should be able to verify the correctness of the results returned. To this end, we introduce Pinocchio, a built system for efficiently verifying general computations while relying only on cryptographic assumptions.
Bryan Parno +3 more
semanticscholar +5 more sources
Geppetto: Versatile Verifiable Computation [PDF]
2015 IEEE Symposium on Security and Privacy, 2015 Cloud computing sparked interest in Verifiable Computation protocols, which allow a weak client to securely outsource computations to remote parties. Recent work has dramatically reduced the client's cost to verify the correctness of their results, but the overhead to produce proofs remains largely impractical.
Craig Costello +7 more
semanticscholar +6 more sources
Secure Cloud Control Using Verifiable Computation
Coins, 2021 Security for outsourced control applications can be provided if the physical plant is enabled with a mechanism to verify the control signal received from the cloud.
Rouhollah Mahfouzi +4 more
semanticscholar +3 more sources
Reinforced Concrete: A Fast Hash Function for Verifiable Computation [PDF]
Conference on Computer and Communications Security, 2022 We propose a new hash function Reinforced Concrete, which is the first generic purpose hash that is fast both for a zero-knowledge prover and in native x86 computations.
Lorenzo Grassi +5 more
semanticscholar +2 more sources
Multi-matrix verifiable computation [PDF]
Cluster Computing, 2020 The problem of securely outsourcing computation to cloud servers has attracted a large amount of attention in recent years. The verifiable computation of Gennaro, Gentry, Parno (Crypto'10) allows a client to verify the server's computation of a function with substantially less time than performing the outsourced computation from scratch.
Yan He, Liang Feng Zhang
openaire +4 more sources
Verifiable Computing Applications in Blockchain [PDF]
IEEE Access, 2021 From weak clients outsourcing computational tasks to more powerful machines, to distributed blockchain nodes needing to agree on the state of the ledger in the presence of adversarial nodes, there is a growing need to efficiently verify the results of ...
Silvio Simunic +2 more
doaj +2 more sources