Proving Differential Privacy via Relational Types

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


Duration: 44:49
232 views
4

Danfeng Zhang (Pennsylvania State University)
https://simons.berkeley.edu/talks/tba-42
Data Privacy: From Foundations to Applications



Other Videos By Simons Institute for the Theory of Computing


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
2019-02-15Zonotopal Algebra, Graph Enumeration, and Partition Functions of Statistical Mechanics


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