English
Related papers

Related papers: Model-Checking the Implementation of Consent

200 papers

The novel Internet of Things (IoT) paradigm is composed of a growing number of heterogeneous smart objects and services that are transforming architectures and applications, increasing systems' complexity, and the need for reliability and…

Cryptography and Security · Computer Science 2024-08-27 Marco Arazzi , Serena Nicolazzo , Antonino Nocera

In recent years, many countries have started enacting laws to safeguard privacy of personal data of their citizens collected and maintained by various enterprises through websites, mobile apps, and other means. It is imperative that the…

Cryptography and Security · Computer Science 2026-04-14 Ajay Dhakar , Arunesh Sinha , Shamik Sural

Privacy policies govern how personal data is collected, used, and shared. Yet, in most privacy-policy consent flows, agreement is operationalized as a single click at the end of a long, opaque policy document. Recent privacy-law scholarship…

Human-Computer Interaction · Computer Science 2026-04-28 Qian Ma , Aditya Majumdar , Sarah Rajtmajer , Brett Frischmann

The General Data Protection Regulation (GDPR) provides new rights and protections to European people concerning their personal data. We analyze GDPR from a systems perspective, translating its legal articles into a set of capabilities and…

Databases · Computer Science 2020-03-18 Supreeth Shastri , Vinay Banakar , Melissa Wasserman , Arun Kumar , Vijay Chidambaram

The new General Data Protection Regulation (GDPR) will take effect in May 2018, and hence, designing compliant data protection policies and system architectures became crucial for organizations to avoid penalties. Unfortunately, the…

Cryptography and Security · Computer Science 2018-05-15 Vinh Thong Ta

Transparency regarding the processing of personal data in online services is a necessary precondition for informed decisions on whether or not to share personal data. In this paper, we argue that privacy interfaces shall incorporate the…

Software Engineering · Computer Science 2023-04-18 Elias Grünewald , Johannes M. Halkenhäußer , Nicola Leschke , Johanna Washington , Cristina Paupini , Frank Pallas

The current "notice and consent" paradigm is broken: consent dialogues are often manipulative, and users cannot realistically read or understand every privacy policy. While recent LLM-based tools empower users seeking active control, many…

Human-Computer Interaction · Computer Science 2026-04-24 Vincent Freiberger

Machine learning based classifiers that take a privacy policy as the input and predict relevant concepts are useful in different applications such as (semi-)automated compliance analysis against requirements of the EU GDPR. In all past…

Cryptography and Security · Computer Science 2026-01-21 Peng Tang , Xin Li , Yuxin Chen , Weidong Qiu , Haochen Mei , Allison Holmes , Fenghua Li , Shujun Li

In this paper, we summarize work-in-progress on expert system support to automate some data deposit and release decisions within a data repository, and to generate custom license agreements for those data transfers. Our approach formalizes…

Cryptography and Security · Computer Science 2019-10-23 Micah Altman , Stephen Chong , Alexandra Wood

The European General Data Protection Regulation (GDPR) brings new challenges for companies who must ensure they have an appropriate legal basis for processing personal data and must provide transparency with respect to personal data…

Cryptography and Security · Computer Science 2021-07-16 Sabrina Kirrane , Javier D. Fernández , Piero Bonatti , Uros Milosevic , Axel Polleres , Rigo Wenning

Autonomous AI agents that can follow instructions and perform complex multi-step tasks have tremendous potential to boost human productivity. However, to perform many of these tasks, the agents need access to personal information from their…

Artificial Intelligence · Computer Science 2025-10-03 Arman Zharmagambetov , Chuan Guo , Ivan Evtimov , Maya Pavlova , Ruslan Salakhutdinov , Kamalika Chaudhuri

Modern software has been an integral part of everyday activities in many disciplines and application contexts. Introducing intelligent automation by leveraging artificial intelligence (AI) led to break-throughs in many fields. The…

Software Engineering · Computer Science 2024-02-20 Sallam Abualhaija , Marcello Ceci , Lionel Briand

The application of the General Data Protection Regulation (GDPR) has significantly affected privacy requirements elicitation, modelling, and verification in Software Engineering (SE). One of the affected areas is requirements visualisation…

Software Engineering · Computer Science 2026-05-28 Evangelia Vanezi , Georgia M. Kapitsaki , Anna Philippou

The huge computation demand of deep learning models and limited computation resources on the edge devices calls for the cooperation between edge device and cloud service by splitting the deep models into two halves. However, transferring…

Cryptography and Security · Computer Science 2020-01-03 Ruiyuan Gao , Ming Dun , Hailong Yang , Zhongzhi Luan , Depei Qian

Software applications are designed to assist users in conducting a wide range of tasks or interactions. They have become prevalent and play an integral part in people's lives in this digital era. To use those software applications, users…

Software Engineering · Computer Science 2024-10-07 Pattaraporn Sangaroonsilp , Hoa Khanh Dam , Omar Haggag , John Grundy

The interactive nature of Large Language Models (LLMs), which closely track user data and context, has prompted users to share personal and private information in unprecedented ways. Even when users opt out of allowing their data to be used…

Cryptography and Security · Computer Science 2025-08-26 GodsGift Uzor , Hasan Al-Qudah , Ynes Ineza , Abdul Serwadda

In modern times, people have numerous online accounts, but they rarely read the Terms of Service or Privacy Policy of those sites, despite claiming otherwise, due to the practical difficulty in comprehending them. The mist of data privacy…

Artificial Intelligence · Computer Science 2025-09-03 Rui Zhao , Vladyslav Melnychuk , Jun Zhao , Jesse Wright , Nigel Shadbolt

General Data Protection Regulations (GDPR) aim to safeguard individuals' personal information from harm. While full compliance is mandatory in the European Union and the California Privacy Rights Act (CPRA), it is not in other places. GDPR…

Information Retrieval · Computer Science 2024-10-11 Nasim Sonboli , Sipei Li , Mehdi Elahi , Asia Biega

The number and dynamic nature of web and mobile applications presents significant challenges for assessing their compliance with data protection laws. In this context, symbolic and statistical Natural Language Processing (NLP) techniques…

Computation and Language · Computer Science 2025-12-22 David Rodriguez , Ian Yang , Jose M. Del Alamo , Norman Sadeh

A blockchain is a distributed ledger forming a distributed consensus on a history of transactions. It is the underlying technology for the Bitcoin cryptocurrency, but there are many applications beyond the financial sector. With built-in…

Cryptography and Security · Computer Science 2019-12-23 Nathaniel Aldred , Luke Baal , Graeham Broda , Steven Trumble , Qusay H. Mahmoud