Verified Computational Differential Privacy with Applications to Smart Metering | Publicación