中文
相关论文

相关论文: Model-Checking the Implementation of Consent

200 篇论文

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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

人机交互 · 计算机科学 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…

数据库 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

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…

人机交互 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

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…

软件工程 · 计算机科学 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…

软件工程 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

软件工程 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

人工智能 · 计算机科学 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…

信息检索 · 计算机科学 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…

计算与语言 · 计算机科学 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…

密码学与安全 · 计算机科学 2019-12-23 Nathaniel Aldred , Luke Baal , Graeham Broda , Steven Trumble , Qusay H. Mahmoud