2 papers
cs.CR2026
Onto-DP: Constructing Neighborhoods for Differential Privacy on Ontological Databases
Yasmine Hayder, Adrien Boiret, Cédric Eichler +1
In this paper, we investigate how attackers can discover sensitive information embedded within databases by exploiting inference rules. We demonstrate the inadequacy of naively app…
cs.LO2025
Distributed Transition System with Tags and Value-wise Metric, for Privacy Analysis
Siva Anantharaman, Sabine Frittella, Benjamin Nguyen
We introduce a logical framework named Distributed Labeled Tagged Transition System (DLTTS), using concepts from Probabilistic Automata, Probabilistic Concurrent Systems, and Proba…