2 papers
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…
cs.CL2022
Distributed Transition Systems with Tags for Privacy Analysis
Siva Anantharaman, Sabine Frittella, Benjamin Nguyen
We present a logical framework that formally models how a given private information P stored on a given database D, can get captured progressively, by an agent/adversary querying t…