Happy new year, You are cordially invited to the next UnRAVeL guest talk on Wednesday, 13.01.2021, 16.00: Mahesh Viswanathan, University of Illinois at Urbana-Champaign: Verifying the Privacy and Accuracy of Algorithms for Differential Privacy Differential privacy is a mathematical framework for performing privacy-preserving computations over sensitive data. One important feature of differential privacy algorithms is their ability to achieve provable individual privacy guarantees and at the same time ensure that the outputs are reasonably accurate. Such algorithms compute noisy versions of the right answers to aggregate queries on sensitive data to ensure privacy. Privacy guarantees demand that the algorithm running on "similar" data sets produce responses that are statistically similar; this provides a very strong form of individual privacy. Accuracy, on the other hand, demands that the algorithms output, though noised, be sufficient close to the correct answer for a query. In this talk we will present preliminary results on the algorithmic complexity of checking the privacy and accuracy requirements for a given algorithm. Joint work with Giles Barthe, Rohit Chadha,Vishal Jagannath, Paul Krogmeier, and Prasad Sistla. Based on papers in LICS2020 and POPL 2021. Wednesday, 13.01.2020, 16:00 (!); https://www.unravel.rwth-aachen.de/go/id/kfruu https://rwth.zoom.us/j/92047949381?pwd=LzIwUW96WEM0MkRjZ01FUmhwd1I3QT09<https://www.google.com/url?q=https://rwth.zoom.us/j/92047949381?pwd%3DLzIwUW96WEM0MkRjZ01FUmhwd1I3QT09&sa=D&source=calendar&usd=2&usg=AOvVaw0iFckZC1okM60BGh22QEGz> Meeting ID: 920 4794 9381 Password: unravel Best regards Helen Bolke-Hermanns Helen Bolke-Hermanns RTG UnRAVeL - RWTH Aachen University Ahornstr. 55, D-52074 Aachen Building E3, 2nd floor, Room 9218 Telefon: +49 (241) 80-21 004 Fax: +49 (241) 80-22 215 E-Mail: Helen.Bolke-Hermanns@Informatik.RWTH-Aachen.de<mailto:Helen.Bolke-Hermanns@Informatik.RWTH-Aachen.de> Web: www.unravel.rwth-aachen.de<http://www.unravel.rwth-aachen.de/> [rwth_unravel_en_rgb]