Bisimilarity Distances for Approximate Differential Privacy.

Dmitry Chistikov, Andrzej S. Murawski, David Purser

Browse the full ATVA paper archive.