Results 11 to 20 of about 3,559 (249)
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 +1 more source
Verifying computations with state [PDF]
Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles, 2013 When a client outsources a job to a third party (e.g., the cloud), how can the client check the result, without re-executing the computation? Recent work in proof-based verifiable computation has made significant progress on this problem by incorporating deep results from complexity theory and cryptography into built systems.
Benjamin Braun +5 more
openaire +2 more sources
Efficient Generation of Program Execution Hash
IEEE Access, 2022 Distributed computing systems often require verifiable computing techniques in case their node is untrusted. To verify a node’s computation result, proof-of-work (PoW) is often utilized as a basis of verifiable computing method; however, this ...
Eunyeong Ahn +4 more
doaj +1 more source
Research on Verifiable Keyword Search over Encrypted Cloud Data:A Survey [PDF]
Jisuanji kexue, 2022 The convenience and efficiency of cloud computing have brought great potential for its development.More and more enterprises and individuals obtain real benefits by using various outsourcing services provided by cloud computing.In order to protect the ...
ZHOU Qian, DAI Hua, SHENG Wen-jie, HU Zheng, YANG Geng
doaj +1 more source
Provable Secure Delegation Computing Protocol Based on Privacy Protection [PDF]
Jisuanji gongcheng, 2021 Cloud-based delegation computing services can provide tremendous savings in time and computation costs for the delegate,but their privacy and provable security problems remain challenging.This paper combines fully homomorphic encryption and multi-linear ...
LI Qiuxian, ZHOU Quanxing, WANG Zhenlong, DING Hongfa, PAN Qixin
doaj +1 more source
Computing and Verifying Depth Orders [PDF]
SIAM Journal on Computing, 1992 Summary: A depth order on a set of line segments in 3-space is an order such that line segment \(a\) comes before line segment \(a'\) in the order when \(a\) lies below \(a'\) or, in other words, when there is a vertical ray that first intersects \(a'\) and then intersects \(a\). Efficient algorithms for the computation and verification of depth orders
DEBERG, M +2 more
openaire +5 more sources
Achieving Verifiable Decision Tree Prediction on Hybrid Blockchains
Entropy, 2023 Machine learning has become increasingly popular in academic and industrial communities and has been widely implemented in various online applications due to its powerful ability to analyze and use data.
Moxuan Fu +5 more
doaj +1 more source
网络与信息安全学报With the development of cloud computing and internet of things technology, verifiable computing has been widely used as a new computing technology. While verifiable computing brings convenience to users, there are also security challenges: data privacy ...
Tianpeng ZHANG, Zhiyu REN, Xuehui DU, Haichao WANG
doaj +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
openaire +4 more sources
Verified Computation with Probabilities [PDF]
, 2012 Because machine calculations are prone to errors that can sometimes accumulate disastrously, computer scientists use special strategies called verified computation to ensure output is reliable. Such strategies are needed for computing with probability distributions.
Scott Ferson, Jack Siegrist
openaire +2 more sources