@InProceedings{Barthe:2013:ICALP,
  author    = "Gilles Barthe and Federico Olmedo",
  title     = "Beyond Differential Privacy: Composition Theorems and
               Relational Logic for f-divergences between Probabilistic Programs",
  booktitle = "40th International Colloquium on Automata, Languages, and Programming",
  publisher = "Springer", 
  series    = "Lecture Notes in Computer Science",
  year      = "2013",
  note      = "To appear"
}