中文
相关论文

相关论文: Multi-Server Verifiable Delegation of Computations…

200 篇论文

The Network Function Virtualization (NFV) paradigm is enabling flexibility, programmability and implementation of traditional network functions into generic hardware, in form of Virtual Network Functions (VNFs). To provide services, the…

网络与互联网体系结构 · 计算机科学 2017-11-27 Francisco Carpio , Admela Jukan

We address the problem of efficiently verifying a commitment in a two-party computation. This addresses the scenario where a party P1 commits to a value $x$ to be used in a subsequent secure computation with another party P2 that wants to…

密码学与安全 · 计算机科学 2022-01-28 Nitin Agrawal , James Bell , Adrià Gascón , Matt J. Kusner

Computer power is a constantly increasing demand in scientific data analyses, in particular when Markov Chain Monte Carlo (MCMC) methods are involved, for example for estimating integral functions or Bayesian posterior probabilities. In…

分布式、并行与集群计算 · 计算机科学 2023-10-09 Fabio Castagna , Alberto Trombetta , Marco Landoni , Stefano Andreon

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

Secure multi-party computation (MPC) is a fundamental problem in secure distributed computing. An MPC protocol allows a set of $n$ mutually distrusting parties to carry out any joint computation of their private inputs, without disclosing…

密码学与安全 · 计算机科学 2022-08-10 Ananya Appan , Anirudh Chandramouli , Ashish Choudhury

Even though cloud computing provides many intrinsic benefits, privacy concerns related to the lack of control over the storage and management of the outsourced data still prevent many customers from migrating to the cloud. Several…

密码学与安全 · 计算机科学 2017-07-07 David Sánchez , Montserrat Batet

Serverless computing offers attractive scalability, elasticity and cost-effectiveness. However, constraints on memory, CPU and function runtime have hindered its adoption for data-intensive applications and machine learning (ML) workloads.…

分布式、并行与集群计算 · 计算机科学 2024-03-25 Joe Oakley , Hakan Ferhatosmanoglu

Secret sharing and multiparty computation (also called "secure function evaluation") are fundamental primitives in modern cryptography, allowing a group of mutually distrustful players to perform correct, distributed computations under the…

量子物理 · 物理学 2016-11-17 Michael Ben-Or , Claude Crépeau , Daniel Gottesman , Avinatan Hassidim , Adam Smith

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

In cryptography, secure Multi-Party Computation (MPC) protocols allow participants to compute a function jointly while keeping their inputs private. Recent breakthroughs are bringing MPC into practice, solving fundamental challenges for…

密码学与安全 · 计算机科学 2018-06-01 David Butler , David Aspinall , Adria Gascon

Cloud computing has been emerged in the last decade to enable utility-based computing resource management without purchasing hardware equipment. Cloud providers run multiple data centers in various locations to manage and provision the…

分布式、并行与集群计算 · 计算机科学 2018-05-29 Rajkumar Buyya , Jungmin Son

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

The multi-user linearly-separable distributed computing problem is considered here, in which $N$ servers help to compute the real-valued functions requested by $K$ users, where each function can be written as a linear combination of up to…

信息论 · 计算机科学 2023-01-10 Ali Khalesi , Sajad Daei , Marios Kountouris , Petros Elia

Privacy-preserving techniques for distributed computation have been proposed recently as a promising framework in collaborative inter-domain network monitoring. Several different approaches exist to solve such class of problems, e.g.,…

网络与互联网体系结构 · 计算机科学 2011-01-31 Fabio Ricciato , Martin Burkhart

Private computation in a distributed storage system (DSS) is a generalization of the private information retrieval (PIR) problem. In such setting a user wishes to compute a function of $f$ messages stored in $n$ noncolluding coded…

信息论 · 计算机科学 2021-08-06 Sarah A. Obead , Hsuan-Yin Lin , Eirik Rosnes , Jörg Kliewer

With the advent of cloud-based quantum computing, it has become vital to provide strong guarantees that computations delegated by clients to quantum service providers have been executed faithfully. Secure - blind and verifiable - Delegated…

量子物理 · 物理学 2024-05-06 Theodoros Kapourniotis , Elham Kashefi , Dominik Leichtle , Luka Music , Harold Ollivier

Secure multi-party computation (MPC) allows a set of parties to compute a function jointly while keeping their inputs private. Compared with the MPC based on garbled circuits,some recent research results show that MPC based on secret…

密码学与安全 · 计算机科学 2020-01-07 Satsuya Ohata , Koji Nuida

Network Function Virtualization (NFV) is a vital player of modern networks providing different types of services such as traffic optimization, content filtering, and load balancing. More precisely, NFV is a provisioning technology aims at…

网络与互联网体系结构 · 计算机科学 2020-04-21 Abolfazl Ghazizadeh , Behzad Akbari , Mohammad Mahdi Tajiki

An increasing number of businesses are replacing their data storage and computation infrastructure with cloud services. Likewise, there is an increased emphasis on performing analytics based on multiple datasets obtained from different data…

密码学与安全 · 计算机科学 2013-10-02 Dinh Tien Tuan Anh , Quach Vinh Thanh , Anwitaman Datta

We consider a setting where a verifier with limited computation power delegates a resource intensive computation task---which requires a $T\times S$ computation tableau---to two provers where the provers are rational in that each prover…

计算机科学与博弈论 · 计算机科学 2022-06-15 Yuqing Kong , Chris Peikert , Grant Schoenebeck , Biaoshuai Tao