Linear dependent types for differential privacy
Differential privacy offers a way to answer queries about sensitive information while
providing strong, provable privacy guarantees, ensuring that the presence or absence of a …
providing strong, provable privacy guarantees, ensuring that the presence or absence of a …
Programming language techniques for differential privacy
Differential privacy is rigorous framework for stating and enforcing privacy guarantees on
computations over sensitive data. Informally, differential privacy ensures that the presence or …
computations over sensitive data. Informally, differential privacy ensures that the presence or …
Metrics for differential privacy in concurrent systems
Originally proposed for privacy protection in the context of statistical databases, differential
privacy is now widely adopted in various models of computation. In this paper we investigate …
privacy is now widely adopted in various models of computation. In this paper we investigate …
Interpretable privacy with optimizable utility
In this position paper, we discuss the problem of specifying privacy requirements for
machine learning based systems, in an interpretable yet operational way. Explaining privacy …
machine learning based systems, in an interpretable yet operational way. Explaining privacy …
[HTML][HTML] Differential privacy in probabilistic systems
Ever since proposed by Dwork, differential privacy has been a hot topic in academia.
However, few attempts have been made on reasoning about differential privacy at a system …
However, few attempts have been made on reasoning about differential privacy at a system …
Session Types for the Concurrent Composition of Interactive Differential Privacy
V Sannier, P Baillot, M Gaboardi - 2024 - hal.science
Differential privacy (DP) is a statistical definition of privacy which ensures that the outcome of
a computation by an analyst only depends in a negligible way on the presence of a single …
a computation by an analyst only depends in a negligible way on the presence of a single …
Differential privacy and security
Differential Privacy and Security 1. Introduction Page 1 Fundamenta Informaticae 143 (2016)
73–87 73 DOI 10.3233/FI-2016-1304 IOS Press Differential Privacy and Security Damas P …
73–87 73 DOI 10.3233/FI-2016-1304 IOS Press Differential Privacy and Security Damas P …
Uniform protection for multi-exposed targets
Ensuring that information is protected proportionately to its value is a major challenge in the
development of robust distributed systems, where code complexity and technological …
development of robust distributed systems, where code complexity and technological …
Privacy-preserving AI using declarative constraints
M Basu - 2024 - hal.science
Machine learning and Deep learning-based technologies have gained widespread
adoption, quickly displacing traditional artificially intelligent (AI) systems. Contemporary …
adoption, quickly displacing traditional artificially intelligent (AI) systems. Contemporary …
Formal verification of differential privacy in concurrent systems
L Xu - 2015 - inria.hal.science
The verification of systems for protecting sensitive and confidential information is becoming
an increasingly important issue in the modern world. Many protocols for protecting …
an increasingly important issue in the modern world. Many protocols for protecting …