中文
相关论文

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

200 篇论文

Secure multiparty computations enable the distribution of so-called shares of sensitive data to multiple parties such that the multiple parties can effectively process the data while being unable to glean much information about the data (at…

密码学与安全 · 计算机科学 2024-04-09 Chuan Guo , Awni Hannun , Brian Knott , Laurens van der Maaten , Mark Tygert , Ruiyu Zhu

Cloud computing allows shared computer and storage facilities to be used by a multitude of clients. While cloud management is centralized, the information resides in the cloud and information sharing can be implemented via off-the-shelf…

密码学与安全 · 计算机科学 2010-12-06 Ernesto Damiani , Francesco Pagano

E-voting systems (EVS)are having potential advantages over many existing voting schemes.Security, transparency, accuracy and reliability are the major concern in these systems.EVS continues to grow as the technology advances.It is…

密码学与安全 · 计算机科学 2015-02-27 Divya G. Nair , V. P. Binu , G. Santhosh Kumar

With the growing adoption of Software Defined Networking (SDN) and Network Function Virtualization (NFV), large-scale NFV infrastructure deployments are gaining momentum. Such infrastructures are home to thousands of network Service…

网络与互联网体系结构 · 计算机科学 2018-10-17 Saifeddine Aidi , Mohamed Faten Zhani , Yehia Elkhatib

Traditionally, Network Function Virtualization (NFV) has been implemented to run on Virtual Machines (VMs) in form of Virtual Network Functions (VNFs). More recently, the so-called Serverless Computing has gained traction in cloud…

网络与互联网体系结构 · 计算机科学 2020-07-09 Francisco Carpio , Wolfgang Bziuk , Admela Jukan

Secure Multi-Party Computation (SMC) allows multiple parties to compute some function of their inputs without disclosing the actual inputs to one another. Secure sum computation is an easily understood example and the component of the…

密码学与安全 · 计算机科学 2010-03-25 Rashid Sheikh , Beerendra Kumar , Durgesh Kumar Mishra

In this work, we present an efficient secure multi-party computation MPC protocol that provides strong security guarantees in settings with dishonest majority of participants who may behave arbitrarily. Unlike the popular MPC implementation…

密码学与安全 · 计算机科学 2025-06-03 Tzu-Shen Wang , Jimmy Dani , Juan Garay , Soamar Homsi , Nitesh Saxena

Verifiable computing (VC) has gained prominence in decentralized machine learning systems, where resource-intensive tasks like deep neural network (DNN) inference are offloaded to external participants due to blockchain limitations. This…

密码学与安全 · 计算机科学 2025-05-26 Ali Rahimi , Babak H. Khalaj , Mohammad Ali Maddah-Ali

The widespread adoption of convolutional neural networks (CNNs) in resource-constrained scenarios has driven the development of Machine Learning as a Service (MLaaS) system. However, this approach is susceptible to privacy leakage, as the…

密码学与安全 · 计算机科学 2025-08-20 Jinyu Lu , Xinrong Sun , Yunting Tao , Tong Ji , Fanyu Kong , Guoqiang Yang

In this paper, we investigate the problem of multi-user linearly decomposable function computation, where $N$ servers help compute functions for $K$ users, and where each such function can be expressed as a linear combination of $L$ basis…

信息论 · 计算机科学 2024-02-07 Ali Khalesi , Petros Elia

Confidential computing safeguards sensitive computations from untrusted clouds, with Confidential Virtual Machines (CVMs) providing a secure environment for guest OS. However, CVMs often come with large and vulnerable operating system…

密码学与安全 · 计算机科学 2024-07-19 Benshan Mei , Saisai Xia , Wenhao Wang , Dongdai Lin

Cloud computing offers the economies of scale for computational resources with the ease of management, elasticity, and fault tolerance. To take advantage of these benefits, many enterprises are contemplating to outsource the middlebox…

密码学与安全 · 计算机科学 2019-10-18 Bohdan Trach , Alfred Krohmer , Sergei Arnautov , Franz Gregor , Pramod Bhatotia , Christof Fetzer

We suggest using Fully Homomorphic Encryption (FHE) to be used, not only to keep the privacy of information but also, to verify computations with no additional significant overhead, using only part of the variables length for verification.…

密码学与安全 · 计算机科学 2021-05-06 Shlomi Dolev , Arseni Kalma

We propose a blockchain-based solution for enabling verifiability of manufacturing processes. We base our solution on the methodology of verifiable computing which, originally developed for cloud computing, enables clients to outsource…

密码学与安全 · 计算机科学 2023-02-28 Michael Chiu , Jyotiraditya Panda , Abraham Goldsmith , Uros Kalabic

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 introduce a variation of coded computation that ensures data security and master's privacy against workers, which is referred to as private secure coded computation. In private secure coded computation, the master needs to compute a…

信息论 · 计算机科学 2019-02-04 Minchul Kim , Jungwoo Lee

Computationally efficient matrix multiplication is a fundamental requirement in various fields, including and particularly in data analytics. To do so, the computation task of a large-scale matrix multiplication is typically outsourced to…

信息论 · 计算机科学 2018-11-01 Jaber Kakar , Seyedhamed Ebadifar , Aydin Sezgin

Multi-Party Computation (MPC) is a technique enabling data from several sources to be used in a secure computation revealing only the result while protecting the original data, facilitating shared utilization of data sets gathered by…

密码学与安全 · 计算机科学 2020-07-03 Pierre-Francois Wolfe , Rushi Patel , Robert Munafo , Mayank Varia , Martin Herbordt

In this paper, we address the problem of secure distributed computation in scenarios where user data is not uniformly distributed, extending existing frameworks that assume uniformity, an assumption that is challenging to enforce in data…

信息论 · 计算机科学 2025-01-28 Saar Tarnopolsky , Zirui , Deng , Vinayak Ramkumar , Netanel Raviv , Alejandro Cohen

Conventional coded computing frameworks are predominantly tailored for structured computations, such as matrix multiplication and polynomial evaluation. Such tasks allow the reuse of tools and techniques from algebraic coding theory to…

分布式、并行与集群计算 · 计算机科学 2025-02-13 Parsa Moradi , Hanzaleh Akbarinodehi , Mohammad Ali Maddah-Ali