Home Publications

Beyond Differential Privacy: Composition Theorems and Relational Logic for f-divergences between Probabilistic Programs

Research Area: Uncategorized Year: 2013
Type of Publication: In Proceedings
  • Barthe, Gilles
  • Olmedo, Federico
Editor: Fedor V. Fomin and Rusins Freivalds and Marta Z. Kwiatkowska and David Peleg Volume: 7966
Book title: ICALP (2)
Series: Lecture Notes in Computer Science Pages: 49-60
ISBN: 978-3-642-39211-5
(Partners: IMDEA Projects: European Projects FP7-256980 NESSoS and FP7-229599 AMAROUT, Spanish project TIN2009-14599 DESAFIOS 10 and Madrid Regional project S2009TIC-1465 PROMETIDOS, Tier: A) CITE(03/03/2014):1