中文
相关论文

相关论文: Coded Computing for Secure Boolean Computations

200 篇论文

Secure multi-party computation using a physical deck of cards, often called card-based cryptography, has been extensively studied during the past decade. Card-based protocols to compute various Boolean functions have been developed. As each…

密码学与安全 · 计算机科学 2024-02-27 Suthee Ruangwises

In two-party secret sharing scheme, values are typically encoded as unsigned integers $\mathsf{uint}(x)$, whereas real-world applications often require computations on signed real numbers $\mathsf{Real}(x)$. To enable secure evaluation of…

密码学与安全 · 计算机科学 2025-09-03 Hao Guo , Zhaoqian Liu , Liqiang Peng , Shuaishuai Li , Ximing Fu , Weiran Liu , Lin Qu

We initiate the study of \emph{inverse} problems in approximate uniform generation, focusing on uniform generation of satisfying assignments of various types of Boolean functions. In such an inverse problem, the algorithm is given uniform…

计算复杂性 · 计算机科学 2012-11-09 Anindya De , Ilias Diakonikolas , Rocco A. Servedio

We introduce an information-theoretic framework, named Coded State Machine (CSM), to securely and efficiently execute multiple state machines on untrusted network nodes, some of which are Byzantine. The standard method of solving this…

信息论 · 计算机科学 2019-06-27 Songze Li , Saeid Sahraei , Mingchao Yu , Salman Avestimehr , Sreeram Kannan , Pramod Viswanath

Distributed computing frameworks such as MapReduce and Spark are often used to process large-scale data computing jobs. In wireless scenarios, exchanging data among distributed nodes would seriously suffer from the communication bottleneck…

信息论 · 计算机科学 2023-10-25 Youlong Wu , Zhenhao Huang , Kai Yuan , Shuai Ma , Yue Bi

Supporting multiple partial computations efficiently at each of the workers is a keystone in distributed coded computing in order to speed up computations and to fully exploit the resources of heterogeneous workers in terms of…

信息论 · 计算机科学 2024-11-25 Jesús Gómez-Vilardebó , Burak Hasırcıoğlu , Deniz Gündüz

The emerging large-scale and data-hungry algorithms require the computations to be delegated from a central server to several worker nodes. One major challenge in the distributed computations is to tackle delays and failures caused by the…

信息论 · 计算机科学 2021-03-03 Alejandro Cohen , Guillaume Thiran , Homa Esfahanizadeh , Muriel Médard

We consider the problem of computing an aggregation function in a \emph{secure} and \emph{scalable} way. Whereas previous distributed solutions with similar security guarantees have a communication cost of $O(n^3)$, we present a distributed…

分布式、并行与集群计算 · 计算机科学 2011-11-24 Sebastien Gambs , Rachid Guerraoui , Hamza Harkous , Florian Huc , Anne-Marie Kermarrec

We investigate linear network coding in the context of robust function computation, where a sink node is tasked with computing a target function of messages generated at multiple source nodes. In a previous work, a new distance measure was…

信息论 · 计算机科学 2024-09-18 Hengjia Wei , Min Xu , Gennian Ge

Polynomial based approaches, such as the Mat-Dot and entangled polynomial codes (EPC) have been used extensively within coded matrix computations to obtain schemes with good recovery thresholds. However, these schemes are well-recognized to…

信息论 · 计算机科学 2023-05-11 Kyungrak Son , Aditya Ramamoorthy

We design new polynomials for representing threshold functions in three different regimes: probabilistic polynomials of low degree, which need far less randomness than previous constructions, polynomial threshold functions (PTFs) with…

数据结构与算法 · 计算机科学 2016-08-16 Josh Alman , Timothy M. Chan , Ryan Williams

The distributed linearly separable computation problem finds extensive applications across domains such as distributed gradient coding, distributed linear transform, real-time rendering, etc. In this paper, we investigate this problem in a…

信息论 · 计算机科学 2024-01-30 Haoning Chen , Minquan Cheng , Zhenhao Huang , Youlong Wu

A myriad of authentication mechanisms embody a continuous evolution from verbal passwords in ancient times to contemporary multi-factor authentication. Nevertheless, digital asset heists and numerous identity theft cases illustrate the…

密码学与安全 · 计算机科学 2024-06-27 Marwa Mouallem , Ittay Eyal

Random linear network coding can be used in peer-to-peer networks to increase the efficiency of content distribution and distributed storage. However, these systems are particularly susceptible to Byzantine attacks. We quantify the impact…

网络与互联网体系结构 · 计算机科学 2016-11-17 MinJi Kim , Luísa Lima , Fang Zhao , Joao Barros , Muriel Medard , Ralf Koetter , Ton Kalker , Keesook Han

We describe an asynchronous algorithm to solve secure multiparty computation (MPC) over n players, when strictly less than a 1/8 fraction of the players are controlled by a static adversary. For any function f over a field that can be…

数据结构与算法 · 计算机科学 2013-10-15 Varsha Dani , Valerie King , Mahnush Movahedi , Jared Saia

Delegating large-scale computations to service providers is a common practice which raises privacy concerns. This paper studies information-theoretic privacy-preserving delegation of data to a service provider, who may further delegate the…

信息论 · 计算机科学 2024-11-22 Zirui Deng , Vinayak Ramkumar , Netanel Raviv

Distributed computing enables large-scale computation tasks to be processed over multiple workers in parallel. However, the randomness of communication and computation delays across workers causes the straggler effect, which may degrade the…

分布式、并行与集群计算 · 计算机科学 2022-07-20 Yuxuan Sun , Fan Zhang , Junlin Zhao , Sheng Zhou , Zhisheng Niu , Deniz Gündüz

Under the emerging network coding paradigm, intermediate nodes in the network are allowed not only to store and forward packets but also to process and mix different data flows. We propose a low-complexity cryptographic scheme that exploits…

密码学与安全 · 计算机科学 2016-11-17 Joao P. Vilela , Luisa Lima , Joao Barros

We introduce fundamental bounds on achievable cumulative rate distribution functions (CRDF) to characterize a sequential encoding process that ensures lossless or lossy reconstruction subject to an average distortion criterion using a…

信息论 · 计算机科学 2021-08-31 Hamid Ghourchian , Photios A. Stavrou , Tobias J. Oechtering , Mikael Skoglund

Central-managed security mechanisms are often utilized in many organizations, but such server is also a security breaking point. This is because the server has the authority for all nodes that share the security protection. Hence if the…

密码学与安全 · 计算机科学 2023-03-24 Wei-Yang Chiu , Weizhi Meng