Differential Privacy to Work

logo penn --  Home  --  Contributors  --  Software  --  Publications  --

  • The current Fuzz distribution is v0.1.3.4 (Warning: Research prototype -- not for production use!).
  • You can also download an extended version of Fuzz that can infer sensitivity annotations automatically.
    This version additionally requires the Z3 SMT solver.
  • Our USENIX Security paper gives an overview of Fuzz.
  • If you would like to experiment with Fuzz, you may find this brief tutorial useful.
  • The source code for our attacks on PINQ is also available. Please read Section 3.5 of the Fuzz paper for details!
  • DFuzz is a variant of Fuzz that is based on our POPL 2013 paper.
  • DualQuery enables practical private query release for high-dimensional data (based on our ICML'14 paper).
  • HOARe2 is a tool for mechanism design and differential privacy based on higher-order approximate relational refinement types (for more details, see this POPL'15 paper).