@inproceedings(Alvim:12:CSF, author = "M{\'a}rio S. Alvim and Konstantinos Chatzikokolakis and Catuscia Palamidessi and Geoffrey Smith", year = "2012", title = "Measuring Information Leakage Using Generalized Gain Functions", booktitle = "Proc. of CSF", pages = "265--279", doi = "10.1109/CSF.2012.26", ) @techreport(Mig12, author = "Miguel E. Andr{\'e}s and Nicol{\'a}s E. Bordenabe and Konstantinos Chatzikokolakis and Catuscia Palamidessi", year = "2012", title = "Geo-Indistinguishability: Differential Privacy for Location-Based Systems", type = "Technical Report", note = "Av. at \url {arXiv:1212.1984}", ) @inproceedings(Barthe:12:POPL, author = "Gilles Barthe and Boris K{\"o}pf and Federico Olmedo and Santiago Zanella B{\'e}guelin", year = "2012", title = "Probabilistic Relational Reasoning for Differential Privacy", booktitle = "Proc. of POPL", publisher = "ACM", doi = "10.1145/2103656.2103670", ) @inproceedings(Braun:09:MFPS, author = "Christelle Braun and Konstantinos Chatzikokolakis and Catuscia Palamidessi", year = "2009", title = "Quantitative Notions of Leakage for One-try Attacks", booktitle = "Proc. of MFPS", series = "ENTCS", volume = "249", publisher = "Elsevier", pages = "75--91", doi = "10.1016/j.entcs.2009.07.085", ) @article(champion08, author = "T. Champion and L. {De Pascale} and P. Juutinen", year = "2008", title = "The $\infty $-Wasserstein Distance: Local Solutions and Existence of Optimal Transport Maps", journal = "SIAM", volume = "40", number = "1", pages = "1--20", doi = "10.1137/07069938X", ) @inproceedings(geoPets13, author = "K. Chatzikokolakis and M. Andres and N. Bordenabe and C. Palamidessi", title = "Broadening the scope of Differential Privacy using metrics", booktitle = "Proc. of PETS. To appear", ) @article(Chatzikokolakis:08:IC, author = "Konstantinos Chatzikokolakis and Catuscia Palamidessi and Prakash Panangaden", year = "2008", title = "Anonymity Protocols as Noisy Channels", journal = "Inf. and Comp.", volume = "206", number = "2--4", pages = "378--401", doi = "10.1016/j.ic.2007.07.003", ) @inproceedings(Chaudhuri:11:FSE, author = "Swarat Chaudhuri and Sumit Gulwani and Roberto Lublinerman and Sara NavidPour", year = "2011", title = "Proving programs robust", booktitle = "Proc. of {ESEC}-13", publisher = "ACM", pages = "102--112", doi = "10.1145/2025113.2025131", ) @inproceedings(Clark:05:QAPL, author = "David Clark and Sebastian Hunt and Pasquale Malacaria", year = "2005", title = "Quantified Interference for a While Language", booktitle = "Proc. of QAPL", series = "ENTCS", volume = "112", publisher = "Elsevier", pages = "149--166", doi = "10.1016/j.entcs.2004.01.018", ) @inproceedings(Dwork:06:ICALP, author = "Cynthia Dwork", year = "2006", title = "Differential Privacy", booktitle = "Proc. of ICALP", series = "LNCS", volume = "4052", publisher = "Springer", pages = "1--12", doi = "10.1007/11787006_1", ) @inproceedings(Dwork:06:TCC, author = "Cynthia Dwork and Frank Mcsherry and Kobbi Nissim and Adam Smith", year = "2006", title = "Calibrating noise to sensitivity in private data analysis", booktitle = "Proc. of TCC", series = "LNCS", volume = "3876", publisher = "Springer", pages = "265--284", doi = "10.1007/11681878_14", ) @inproceedings(Gaboardi:13:POPL, author = "Marco Gaboardi and Andreas Haeberlen and Justin Hsu and Arjun Ravi Narayan and Benjamin C. Pierce", year = "2013", title = "Linear Dependent Types for Differential Privacy", booktitle = "Proc. of POPL 2013.", doi = "10.1145/2429069.2429113", ) @techreport(gazeau12hal, author = "Ivan Gazeau and Dale Miller and Catuscia Palamidessi", year = "2012", title = "{A non-local method for robustness analysis of floating point programs}", type = "Technical Report", institution = "INRIA", note = "Available at \url {http://hal.inria.fr/hal-00665995}", ) @techreport(gazeau13hal, author = "Ivan Gazeau and Dale Miller and Catuscia Palamidessi", year = "2013", title = "Preserving differential privacy under finite-precision semantics", type = "Technical Report", institution = "INRIA", url = "http://hal.inria.fr/hal-00780774", ) @inproceedings(Ho:11:GIS, author = "Shen-Shyang Ho and Shuhua Ruan", year = "2011", title = "Differential privacy for location pattern mining", booktitle = "Proc. of SPRINGL", publisher = "ACM", pages = "17--24", doi = "10.1145/2071880.2071884", ) @book(ieee08, author = "{IEEE Task P754}", year = "2008", title = "{IEEE} 754-2008, Standard for Floating-Point Arithmetic", publisher = "IEEE", address = "pub-IEEE-STD:adr", doi = "10.1109/IEEESTD.2008.4610935", ) @inproceedings(Machanavajjhala:08:ICDE, author = "Ashwin Machanavajjhala and Daniel Kifer and John M. Abowd and Johannes Gehrke and Lars Vilhuber", year = "2008", title = "Privacy: Theory meets Practice on the Map", booktitle = "Proc. of ICDE", publisher = "IEEE", pages = "277--286", doi = "10.1109/ICDE.2008.4497436", ) @inproceedings(Malacaria:07:POPL, author = "Pasquale Malacaria", year = "2007", title = "Assessing security threats of looping constructs", booktitle = "Proc. of POPL", publisher = "ACM", pages = "225--235", doi = "10.1145/1190216.1190251", ) @inproceedings(Mironov12, author = "Ilya Mironov", year = "2012", title = "On significance of the least significant bits for differential privacy", booktitle = "Proc. of", series = "CCS '12", publisher = "ACM", address = "New York, NY, USA", pages = "650--661", doi = "10.1145/2382196.2382264", ) @inproceedings(Narayanan:09:SSP, author = "Arvind Narayanan and Vitaly Shmatikov", year = "2009", title = "De-anonymizing Social Networks", booktitle = "Proc. of S\&P", publisher = "IEEE", pages = "173--187", doi = "10.1109/SP.2009.22", ) @book(rudin86book, author = "Walter Rudin", year = "1986", title = "Real and Complex Analysis", edition = "3rd", publisher = "McGraw-Hill", ) @inproceedings(Smith:09:FOSSACS, author = "Geoffrey Smith", year = "2009", title = "On the Foundations of Quantitative Information Flow", booktitle = "Proc. of FOSSACS", series = "LNCS", volume = "5504", publisher = "Springer", pages = "288--302", doi = "10.1007/978-3-642-00596-1_21", )