English
Related papers

Related papers: Harpocrates: A Statically Typed Privacy Conscious …

200 papers

Regulations for privacy protection aim to protect individuals from the unauthorized storage, processing, and transfer of their personal data but oftentimes fail in providing helpful support for understanding these regulations. To better…

Most users agree to online privacy policies without reading or understanding them, even though these documents govern how personal data is collected, shared, and monetized. Privacy policies are typically long, legally complex, and difficult…

Cryptography and Security · Computer Science 2026-01-13 Sriharshini Kalvakuntla , Luoxi Tang , Yuqiao Meng , Zhaohan Xi

Organizations use data lakes to store and analyze sensitive data. But hackers may compromise data lake storage to bypass access controls and access sensitive data. To address this, we propose Membrane, a system that (1) cryptographically…

Cryptography and Security · Computer Science 2025-09-11 Sam Kumar , Samyukta Yagati , Conor Power , David E. Culler , Raluca Ada Popa

Privacy policies often place requirements on the purposes for which a governed entity may use personal information. For example, regulations, such as HIPAA, require that hospital employees use medical information for only certain purposes,…

Cryptography and Security · Computer Science 2011-02-22 Michael Carl Tschantz , Anupam Datta , Jeannette M. Wing

Privacy policies are lengthy and complex, leading to user neglect. While contextual privacy policies (CPPs) present information at the point of risk, they may lack engagement and disrupt tasks. We propose Conflect, an interactive CPP for…

Human-Computer Interaction · Computer Science 2025-09-17 Shuning Zhang , Sixing Tao , Eve He , Yuting Yang , Ying Ma , Ailei Wang , Xin Yi , Hewu Li

Software applications have become an omnipresent part of modern society. The consequent privacy policies of these applications play a significant role in informing customers how their personal information is collected, stored, and used.…

Cryptography and Security · Computer Science 2023-06-21 Shidong Pan , Thong Hoang , Dawen Zhang , Zhenchang Xing , Xiwei Xu , Qinghua Lu , Mark Staples

Data protection laws such as GDPR aim to give users unprecedented control over their personal data. Compliance with these regulations requires systematically considering information flow and interactions among entities handling sensitive…

Programming Languages · Computer Science 2025-08-07 Chinmayi Prabhu Baramashetru , Paola Giannini , Silvia Lizeth Tapia Tarifa , Olaf Owe

Purpose is crucial for privacy protection as it makes users confident that their personal data are processed as intended. Available proposals for the specification and enforcement of purpose-aware policies are unsatisfactory for their…

Cryptography and Security · Computer Science 2015-07-30 Riccardo De Masellis , Chiara Ghidini , Silvio Ranise

Noninterference is a popular semantic security condition because it offers strong end-to-end guarantees, it is inherently compositional, and it can be enforced using a simple security type system. Unfortunately, it is too restrictive for…

Cryptography and Security · Computer Science 2021-01-14 Ethan Cecchetti , Andrew C. Myers , Owen Arden

Privacy policies are intended to support informed consent, yet users rarely read them fully. This study examines how common privacy policy interface structures influence attention allocation, reading behavior, and perceived experience.…

Human-Computer Interaction · Computer Science 2026-03-17 Wei Xiao , Mengke Wu , Yeeun Jo

To counter software reverse engineering or tampering, software obfuscation tools can be used. However, such tools to a large degree hard-code how the obfuscations are deployed. They hence lack resilience and stealth in the face of many…

Cryptography and Security · Computer Science 2020-12-24 Jens Van den Broeck , Bart Coppens , Bjorn De Sutter

Data-driven agriculture, which integrates technology and data into agricultural practices, has the potential to improve crop yield, disease resilience, and long-term soil health. However, privacy concerns, such as adverse pricing,…

Cryptography and Security · Computer Science 2025-06-27 Osama Zafar , Rosemarie Santa González , Mina Namazi , Alfonso Morales , Erman Ayday

Implicit authentication consists of a server authenticating a user based on the user's usage profile, instead of/in addition to relying on something the user explicitly knows (passwords, private keys, etc.). While implicit authentication…

Cryptography and Security · Computer Science 2015-03-03 Josep Domingo-Ferrer , Qianhong Wu , Alberto Blanco-Justicia

This paper introduces the notion of a secure data capsule, which refers to an encapsulation of sensitive user information (such as a credit card number) along with code that implements an interface suitable for the use of such information…

Cryptography and Security · Computer Science 2010-02-02 Jayanthkumar Kannan , Petros Maniatis , Byung-Gon Chun

In the landscape of application ecosystems, today's cloud users wish to personalize not only their browsers with various extensions or their smartphones with various applications, but also the various extensions and applications themselves.…

Cryptography and Security · Computer Science 2015-04-13 Florian Schröder , Raphael M. Reischuk , Johannes Gehrke

Large Language Model (LLM)-based recommendation systems leverage powerful language models to generate personalized suggestions by processing user interactions and preferences. Unlike traditional recommendation systems that rely on…

Information Retrieval · Computer Science 2025-05-05 Tina Khezresmaeilzadeh , Jiang Zhang , Dimitrios Andreadis , Konstantinos Psounis

Lengthy and legally phrased privacy policies impede users' understanding of how mobile applications collect and process personal data. Prior work proposed Contextual Privacy Policies (CPPs) for mobile apps to display shorter policy snippets…

Cryptography and Security · Computer Science 2025-09-30 Haochen Gong , Zhen Tao , Shidong Pan , Zhenchang Xing , Xiaoyu Sun

Privacy is a crucial concern in many systems in addition to their given tasks. We consider a new notion of privacy based on beliefs of the system states, which is closely related to opacity in discrete event systems. To guarantee the…

Cryptography and Security · Computer Science 2018-03-06 Bo Wu , Hai Lin

End-users seldom read verbose privacy policies, leading app stores like Google Play to mandate simplified data safety declarations as a user-friendly alternative. However, these self-declared disclosures often contradict the full privacy…

Artificial Intelligence · Computer Science 2026-03-11 Bhanuka Silva , Dishanika Denipitiyage , Anirban Mahanti , Aruna Seneviratne , Suranga Seneviratne

In this position paper, we discuss the merits of simulating privacy dynamics in recommender systems. We study this issue at hand from two perspectives: Firstly, we present a conceptual approach to integrate privacy into recommender system…

Information Retrieval · Computer Science 2021-09-15 Peter Müllner , Elisabeth Lex , Dominik Kowald