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