Model Checking Differentially Private Properties.

Depeng Liu, Bow-Yaw Wang, Lijun Zhang

Browse the full APLAS paper archive.