中文
相关论文

相关论文: Multi-Matrix Verifiable Computation

200 篇论文

Publicly verifiable delegation is a well-known problem involving a user who wishes to outsource a resource-intensive computational task to a more powerful but potentially untrusted server such that any other party is able to efficiently…

密码学与安全 · 计算机科学 2026-04-28 Ameer Mohammed , Aydin Abadi , Jaffer Mahdi

To save time and money, businesses and individuals have begun outsourcing their data and computations to cloud computing services. These entities would, however, like to ensure that the queries they request from the cloud services are being…

计算机科学与博弈论 · 计算机科学 2012-02-09 Robert Nix , Murat Kantarcioglu

In the era of Web3, decentralized technologies have emerged as the cornerstone of a new digital paradigm. Backed by a decentralized blockchain architecture, the Web3 space aims to democratize all aspects of the web. From data-sharing to…

计算机科学与博弈论 · 计算机科学 2025-07-03 Tiantian Gong , Aniket Kate , Alexandros Psomas , Athina Terzoglou

We consider the problem of evaluating distinct multivariate polynomials over several massive datasets in a distributed computing system with a single master node and multiple worker nodes. We focus on the general case when each multivariate…

信息论 · 计算机科学 2023-08-23 Wilton Kim , Stanislav Kruglik , Han Mao Kiah

The combination of software-as-a-service and the increasing use of mobile devices gives rise to a considerable difference in computational power between servers and clients. Thus, there is a desire for clients to outsource the evaluation of…

密码学与安全 · 计算机科学 2014-06-24 James Alderman , Carlos Cid , Jason Crampton , Christian Janson

We show that the verifying equations in the scheme [Theoretical Computer Science, 562 (2015), 112-121] cannot filter out some malformed values returned by the malicious servers. We also remark that the two untrusted programs model adopted…

密码学与安全 · 计算机科学 2015-12-18 Lihua Liu , Zhengjun Cao

When computation is outsourced, the data owner would like to be assured that the desired computation has been performed correctly by the service provider. In theory, proof systems can give the necessary assurance, but prior work is not…

数据库 · 计算机科学 2011-10-03 Graham Cormode , Justin Thaler , Ke Yi

Current and emerging trends such as cloud computing, fog computing, and more recently, multi-access edge computing (MEC) increase the interest in finding solutions to the verifiable computation problem. Furthermore, the number of…

密码学与安全 · 计算机科学 2018-09-13 Tahsin Civan Mert Dönmez

The introduction of the new multi-user linearly-separable distributed computing framework, has recently revealed how a parallel treatment of users can yield large parallelization gains with relatively low computation and communication…

信息论 · 计算机科学 2026-04-22 Amir Masoud Jafarpisheh , Ali Khalesi , Petros Elia

Due to the great development of secure multi-party computation, many practical secure computation schemes have been proposed. As an example, different secure auction mechanisms have been widely studied, which can protect bid privacy while…

密码学与安全 · 计算机科学 2020-07-30 Zhili Chen , Xin Chen

Encrypted computation opens up promising avenues across a plethora of application domains, including machine learning, health-care, finance, and control. Arithmetic homomorphic encryption, in particular, is a natural fit for cloud-based…

密码学与安全 · 计算机科学 2024-10-29 Janis Adamek , Philipp Binfet , Nils Schlüter , Moritz Schulze Darup

Outsourcing decision tree inference services to the cloud is highly beneficial, yet raises critical privacy concerns on the proprietary decision tree of the model provider and the private input data of the client. In this paper, we design,…

密码学与安全 · 计算机科学 2021-11-02 Yifeng Zheng , Cong Wang , Ruochen Wang , Huayi Duan , Surya Nepal

We propose a secure computation solution for blockchain networks. The correctness of computation is verifiable even under malicious majority condition using information-theoretic Message Authentication Code (MAC), and the privacy is…

密码学与安全 · 计算机科学 2018-12-17 Derek Zhang , Alex Su , Felix Xu , Jiang Chen

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 outsourced data…

密码学与安全 · 计算机科学 2021-06-29 Wenxiu Ding , Wei Sun , Zheng Yan , Robert H. Deng

Catalano and Fiore propose a scheme to transform a linearly-homomorphic encryption into a homomorphic encryption scheme capable of evaluating quadratic computations on ciphertexts. Their scheme is based on the linearly-homomorphic…

密码学与安全 · 计算机科学 2021-04-27 Xin Chen , Liang Feng Zhang

We consider a distributed function computation problem in which parties observing noisy versions of a remote source facilitate the computation of a function of their observations at a fusion center through public communication. The…

信息论 · 计算机科学 2022-03-30 Onur Günlü , Matthieu Bloch , Rafael F. Schaefer

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.…

密码学与安全 · 计算机科学 2024-04-17 Tariq Bontekoe , Dimka Karastoyanova , Fatih Turkmen

In this work, we consider the problem of secure multi-party computation (MPC), consisting of $\Gamma$ sources, each has access to a large private matrix, $N$ processing nodes or workers, and one data collector or master. The master is…

信息论 · 计算机科学 2020-04-13 Seyed Reza Hoseini Najarkolaei , Mohammad Ali Maddah-Ali , Mohammad Reza Aref

We consider the problem of secure distributed matrix multiplication in which a user wishes to compute the product of two matrices with the assistance of honest but curious servers. In this paper, we answer the following question: Is it…

信息论 · 计算机科学 2020-05-12 Rafael G. L. D'Oliveira , Salim El Rouayheb , Daniel Heinlein , David Karpuk

Multiparty computation (MPC) consists in several parties engaging in joint computation in such a way that each party's input and output remain private to that party. Whereas MPC protocols for specific computations have existed since the…

密码学与安全 · 计算机科学 2022-01-03 Josep Domingo-Ferrer , Jesús Manjón