As the collection of personal data has increased, many institutions face an urgent need for reliable protection of sensitive data. Among the emerging privacy protection mechanisms, differential privacy offers a persuasive and provable assurance to individuals and has become the dominant model in the research community. However, despite growing adoption, the complexity of designing differentially private algorithms and effectively deploying them in real-world applications remains high. In this thesis, we address two main questions: 1) how can we aid programmers in developing private programs with high utility? and 2) how can we deploy differentially private algorithms to visual analytics systems? We first propose a programming framework and ...
Recent growth in the size and scope of databases has resulted in more research into making productiv...
Differential privacy (DP) is a widely used notion for reasoning about privacy when publishing aggreg...
Often service providers need to outsource computations on sensitive datasets and subsequently publis...
As the collection of personal data has increased, many institutions face an urgent need for reliable...
Differential privacy offers a formal framework for reasoning about the privacy and accuracy of compu...
Differential privacy offers a formal framework for reasoning about the privacy and accuracy of compu...
This dissertation explores techniques for automating program analysis, with a focus on validating an...
With recent privacy failures in the release of personal data, differential privacy received consider...
Privacy-preserving statistical databases are designed to provide information about a population whil...
Computing technologies today have made it much easier to gather personal data, ranging from GPS loca...
Differential privacy is at a turning point. Implementations have been successfully leveraged in priv...
Recent growth in the size and scope of databases has resulted in more research into making productiv...
Differential privacy is one of the most popular technologies in the growing area of privacy-consciou...
Static program analysis, once seen primarily as a tool for optimising programs, is now increasingly ...
Differential privacy provides a way to get useful information about sensitive data without revealing...
Recent growth in the size and scope of databases has resulted in more research into making productiv...
Differential privacy (DP) is a widely used notion for reasoning about privacy when publishing aggreg...
Often service providers need to outsource computations on sensitive datasets and subsequently publis...
As the collection of personal data has increased, many institutions face an urgent need for reliable...
Differential privacy offers a formal framework for reasoning about the privacy and accuracy of compu...
Differential privacy offers a formal framework for reasoning about the privacy and accuracy of compu...
This dissertation explores techniques for automating program analysis, with a focus on validating an...
With recent privacy failures in the release of personal data, differential privacy received consider...
Privacy-preserving statistical databases are designed to provide information about a population whil...
Computing technologies today have made it much easier to gather personal data, ranging from GPS loca...
Differential privacy is at a turning point. Implementations have been successfully leveraged in priv...
Recent growth in the size and scope of databases has resulted in more research into making productiv...
Differential privacy is one of the most popular technologies in the growing area of privacy-consciou...
Static program analysis, once seen primarily as a tool for optimising programs, is now increasingly ...
Differential privacy provides a way to get useful information about sensitive data without revealing...
Recent growth in the size and scope of databases has resulted in more research into making productiv...
Differential privacy (DP) is a widely used notion for reasoning about privacy when publishing aggreg...
Often service providers need to outsource computations on sensitive datasets and subsequently publis...