Results 21 to 30 of about 2,887,711 (311)
Hybrid Publicly Verifiable Computation [PDF]
, 2016 Publicly Verifiable Outsourced Computation PVC allows weak devices to delegate computations to more powerful servers, and to verify the correctness of results. Delegation and verification rely only on public parameters, and thus PVC lends itself to large multi-user systems where entities need not be registered.
Alderman, James +3 more
core +6 more sources
Incrementally Verifiable Computation via Incremental PCPs [PDF]
Theory of Cryptography Conference, 2019 If I commission a long computation, how can I check that the result is correct without re-doing the computation myself? This is the question that efficient verifiable computation deals with. In this work, we address the issue of verifying the computation
M. Naor, Omer Paneth, G. Rothblum
semanticscholar +2 more sources
An efficient polynomial-based verifiable computation scheme on multi-source outsourced data [PDF]
Scientific ReportsWith the development of cloud computing, users are more inclined to outsource complex computing tasks to cloud servers with strong computing capacity, and the cloud returns the final calculation results.
Yiran Zhang +4 more
doaj +2 more sources
Secure Collaborative Publicly Verifiable Computation
IEEE Access, 2017 Publicly Verifiable Computation (PVC) enables computationally weak trusted sources to outsource several computations to some more powerful public untrusted clouds.
Qiang Wang +4 more
doaj +2 more sources
Correctness Verifiable Outsourcing Computation Scheme of Shortest Path Querying over Encrypted Graph Data [PDF]
Jisuanji kexueMass graph data such as geolocation and social networks are widely used and contain massive privacy,usually,it requires varied query services through secure outsourcing computation schemes.However,it is still an open challenge to design correctness ...
DING Hongfa, YU Yingying, JIANG Heling
doaj +2 more sources
Privacy-preserving and verifiable spectral graph analysis in the cloud [PDF]
Scientific ReportsResorting to cloud computing for spectral graph analysis on large-scale graph data is becoming increasingly popular. However, given the intrusive and opaque natures of cloud services, privacy, and misbehaving cloud that returns incorrect results have ...
Yuzhao Song
doaj +2 more sources
Boosting Verifiable Computation on Encrypted Data
IACR Cryptology ePrint Archive, 2020 International audienceWe consider the setting in which an untrusted server stores a collection of data and is asked to compute a function over it. In this scenario, we aim for solutions where the untrusted server does not learn information about the data
D. Fiore, Anca Nitulescu, D. Pointcheval
semanticscholar +3 more sources
Differential Privacy meets Verifiable Computation: Achieving Strong Privacy and Integrity Guarantees
International Conference on E-Business and Telecommunication Networks, 2019 Often service providers need to outsource computations on sensitive datasets and subsequently publish statistical results over a population of users.
Georgia Tsaloli, Aikaterini Mitrokotsa
semanticscholar +2 more sources
Verifiable Computation and Biometric Authentication
, 2019 Cette thèse s'articule autour de la notion de calcul vérifiable, dont le but est de joindre au résultat d'un calcul une preuve que ce calcul est correct. De plus, vérifier la preuve du calcul doit être plus efficace que de l'exécuter.
Julien Keuffer
semanticscholar +2 more sources
An Efficient and Secure Scheme of Verifiable Computation for Intel SGX [PDF]
International Conference on Trust, Security and Privacy in Computing and Communications, 2021 Cloud computing offers resource-constrained users big-volume data storage and energy-consuming complicated computation. However, owing to the lack of full trust in the cloud, the cloud users prefer privacy-preserving data computation with correctness ...
Wenxiu Ding, Wei Sun, Zheng Yan, R. Deng
semanticscholar +1 more source