English
Related papers

Related papers: Expand-and-Randomize: An Algebraic Approach to Sec…

200 papers

We consider the problem of designing a coding scheme that allows both sparsity and privacy for distributed matrix-vector multiplication. Perfect information-theoretic privacy requires encoding the input sparse matrices into matrices…

Information Theory · Computer Science 2022-03-04 Marvin Xhemrishi , Rawad Bitar , Antonia Wachter-Zeh

This work considers the problem of distributing matrix multiplication over the real or complex numbers to helper servers, such that the information leakage to these servers is close to being information-theoretically secure. These servers…

Cryptography and Security · Computer Science 2022-05-17 Okko Makkonen , Camilla Hollanti

In this paper, we design the first computationally efficient codes for simultaneously reliable and covert communication over Binary Symmetric Channels (BSCs). Our setting is as follows: a transmitter Alice wishes to potentially reliably…

Information Theory · Computer Science 2018-06-12 Qiaosheng Zhang , Mayank Bakshi , Sidharth Jaggi

Encrypted computing is an emerging technology based on a processor that `works encrypted', taking encrypted inputs to encrypted outputs while data remains in encrypted form throughout. It aims to secure user data against possible insider…

Cryptography and Security · Computer Science 2019-02-19 Peter T. Breuer

In quantum weak oblivious transfer, Alice sends Bob two bits and Bob can learn one of the bits at his choice. It was found that the security of such a protocol is bounded by $2P_{Alice}^{\ast }+P_{Bob}^{\ast }\geq 2$, where $P_{Alice}^{\ast…

Quantum Physics · Physics 2015-06-15 Guang Ping He

Unconditionally secure non-relativistic bit commitment is known to be impossible in both the classical and the quantum world. However, when committing to a string of n bits at once, how far can we stretch the quantum limits? In this letter,…

Quantum Physics · Physics 2007-05-23 Harry Buhrman , Matthias Christandl , Patrick Hayden , Hoi-Kwong Lo , Stephanie Wehner

In the secure two-party computation problem, two parties wish to compute a (possibly randomized) function of their inputs via an interactive protocol, while ensuring that neither party learns more than what can be inferred from only their…

Cryptography and Security · Computer Science 2014-12-16 Ye Wang , Prakash Ishwar , Shantanu Rane

A two-step quantum key distribution protocol using frequency and polarization doubly entangled photons is proposed. In this protocol, information is encoded by a unitary operation on each of the two doubly entangled photons and sent from…

Quantum Physics · Physics 2007-10-09 Chuan Wang , Wan-Ying Wang , Li Xiao , Gui Lu Long

Simultaneous dense coding guarantees that Bob and Charlie simultaneously receive their respective information from Alice in their respective processes of dense coding. The idea is to use the so-called locking operation to "lock" the…

Quantum Physics · Physics 2016-02-24 Haozhen Situ , Daowen Qiu , Paulo Mateus , Nikola Paunković

Coded computation is a method to mitigate "stragglers" in distributed computing systems through the use of error correction coding that has lately received significant attention. First used in vector-matrix multiplication, the range of…

Information Theory · Computer Science 2018-06-28 Nuwan Ferdinand , Stark Draper

We explain the mechanism of the quantum speed-up - quantum algorithms requiring fewer computation steps than their classical equivalent - for a family of algorithms. Bob chooses a function and gives to Alice the black box that computes it.…

Quantum Physics · Physics 2015-05-27 Giuseppe Castagnoli

Applying machine learning methods to physical systems that are supposed to act in the real world requires providing safety guarantees. However, methods that include such guarantees often come at a high computational cost, making them…

Systems and Control · Electrical Eng. & Systems 2025-05-14 Dominik Baumann , Krzysztof Kowalczyk , Cristian R. Rojas , Koen Tiels , Pawel Wachel

We introduce a new protocol for secure two-party computation of linear functions in the semi-honest model, based on coding techniques. We first establish a parallel between the second version of the wire-tap channel model and secure…

Cryptography and Security · Computer Science 2013-06-27 Hervé Chabanne , Gérard Cohen , Alain Patey

The goal of two-party cryptography is to enable two parties, Alice and Bob, to solve common tasks without the need for mutual trust. Examples of such tasks are private access to a database, and secure identification. Quantum communication…

Quantum Physics · Physics 2016-05-10 Jędrzej Kaniewski , Stephanie Wehner

This paper aims to provide an efficient implementation of encrypted linear dynamic controllers that perform recursive multiplications on a Ring-Learning With Errors (Ring-LWE) based cryptosystem. By adopting a system-theoretical approach,…

Systems and Control · Electrical Eng. & Systems 2026-01-01 Donghyeon Song , Yeongjun Jang , Joowon Lee , Junsoo Kim

Given a noiseless protocol $\pi_0$ computing a function $f(x, y)$ of Alice and Bob's private inputs $x, y$, the goal of interactive coding is to construct an error-resilient protocol $\pi$ computing $f$ such that even if some fraction of…

Data Structures and Algorithms · Computer Science 2022-07-05 Meghal Gupta , Rachel Yun Zhang

In this work we investigate the problem of simultaneous privacy and integrity protection in cryptographic circuits. We consider a white-box scenario with a powerful, yet limited attacker. A concise metric for the level of probing and fault…

Cryptography and Security · Computer Science 2009-07-27 Berndt M. Gammel , Stefan Mangard

This paper extends the framework of randomised matrix multiplication to a coarser partition and proposes an algorithm as a complement to the classical algorithm, especially when the optimal probability distribution of the latter one is…

Numerical Analysis · Mathematics 2019-05-20 Yue Wu

One of the few available complete methods for checking the satisfiability of sets of polynomial constraints over the reals is the cylindrical algebraic covering (CAlC) method. In this paper, we propose an extension for this method to…

Symbolic Computation · Computer Science 2023-06-30 Philipp Bär , Jasper Nalbach , Erika Ábrahám , Christopher W. Brown

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…

Information Theory · Computer Science 2020-05-12 Rafael G. L. D'Oliveira , Salim El Rouayheb , Daniel Heinlein , David Karpuk