Consultas integradas à privacidade

Relatamos o design e a implementação da plataforma Privacy Integrated Queries (PINQ) para análise de dados que preserva a privacidade. O PINQ fornece aos analistas uma interface de programação para dados não tratados por meio de uma linguagem semelhante ao SQL. Ao mesmo tempo, o design da linguagem de análise do PINQ e sua cuidadosa implementação fornecem garantias formais de privacidade diferencial para todos os usos da plataforma. As garantias estruturais incondicionais do PINQ não exigem confiança na experiência ou diligência dos analistas, ampliando substancialmente o escopo para o design e a implementação de análises de dados que preservam a privacidade, especialmente por não-experts.