English
Related papers

Related papers: The Cpi-calculus: a Model for Confidential Name Pa…

200 papers

A circular quantum secret sharing protocol is proposed, which is useful and efficient when one of the parties of secret sharing is remote to the others who are in adjacent, especially the parties are more than three. We describe the process…

Quantum Physics · Physics 2012-08-27 Fu-Guo Deng , Hong-Yu Zhou andGui Lu Long

In this paper, we study the problem of summation evaluation of secrets. The secrets are distributed over a network of nodes that form a ring graph. Privacy-preserving iterative protocols for computing the sum of the secrets are proposed,…

Cryptography and Security · Computer Science 2020-04-15 Yang Liu , Qingchen Liu , Xiong Zhang , Shuqi Qin , Xiaoping Lei

In this paper we propose a stochastic broadcast PI-calculus which can be used to model server-client based systems where synchronization is always governed by only one participant. Therefore, there is no need to determine the joint…

Performance · Computer Science 2011-07-07 Lei Song , Flemming Nielson , Bo Friis Nielsen

Private computation is a generalization of private information retrieval, in which a user is able to compute a function on a distributed dataset without revealing the identity of that function to the servers. In this paper it is shown that…

Information Theory · Computer Science 2019-06-27 Netanel Raviv , David A. Karpuk

Cloud computing enables users to process and store data remotely on high-performance computers and servers by sharing data over the Internet. However, transferring data to clouds causes unavoidable privacy concerns. Here, we present a…

Cryptography and Security · Computer Science 2024-08-12 Haleh Hayati , Nathan van de Wouw , Carlos Murguia

Covert channels can be utilized to secretly deliver information from high privileged processes to low privileged processes in the context of a high-assurance computing system. In this case study, we investigate the possibility of covert…

Cryptography and Security · Computer Science 2015-08-24 Wolfgang Schmidt , Michael Hanspach , Jörg Keller

We view channels as the main form of resources in a message-passing programming paradigm. These channels need to be carefully managed in settings where resources are scarce. To study this problem, we extend the pi-calculus with primitives…

Logic in Computer Science · Computer Science 2010-04-08 Edsko de Vries , Adrian Francalanza , Matthew Hennessy

Applied process calculi include advanced programming constructs such as type systems, communication with pattern matching, encryption primitives, concurrent constraints, nondeterminism, process creation, and dynamic connection topologies.…

Logic in Computer Science · Computer Science 2017-01-11 Johannes Borgström , Ramūnas Gutkovas , Joachim Parrow , Björn Victor , Johannes Åman Pohjola

The problem we address is the following: how can a user employ a predictive model that is held by a third party, without compromising private information. For example, a hospital may wish to use a cloud service to predict the readmission…

Machine Learning · Computer Science 2014-12-25 Pengtao Xie , Misha Bilenko , Tom Finley , Ran Gilad-Bachrach , Kristin Lauter , Michael Naehrig

The cognitive interference channel with confidential messages (CICC) proposed by Liang et. al. is investigated. When the security is considered in coding systems, it is well known that the sender needs to use a stochastic encoding to avoid…

Information Theory · Computer Science 2012-04-26 Shun Watanabe , Yasutada Oohama

This paper proposes a privacy protocol for distributed average consensus algorithms on bounded real-valued inputs that guarantees statistical privacy of honest agents' inputs against colluding (passive adversarial) agents, if the set of…

Cryptography and Security · Computer Science 2019-03-25 Nirupam Gupta , Jonathan Katz , Nikhil Chopra

A counter-intuitive result in entanglement theory was shown in [PRL 91 037902 (2003)], namely that entanglement can be distributed by sending a separable state through a quantum channel. In this work, following an analogy between the…

Quantum Physics · Physics 2010-09-23 Joonwoo Bae , Toby Cubitt , Antonio Acin

A distributed computing protocol consists of three components: (i) Data Localization: a network-wide dataset is decomposed into local datasets separately preserved at a network of nodes; (ii) Node Communication: the nodes hold individual…

Systems and Control · Computer Science 2019-02-20 Yang Liu , Junfeng Wu , Ian R. Manchester , Guodong Shi

This paper considers the problem of single-server Private Computation (PC) in the presence of Side Information (SI). In this problem, there is a server that stores $K$ i.i.d. messages, and a user who has a subset of $M$ uncoded messages or…

Information Theory · Computer Science 2020-01-22 Anoosheh Heidarzadeh , Alex Sprintson

The design of a statistical signal processing privacy problem is studied where the private data is assumed to be observable. In this work, an agent observes useful data $Y$, which is correlated with private data $X$, and wants to disclose…

Information Theory · Computer Science 2023-09-19 Amirreza Zamani , Tobias J. Oechtering , Mikael Skoglund

Network steganography and covert communication channels have been studied extensively in the past. However, prior works offer minimal practical use for their proposed techniques and are limited to specific use cases and network protocols.…

Cryptography and Security · Computer Science 2025-11-11 Sirus Shahini , Robert Ricci

Personal data are not discrete in socially-networked digital environments. A user who consents to allow access to their profile can expose the personal data of their network connections to non-consented access. Therefore, the traditional…

Physics and Society · Physics 2022-04-12 Juniper Lovato , Antoine Allard , Randall Harp , Jeremiah Onaolapo , Laurent Hébert-Dufresne

Privacy of the outsourced data is one of the major challenge.Insecurity of the network environment and untrustworthiness of the service providers are obstacles of making the database as a service.Collection and storage of personally…

Cryptography and Security · Computer Science 2015-03-02 Divya G. Nair , V. P. Binu , G. Santhosh Kumar

Distributed stochastic gradient descent is an important subroutine in distributed learning. A setting of particular interest is when the clients are mobile devices, where two important concerns are communication efficiency and the privacy…

Machine Learning · Statistics 2018-05-29 Naman Agarwal , Ananda Theertha Suresh , Felix Yu , Sanjiv Kumar , H. Brendan Mcmahan

Data sharing among partners---users, organizations, companies---is crucial for the advancement of data analytics in many domains. Sharing through secure computation and differential privacy allows these partners to perform private…

Cryptography and Security · Computer Science 2019-02-12 Z. Berkay Celik , Hidayet Aksu , Abbas Acar , Ryan Sheatsley , A. Selcuk Uluagac , Patrick McDaniel
‹ Prev 1 3 4 5 6 7 10 Next ›