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

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

Web:   www.unravel.rwth-aachen.de