64 citations · 127 across the 6 of their papers we have counts for
6 papers
Proving Differential Privacy with Shadow Execution
Yuxin Wang, Zeyu Ding, Guanhong Wang +2
Recent work on formal verification of differential privacy shows a trend toward usability and expressiveness -- generating a correctness proof of sophisticated algorithm while mini…
Predicting Demographics of High-Resolution Geographies with Geotagged Tweets
Omar Montasser, Daniel Kifer
In this paper, we consider the problem of predicting demographics of geographic units given geotagged Tweets that are composed within these units. Traditional survey methods that o…
Smart Library: Identifying Books in a Library using Richly Supervised Deep Scene Text Reading
Xiao Yang, Dafang He, Wenyi Huang +4
Physical library collections are valuable and long standing resources for knowledge and learning. However, managing books in a large bookshelf and finding books on it often leads t…
A New Class of Private Chi-Square Tests
Daniel Kifer, Ryan Rogers
In this paper, we develop new test statistics for private hypothesis testing. These statistics are designed specifically so that their asymptotic distributions, after accounting fo…
Postprocessing for Iterative Differentially Private Algorithms
Jaewoo Lee, Daniel Kifer
Iterative algorithms for differential privacy run for a fixed number of iterations, where each iteration learns some information from data and produces an intermediate output. Howe…
LightDP: Towards Automating Differential Privacy Proofs
Danfeng Zhang, Daniel Kifer
The growing popularity and adoption of differential privacy in academic and industrial settings has resulted in the development of increasingly sophisticated algorithms for releasi…