Access Control in Publicly Verifiable Outsourced Computation

Alderman, James; Janson, Christian; Cid, Carlos; Crampton, Jason

doi:10.1145/2714576.2714636

Cited by 13 publications

(20 citation statements)

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…For functions with more than one output bit, the client has to repeatedly (for each output bit) launch several instances of the protocol. Alderman et al [1,2] also propose an ABE-based protocol for Boolean functions. The authors adopt a scenario orthogonal to ours, in which queriers are identified according to access control policies.…”

Section: Related Workmentioning

confidence: 99%

“…The authors adopt a scenario orthogonal to ours, in which queriers are identified according to access control policies. Furthermore, Alderman et al [1,2] introduce the concept of blind verifiability. In a nutshell, their protocols distinguish queriers from verifiers: The latter may only be authorized to verify an outsourced computation but not to learn its results.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Efficient Techniques for Publicly Verifiable Delegation of Computation

Elkhiyaoui

Önen

Azraoui

et al. 2016

Proceedings of the 11th ACM on Asia Conference on Computer and Communications Security

View full text Add to dashboard Cite

With the advent of cloud computing, individuals and companies alike are looking for opportunities to leverage cloud resources not only for storage but also for computation. Nevertheless, the reliance on the cloud to perform computation raises the unavoidable challenge of how to assure the correctness of the delegated computation. In this regard, we introduce two cryptographic protocols for publicly verifiable computation that allow a lightweight client to securely outsource to a cloud server the evaluation of highdegree univariate polynomials and the multiplication of large matrices. Similarly to existing work, our protocols follow the amortized verifiable computation approach. Furthermore, by exploiting the mathematical properties of polynomials and matrices, they are more efficient and give way to public delegatability. Finally, besides their efficiency, our protocols are provably secure under wellstudied assumptions.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

Efficient Techniques for Publicly Verifiable Delegation of Computation

Elkhiyaoui

Önen

Azraoui

et al. 2016

Proceedings of the 11th ACM on Asia Conference on Computer and Communications Security

View full text Add to dashboard Cite

show abstract

“…For the public delegation and the public verifiable property, Applebaum et al 's works did not satisfy them, as well as the work presented in [13,14,19]. Reference [11] presented SV-OC protocol supported Type I computation outsourcing but neglected Type II one, so was the hybrid [20,21] notion for verifiable computation failing the scalable property. We note that all approaches to construct VC protocols except for functional encryption-based method failed to provide public delegation property for a verifiable outsourcing protocol towards a group of clients.…”

Section: Related Workmentioning

confidence: 99%

Scalable and Soundness Verifiable Outsourcing Computation in Marine Mobile Computing

Zhang¹,

Wei²,

Li³

et al. 2017

Wireless Communications and Mobile Computing

View full text Add to dashboard Cite

Outsourcing computation with verifiability is a merging notion in cloud computing, which enables lightweight clients to outsource costly computation tasks to the cloud and efficiently check the correctness of the result in the end. This advanced notion is more important in marine mobile computing since the oceangoing vessels are usually constrained with less storage and computation resources. In such a scenario, vessels always firstly outsource data set and perform a function computing over them or at first outsource computing functions and input data set into them. However, vessels may choose which delegation computation type to outsource, which generally depends on the actual circumstances. Hence, we propose a scalable verifiable outsourcing computation protocol (SV-OC) in marine cloud computing at first and extract a single-mode version of it (SM-SV-OC), where both protocols allow anyone who holds verification tokens to efficiently verify the computed result returned from cloud. In this way, the introduced "scalable" property lets vessels adjust the protocol to cope with different delegation situations in practice. We additionally prove both SV-OC and SM-SV-OC achieving selective soundness in the random oracle model and evaluate their performance in the end.

show abstract

“…Key distribution center also issues the certificates to the honest server to whom a delegator may outsource the computation. Recently, the authors put forward some extension based on this approach in the sense of access control [94] and hybrid protocol [95].…”

Section: Fully Homomorphic Encryption (Fhe)mentioning

confidence: 99%

Primitives towards verifiable computation: a survey

Ahmad

Wang

Hong

et al. 2018

Front. Comput. Sci.

View full text Add to dashboard Cite

Verifiable computation (VC) paradigm has got the captivation that in real term is highlighted by the concept of third party computation. In more explicate terms, VC allows resource constrained clients/organizations to securely outsource expensive computations to untrusted service providers, while acquiring the publicly or privately verifiable results. Many mainstream solutions have been proposed to address the diverse problems within the VC domain. Some of them imposed assumptions over performed computations, while the others took advantage of interactivity /non-interactivity, zero knowledge proofs, and arguments. Further proposals utilized the powers of probabilistic checkable or computationally sound proofs. In this survey, we present a chronological study and classify the VC proposals based on their adopted domains. First, we provide a broader overview of the theoretical advancements while critically analyzing them. Subsequently, we present a comprehensive view of their utilization in the state of the art VC approaches. Moreover, a brief overview of recent proof based VC systems is also presented that lifted up the VC domain to the verge of practicality. We use the presented study and reviewed results to identify the similarities and alterations, modifications, and hybridization of different approaches, while comparing their advantages and reporting their overheads. Finally, we discuss implementation of such VC based systems, their applications, and the likely future directions.

show abstract

Access Control in Publicly Verifiable Outsourced Computation

Cited by 13 publications

References 22 publications

Efficient Techniques for Publicly Verifiable Delegation of Computation

Efficient Techniques for Publicly Verifiable Delegation of Computation

Scalable and Soundness Verifiable Outsourcing Computation in Marine Mobile Computing

Primitives towards verifiable computation: a survey

Contact Info

Product

Resources

About