Results 11 to 20 of about 2,533 (255)
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
IEEE Access, 2022 The continuous production of large-scale data makes data outsourcing computation a trend. In order to ensure that data outsourcing transaction is trusted and fair, it needs the supervision and judgment of a third party.
Lina Li +4 more
doaj +1 more source
A Verifiable Access Control Scheme for Mobile Cloud Storage [PDF]
Jisuanji gongcheng, 2016 In order to meet the secure requirements of data sharing in mobile cloud storage environment,a verifiable access control scheme based on Ciphertext-policy Attribute-based Encryption(CP-ABE) is proposed from the aspects of data security access control and
WANG Qian,XIONG Shuming
doaj +1 more source
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 +1 more source
Verifiable Quantum Cloud Computation Scheme Based on Blind Computation
IEEE Access, 2020 In this paper, we propose a verifiable quantum cloud computation scheme based on blind quantum computation which effectively solves the privacy and verifiability problem for clients when interfacing with quantum computer in cloud computation.
Jing Li +3 more
doaj +1 more source
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
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
Verifying BQP Computations on Noisy Devices with Minimal Overhead
PRX Quantum, 2021 With the development of delegated quantum computation, clients will want to ensure confidentiality of their data and algorithms and the integrity of their computations.
Dominik Leichtle +3 more
doaj +1 more source
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
Verifiable Privacy-Preserving Computing
CoRR, 2023 Privacy-preserving computation (PPC) methods, such as secure multiparty computation (MPC) and homomorphic encryption (HE), are deployed increasingly often to guarantee data confidentiality in computations over private, distributed data. Similarly, we observe a steep increase in the adoption of zero-knowledge proofs (ZKPs) to guarantee (public ...
Tariq Bontekoe +2 more
openaire +2 more sources