FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Verifying Accuracy Claims of Differential Privacy Algorithms

Author: Mahesh Viswanathan

Paper Information

Title:Verifying Accuracy Claims of Differential Privacy Algorithms
Authors:Mahesh Viswanathan
Proceedings:VardiFest22 Talk Abstracts
Editors: Kuldeep S. Meel, Giuseppe De Giacomo, Kristin Yvonne Rozier, Priyanka Golia and Suwei Yang
Keywords:Differential Privacy, Accuracy, Verification, Decidability
Pages:1
Talk:Aug 01 16:45 (Session 38)
Paper: