Automated Synthesis of Privacy-Preserving Distributed Applications

By Michael Backes. 2011

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. Srinath T. V. Setty
2. Eli Ben-Sasson
3. Bryan Parno
4. Dan Boneh
5. Mariana Raykova
6. Jon Howell
7. Craig Gentry
8. Craig Costello

Citations in the corpus

• Geppetto: Versatile Verifiable Computation (2015, methodology): “Zero Knowledge Several systems compile high-level functions to zero-knowledge (ZK) proofs [1, 4, 42].”
• Pinocchio: Nearly Practical Verifiable Computation (2013, methodology): “Several systems provide compilers for zero-knowledge (ZK) proofs [62–64].”
• A Survey of Verifiable Computation (2017, methodology): “designed a compiler [73] based on GrothSahai ZK proofs [74] and used it to handle logical formulas.”
• Differential Privacy by Typing in Security Protocols (2013, background): “properties [20], [40], strong secrecy [22] properties based on observational equivalence relations, as well as privacy [41], [42], authenticity [43]–[48] and authorization policies [19], [24], [31], [49]–[51].”