Results 31 to 40 of about 2,887,711 (311)
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
Multikey Verifiable Homomorphic Encryption
IEEE Access, 2022 A homomorphic encryption (HE) scheme is an advanced encryption technology which allows any user receiving ciphertexts to perform computations over them in a public manner. An important application of an HE scheme is a private delegating computation where
Yi Lu, Keisuke Hara, Keisuke Tanaka
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
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
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
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
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
A Certified Compiler for Verifiable Computing [PDF]
2016 IEEE 29th Computer Security Foundations Symposium (CSF), 2016 In cryptology, verifiable computing aims at verifying the remote execution of a program on an untrusted machine, based on its I/O and constant-sized evidence collected during its execution. Recent cryptographic schemes and compilers enable practical verifiable computations for some programs written in C, but their soundness with regards to C semantics ...
Fournet, Cédric +2 more
openaire +2 more sources