Verified Computational Differential Privacy with Applications to Smart Metering Gilles Barthe∗ , George Danezis‡ , Benjamin Gr´egoire† , C´esar Kunz∗ , Santiago Zanella-B´eguelin‡ ∗ IMDEA † INRIA - George Benjamin - Document - PDFSEARCH.IO

First Page	Meta Content
	Verified Computational Differential Privacy with Applications to Smart Metering Gilles Barthe∗ , George Danezis‡ , Benjamin Gr´egoire† , C´esar Kunz∗ , Santiago Zanella-B´eguelin‡ ∗ IMDEA † INRIA Add to Reading List Document Date: 2013-11-04 03:36:31 Open Document File Size: 286,88 KB Share Result on Facebook

Verified Computational Differential Privacy with Applications to Smart Metering Gilles Barthe∗ , George Danezis‡ , Benjamin Gr´egoire† , C´esar Kunz∗ , Santiago Zanella-B´eguelin‡ ∗ IMDEA † INRIAAdd to Reading List