English
Related papers

Related papers: Towards an Enforceable GDPR Specification

200 papers

In recent years, major privacy laws like the GDPR have brought about positive changes. However, challenges remain in enforcing the laws, particularly due to under-resourced regulators facing a large number of potential privacy-violating…

Human-Computer Interaction · Computer Science 2025-03-12 Tao Jing , Yao Li , Jingzhou Ye , Jie Wang , Xueqiang Wang

Deploying deep reinforcement learning in safety-critical settings requires developing algorithms that obey hard constraints during exploration. This paper contributes a first approach toward enforcing formal safety constraints on end-to-end…

Artificial Intelligence · Computer Science 2020-07-03 Nathan Hunt , Nathan Fulton , Sara Magliacane , Nghia Hoang , Subhro Das , Armando Solar-Lezama

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

Differential Privacy (DP) is a widely adopted standard for privacy-preserving data analysis, but it assumes a uniform privacy budget across all records, limiting its applicability when privacy requirements vary with data values. Per-record…

Databases · Computer Science 2025-11-25 Xinghe Chen , Dajun Sun , Quanqing Xu , Wei Dong

The increased application of machine learning (ML) in sensitive domains requires protecting the training data through privacy frameworks, such as differential privacy (DP). DP requires to specify a uniform privacy level $\varepsilon$ that…

Machine Learning · Computer Science 2024-01-31 Krishna Acharya , Franziska Boenisch , Rakshit Naidu , Juba Ziani

In software development, privacy preservation has become essential with the rise of privacy concerns and regulations such as GDPR and CCPA. While several tools, guidelines, methods, methodologies, and frameworks have been proposed to…

Software Engineering · Computer Science 2025-05-01 Tharaka Wijesundara , Matthew Warren , Nalin Asanka Gamagedara Arachchilage

Privacy risk assessments have been touted as an objective, principled way to encourage organizations to implement privacy-by-design. They are central to a new regulatory model of collaborative governance, as embodied by the GDPR. However,…

Cryptography and Security · Computer Science 2023-10-11 Ero Balsa

Policy specification for personal user data is a hard problem, as it depends on many factors that cannot be predetermined by system developers. Simultaneously, systems are increasingly relying on users to make security decisions. In this…

Cryptography and Security · Computer Science 2017-07-14 Adwait Nadkarni , William Enck , Somesh Jha , Jessica Staddon

A classical problem in Software Engineering is how to certify that every system requirement is correctly implemented by source code. This problem, albeit well studied, can still be considered an open one, given the problems faced by…

Software Engineering · Computer Science 2010-11-11 Rogerio Atem de Carvalho , Rodrigo Soares Manhaes , Fernando Luiz de Carvalho e Silva

Since GDPR came into force in May 2018, companies have worked on their data practices to comply with this privacy law. In particular, since the privacy policy is the essential communication channel for users to understand and control their…

Cryptography and Security · Computer Science 2021-11-09 Tamjid Al Rahat , Tu Le , Yuan Tian

English language requirements are often used to specify the behavior of complex cyber-physical systems. The process of transforming these requirements to a formal specification language is often challenging, especially if the specification…

Software Engineering · Computer Science 2016-04-28 John D. Backes , Michael W. Whalen , Andrew Gacek , John Komp

Process modeling is a suitable tool for improving the business processes. Successful process modeling strongly depends on correct requirements engineering. In this paper, we proposed a combination approach for requirements elicitation for…

Software Engineering · Computer Science 2017-05-12 Masoud Nosrati

Since the introduction of the European General Data Protection Regulation (GDPR) and the California Consumer Privacy Act (CCPA), software developers increasingly have to make privacy-related decisions during system design and…

Software Engineering · Computer Science 2025-12-09 Stefan Albert Horstmann , Sandy Hong , Maziar Niazian , Cristiana Santos , Alena Naiakshina

Article 5(1)(c) of the European Union's General Data Protection Regulation (GDPR) requires that "personal data shall be [...] adequate, relevant, and limited to what is necessary in relation to the purposes for which they are processed…

Computers and Society · Computer Science 2020-05-29 Asia J. Biega , Peter Potash , Hal Daumé , Fernando Diaz , Michèle Finck

Runtime enforcement is a dynamic analysis technique that instruments a monitor with a system in order to ensure its correctness as specified by some property. This paper explores bidirectional enforcement strategies for properties…

Logic in Computer Science · Computer Science 2023-06-22 Luca Aceto , Ian Cassar , Adrian Francalanza , Anna Ingolfsdottir

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…

With the everlasting development of technology and society, data privacy has proven to grow into a pressing issue. The bureaucratic state system seems to expand the number of personal documents required for any kind of request. Therefore,…

Computers and Society · Computer Science 2018-10-01 Cristina Georgiana Calancea , Lenuta Alboaie , Andrei Panu

The increasing availability of personal data has enabled significant advances in fields such as machine learning, healthcare, and cybersecurity. However, this data abundance also raises serious privacy concerns, especially in light of…

Cryptography and Security · Computer Science 2026-04-24 Napsu Karmitsa , Antti Airola , Tapio Pahikkala , Tinja Pitkämäki

Advances in service personalization are driven by low-cost data collection and processing, in addition to the wide variety of third-party frameworks for authentication, storage, and marketing. New privacy regulations, such as the General…

Software Engineering · Computer Science 2022-06-15 Marco Robol , Travis D. Breaux , Elda Paja , Paolo Giorgini

The GDPR, or the Datenschutz Grundverordnung (DSGVO) in German, is an EU Law which addresses the subject of safeguarding privacy of personal data of the citizens of the EU and EEA. It also specifies how data the collected data might be…

Computers and Society · Computer Science 2018-06-11 Sanchit Alekh
‹ Prev 1 4 5 6 7 8 10 Next ›