English
Related papers

Related papers: Privacy by typing in the $\pi$-calculus

200 papers

Organizations use privacy policies to communicate their data collection practices to their clients. A privacy policy is a set of statements that specifies how an organization gathers, uses, discloses, and maintains a client's data. However,…

Cryptography and Security · Computer Science 2024-03-27 Maryam Majedi , Ken Barker

Differential privacy is a de facto standard for statistical computations over databases that contain private data. The strength of differential privacy lies in a rigorous mathematical definition that guarantees individual privacy and yet…

Cryptography and Security · Computer Science 2020-05-05 Gilles Barthe , Rohit Chadha , Vishal Jagannath , A. Prasad Sistla , Mahesh Viswanathan

Consider a pair of random variables $(X,Y)$ distributed according to a given joint distribution $p_{XY}$. A curator wishes to maximally disclose information about $Y$, while limiting the information leakage incurred on $X$. Adopting mutual…

Information Theory · Computer Science 2023-01-30 Borzoo Rassouli , Deniz Gündüz

We propose a practical methodology to protect a user's private data, when he wishes to publicly release data that is correlated with his private data, in the hope of getting some utility. Our approach relies on a general statistical…

Cryptography and Security · Computer Science 2015-10-28 Salman Salamatian , Amy Zhang , Flavio du Pin Calmon , Sandilya Bhamidipati , Nadia Fawaz , Branislav Kveton , Pedro Oliveira , Nina Taft

Ensuring the usefulness of electronic data sources while providing necessary privacy guarantees is an important unsolved problem. This problem drives the need for an overarching analytical framework that can quantify the safety of…

Information Theory · Computer Science 2010-10-04 Lalitha Sankar , S. Raj Rajagopalan , H. Vincent Poor

Statistical agencies face a dual mandate to publish accurate statistics while protecting respondent privacy. Increasing privacy protection requires decreased accuracy. Recognizing this as a resource allocation problem, we propose an…

Cryptography and Security · Computer Science 2019-03-12 John M. Abowd , Ian M. Schmutte

How to query a dataset in the way of preserving the privacy of individuals whose data is included in the dataset is an important problem. The information privacy model, a variant of Shannon's information theoretic model to the encryption…

Cryptography and Security · Computer Science 2021-01-06 Genqiang Wu

This study concentrates on preserving privacy in a network of agents where each agent seeks to evaluate a general polynomial function over the private values of her immediate neighbors. We provide an algorithm for the exact evaluation of…

Cryptography and Security · Computer Science 2022-06-08 Teimour Hosseinalizadeh , Fatih Turkmen , Nima Monshizadeh

In data-driven applications, preserving user privacy while enabling valuable computations remains a critical challenge. Technologies like differential privacy have been pivotal in addressing these concerns. The shuffle model of DP requires…

Cryptography and Security · Computer Science 2025-04-15 Shaowei Wang , Changyu Dong , Xiangfu Song , Jin Li , Zhili Zhou , Di Wang , Han Wu

Formal Concept Analysis (FCA) is extensively used in knowledge extraction, cognitive concept learning, and data mining. However, its computational demands on large-scale datasets often require outsourcing to external computing services,…

Cryptography and Security · Computer Science 2025-12-01 Qiangqiang Chen , Yunfeng Ke , Shen Li , Jinhai Li

We introduce PriCL: the first framework for expressing and automatically reasoning about privacy case law by means of precedent. PriCL is parametric in an underlying logic for expressing world properties, and provides support for court…

Cryptography and Security · Computer Science 2015-01-15 Michael Backes , Fabian Bendun , Joerg Hoffmann , Ninja Marnau

Privacy preservation in distributed computations is an important subject as digitization and new technologies enable collection and storage of vast amounts of data, including private data belonging to individuals. To this end, there is a…

Cryptography and Security · Computer Science 2021-07-05 Katrine Tjell , Rafael Wisniewski

Privacy Preserving Data Mining is a method which ensures privacy of individual information during mining. Most important task involves retrieving information from multiple data bases which is distributed. The data once in the data warehouse…

Databases · Computer Science 2012-04-13 P. Kiran , S Sathish Kumar , N. P. Kavya

The population protocol model introduced by Angluin et al. in 2006 offers a theoretical framework for designing and analyzing distributed algorithms among limited-resource mobile agents. While the original population protocol model…

Cryptography and Security · Computer Science 2023-05-05 Talley Amir , James Aspnes

The emerging public awareness and government regulations of data privacy motivate new paradigms of collecting and analyzing data that are transparent and acceptable to data owners. We present a new concept of privacy and corresponding data…

Cryptography and Security · Computer Science 2022-06-08 Jie Ding , Bangjun Ding

As large-scale theft of data from corporate servers is becoming increasingly common, it becomes interesting to examine alternatives to the paradigm of centralizing sensitive data into large databases. Instead, one could use cryptography and…

Artificial Intelligence · Computer Science 2014-07-15 Thomas Leaute , Boi Faltings

Many modern statistical analysis and machine learning applications require training models on sensitive user data. Under a formal definition of privacy protection, differentially private algorithms inject calibrated noise into the…

Machine Learning · Statistics 2025-04-01 Yifei Xiong , Nianqiao Phyllis Ju , Sanguo Zhang

The proliferation of AI agents, with their complex and context-dependent actions, renders conventional privacy paradigms obsolete. This position paper argues that the current model of privacy management, rooted in a user's unilateral…

Human-Computer Interaction · Computer Science 2025-08-12 Shuning Zhang , Ying Ma , Jingruo Chen , Simin Li , Xin Yi , Hewu Li

Recently, privacy issues in web services that rely on users' personal data have raised great attention. Unlike existing privacy-preserving technologies such as federated learning and differential privacy, we explore another way to mitigate…

Information Retrieval · Computer Science 2022-10-21 Ziqian Chen , Fei Sun , Yifan Tang , Haokun Chen , Jinyang Gao , Bolin Ding

In this chapter, we will explore the cloud-outsourced privacy-preserving computation of a controller on encrypted measurements from a (possibly distributed) system, taking into account the challenges introduced by the dynamical nature of…

Systems and Control · Electrical Eng. & Systems 2019-06-25 Andreea B. Alexandru , George J. Pappas