Proving that Programs Are Differentially Private.

Annabelle McIver, Carroll Morgan

Browse the full APLAS paper archive.