« Formal Verification of Differentially Private Mechanisms
October 24, 2017, 3:00 PM - 3:30 PM
Location:
DIMACS Center
Rutgers University
CoRE Building
96 Frelinghuysen Road
Piscataway, NJ 08854
Click here for map.
Marco Gaboardi, University at Buffalo
Slides Video