Person: Thaler, Justin
Loading...
Email Address
AA Acceptance Date
Birth Date
Research Projects
Organizational Units
Job Title
Last Name
Thaler
First Name
Justin
Name
Thaler, Justin
2 results
Search Results
Now showing 1 - 2 of 2
Publication Practical Verified Computation with Streaming Interactive Proofs(2013-10-14) Thaler, Justin; Mitzenmacher, Michael D.; Mitzenmacher, Michael; Seltzer, Margo; Vadhan, SalilAs the cloud computing paradigm has gained prominence, the need for verifiable computation has grown urgent. Protocols for verifiable computation enable a weak client to outsource difficult computations to a powerful, but untrusted, server. These protocols provide the client with a (probabilistic) guarantee that the server performed the requested computations correctly, without requiring the client to perform the computations herself.Publication Faster Algorithms for Privately Releasing Marginals(Springer Verlag, 2012) Thaler, Justin; Ullman, Jonathan; Vadhan, SalilWe study the problem of releasing k-way marginals of a database D ∈ {0,1}d)n, while preserving differential privacy. The an- swer to a k-way marginal query is the fraction of D’s records x ∈ {0, 1}d with a given value in each of a given set of up to k columns. Marginal queries enable a rich class of statistical analyses of a dataset, and de- signing efficient algorithms for privately releasing marginal queries has been identified as an important open problem in private data analysis (cf. Barak et. al., PODS ’07). We give an algorithm that runs in time dO( k) and releases a private summary capable of answering any k-way marginal query with at most ±.01 error on every query as long as n ≥ dO( k). To our knowledge, ours is the first algorithm capable of privately releasing marginal queries with non-trivial worst-case accuracy guarantees in time substantially smaller than the number of k-way marginal queries, which is dΘ(k) (for k ≪ d).