Reasoning about privacy using axioms.

Bing-Rong Lin, Daniel Kifer

Browse the full ACSSC paper archive.