Automated Verification meets Differential Privacy

Channel:
United States Simons Institute for the Theory of Computing
Subscribers:
68,700
Published on ● Video Link: https://www.youtube.com/watch?v=_0VZAbNUD2s


Duration: 45:15
332 views
3

Aws Albarghouthi (University of Wisconsin, Madison)
https://simons.berkeley.edu/talks/tba-43
Data Privacy: From Foundations to Applications



Other Videos By Simons Institute for the Theory of Computing


2019-03-07Deploying DP: Experiences from the Front Lines and Open Challenges
2019-03-07pMSE Mechanism: Differentially Private Synthetic Data with Maximal Distributional Similarity
2019-03-07Differential Privacy from a Statistical Perspective–Obtaining Valid Inferences...
2019-03-06Accuracy Disparities and Social Choices in the Design of Privacy Mechanisms
2019-03-06What All We've Been Up To at Knexus Research
2019-03-06Predicate Singling Out: Towards Formalizing the GDPR Notion of Singling Out
2019-03-06Practical Experience with Making Synthetic Data Differentially Private
2019-03-06Challenges in Scaling Privacy Enhancing Technologies to Campus Level IoT Testbed
2019-03-06From Health Data to Location Traces: Addressing Spatiotemporal Correlations in Differential Privacy
2019-03-06A Practical Method to Reduce Privacy Loss when Disclosing Statistics Based on Small Samples
2019-03-05Automated Verification meets Differential Privacy
2019-03-05Proving Differential Privacy via Relational Types
2019-03-05Formal Modelling of Information-flow Control Systems: Some Lessons Learned
2019-03-05Learning the Privacy-Utility Trade-off with Bayesian Optimization
2019-03-04Modular Approach to Cloud Security
2019-03-04Discovery, Replication and Reuse of Sensitive Scientific Data with PSI
2019-03-04Quantifying Privacy in Law
2019-03-04Hybrid Legal-Technical Concepts of Privacy
2019-03-04Smooth Sensitivity for k-Nearest Neighbor
2019-03-04Consistency with External Knowledge: The TopDown Algorithm
2019-03-04Stepping-up: The Census Bureau Sets an Example of How to Be a Good Data Steward in the 21st Century


Tags:
Data Privacy: From Foundations to Applications
Aws Albarghouthi
Simons Institute
Theory of Computing
Theory of Computation
Theoretical Computer Science
Computer Science
UC Berkeley