%0 Conference Paper %1 conf/csfw/BartheDGKB13 %A Barthe, Gilles %A Danezis, George %A Grégoire, Benjamin %A Kunz, César %A Béguelin, Santiago Zanella %B CSF %D 2013 %I IEEE Computer Society %K dblp %P 287-301 %T Verified Computational Differential Privacy with Applications to Smart Metering. %U http://dblp.uni-trier.de/db/conf/csfw/csf2013.html#BartheDGKB13 %@ 978-0-7695-5031-2

@inproceedings{conf/csfw/BartheDGKB13, added-at = {2023-03-24T00:00:00.000+0100}, author = {Barthe, Gilles and Danezis, George and Grégoire, Benjamin and Kunz, César and Béguelin, Santiago Zanella}, biburl = {https://www.bibsonomy.org/bibtex/2c9a4f58f75e9cef1f6c53aa281d8378f/dblp}, booktitle = {CSF}, crossref = {conf/csfw/2013}, ee = {https://doi.ieeecomputersociety.org/10.1109/CSF.2013.26}, interhash = {e263cf921a4e461619bb8cd50e6a7630}, intrahash = {c9a4f58f75e9cef1f6c53aa281d8378f}, isbn = {978-0-7695-5031-2}, keywords = {dblp}, pages = {287-301}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T11:43:33.000+0200}, title = {Verified Computational Differential Privacy with Applications to Smart Metering.}, url = {http://dblp.uni-trier.de/db/conf/csfw/csf2013.html#BartheDGKB13}, year = 2013 }