English
Related papers

Related papers: PriCL: Creating a Precedent A Framework for Reason…

200 papers

Differential privacy (DP) has a wide range of applications for protecting data privacy, but designing and verifying DP algorithms requires expert-level reasoning, creating a high barrier for non-expert practitioners. Prior works either rely…

Machine Learning · Computer Science 2026-05-19 Erchi Wang , Pengrun Huang , Eli Chien , Om Thakkar , Kamalika Chaudhuri , Yu-Xiang Wang , Ruihan Wu

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

Current legal outcome prediction models - a staple of legal NLP - do not explain their reasoning. However, to employ these models in the real world, human legal actors need to be able to understand the model's decisions. In the case of…

Computation and Language · Computer Science 2024-04-17 Josef Valvoda , Ryan Cotterell

Event logs capture the execution of business processes in terms of executed activities and their execution context. Since logs contain potentially sensitive information about the individuals involved in the process, they should be…

Databases · Computer Science 2020-06-24 Stephan A. Fahrenkrog-Petersen , Han van der Aa , Matthias Weidlich

Personal large language model (LLM) agents increasingly perform tasks that require access to user data, raising concerns about appropriate data disclosure. We show that relying solely on LLMs to make data-sharing decisions is insufficient.…

Cryptography and Security · Computer Science 2026-03-17 James Flemings , Ren Yi , Octavian Suciu , Kassem Fawaz , Murali Annavaram , Marco Gruteser

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

Precedential constraint is one foundation of case-based reasoning in AI and Law. It generally assumes that the underlying set of precedents must be consistent. To relax this assumption, a generalized notion of the reason model has been…

Artificial Intelligence · Computer Science 2025-10-23 Wachara Fungwacharakorn , Gauvain Bourgne , Ken Satoh

Differential privacy is a mathematical framework for developing statistical computations with provable guarantees of privacy and accuracy. In contrast to the privacy component of differential privacy, which has a clear mathematical and…

Cryptography and Security · Computer Science 2020-11-13 Gilles Barthe , Rohit Chadha , Paul Krogmeier , A. Prasad Sistla , Mahesh Viswanathan

In the realm of online privacy, privacy assistants play a pivotal role in empowering users to manage their privacy effectively. Although recent studies have shown promising progress in tackling tasks such as privacy violation detection and…

Artificial Intelligence · Computer Science 2023-06-01 Gonul Ayci , Arzucan Özgür , Murat Şensoy , Pınar Yolum

Preserving privacy of users is a key requirement of web-scale analytics and reporting applications, and has witnessed a renewed focus in light of recent data breaches and new regulations such as GDPR. We focus on the problem of computing…

Cryptography and Security · Computer Science 2018-09-22 Krishnaram Kenthapadi , Thanh T. L. Tran

This thesis concerns the development of a framework that facilitates the design and analysis of formal systems. Specifically, this framework provides a specification language which supports the concise and direct description of formal…

Logic in Computer Science · Computer Science 2009-10-06 Andrew Gacek

Large Language Models (LLMs) are increasingly being used for automated evaluations and explaining them. However, concerns about explanation quality, consistency, and hallucinations remain open research challenges, particularly in…

Human-Computer Interaction · Computer Science 2025-04-18 Vincent Freiberger , Arthur Fleig , Erik Buchmann

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

Compliance with the GDPR privacy regulation places a significant burden on organisations regarding the handling of personal data. The perceived efforts and risks of complying with the GDPR further increase when data processing activities…

Artificial Intelligence · Computer Science 2025-03-11 L. Thomas van Binsbergen , Marten C. Steketee , Milen G. Kebede , Heleen L. Janssen , Tom M. van Engers

In this paper we propose a formal framework for studying privacy in information systems. The proposal follows a two-axes schema where the first axis considers privacy as a taxonomy of rights and the second axis involves the ways an…

Logic in Computer Science · Computer Science 2019-03-14 Dimitrios Kouzapas , Anna Philippou

Individuals' concerns about data privacy and AI safety are highly contextualized and extend beyond sensitive patterns. Addressing these issues requires reasoning about the context to identify and mitigate potential risks. Though researchers…

Computation and Language · Computer Science 2026-04-15 Haoran Li , Yulin Chen , Huihao Jing , Wenbin Hu , Tsz Ho Li , Chanhou Lou , Hong Ting Tsang , Sirui Han , Yangqiu Song

While progress has been made in legal applications, law reasoning, crucial for fair adjudication, remains unexplored. We propose a transparent law reasoning schema enriched with hierarchical factum probandum, evidence, and implicit…

Artificial Intelligence · Computer Science 2025-03-04 Jiaxin Shen , Jinan Xu , Huiqi Hu , Luyi Lin , Fei Zheng , Guoyang Ma , Fandong Meng , Jie Zhou , Wenjuan Han

In the rapidly evolving field of legal analytics, finding relevant cases and accurately predicting judicial outcomes are challenging because of the complexity of legal language, which often includes specialized terminology, complex syntax,…

Computation and Language · Computer Science 2024-08-01 Dong Shu , Haoran Zhao , Xukun Liu , David Demeter , Mengnan Du , Yongfeng Zhang

Pre-trained language models (PLMs) have demonstrated significant proficiency in solving a wide range of general natural language processing (NLP) tasks. Researchers have observed a direct correlation between the performance of these models…

Computation and Language · Computer Science 2024-04-12 Kennedy Edemacu , Xintao Wu

Algorithmic discrimination is a critical concern as machine learning models are used in high-stakes decision-making in legally protected contexts. Although substantial research on algorithmic bias and discrimination has led to the…

Computers and Society · Computer Science 2025-06-18 Holli Sargeant , Måns Magnusson
‹ Prev 1 2 3 10 Next ›