2 papers
cs.CR2019
Deciding Differential Privacy for Programs with Finite Inputs and Outputs
Gilles Barthe, Rohit Chadha, Vishal Jagannath +2
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 mathemati…
cs.LO2017
On Petri Nets with Hierarchical Special Arcs
S. Akshay, Supratik Chakraborty, Ankush Das +2
We investigate the decidability of termination, reachability, coverability and deadlock-freeness of Petri nets endowed with a hierarchy on places, and with inhibitor arcs, reset ar…