Formal Methods and Proofs of Privacy Properties, Part I

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


Duration: 57:49
835 views
9

Marco Gaboardi (SUNY, Buffalo)
https://simons.berkeley.edu/talks/formal-methods-and-proofs-privacy-properties
Data Privacy: Foundations and Applications Boot Camp



Other Videos By Simons Institute for the Theory of Computing


2019-02-11On the Further Structure of the Finite Free Convolutions
2019-02-11Convolutions of Real Stable Polynomials and Root Bounds
2019-02-11X-Ramanujan Graphs
2019-02-11Thin Trees and Interlacing Families on Strongly Rayleigh Distributions
2019-02-08Effective Arithmetic Geometry
2019-02-01Markets and Incentives for Transacting on (Personal) Information, Part III
2019-02-01Markets and Incentives for Transacting on (Personal) Information, Part I
2019-02-01Markets and Incentives for Transacting on (Personal) Information, Part II
2019-01-31Formal Methods and Proofs of Privacy Properties, Part III
2019-01-31Formal Methods and Proofs of Privacy Properties, Part II
2019-01-31Formal Methods and Proofs of Privacy Properties, Part I
2019-01-30Algorithms for Answering Linear Queries, Part III
2019-01-30Algorithms for Answering Linear Queries, Part II
2019-01-30Simons Institute Live Stream
2019-01-30The Social Survey Statistician's Perspective
2019-01-29Statistical Inference and Privacy, Part III
2019-01-29Statistical Inference and Privacy, Part II
2019-01-29Statistical Inference and Privacy, Part I
2019-01-29Simons Institute Live StreamPerspective: Achieving Meaningful Privacy in Technology and Design
2019-01-28Large-Scale Private Learning, Part III
2019-01-28Large-Scale Private Learning, Part II


Tags:
Simons Institute
Theory of Computing
Theory of Computation
Theoretical Computer Science
Computer Science
UC Berkeley
Data Privacy: Foundations and Applications Boot Camp
Marco Gaboardi