Formalization of Differential Privacy in Isabelle/HOL.

Tetsuya Sato, Yasuhiko Minamide

Browse the full CPP paper archive.