Pinocchio: Nearly practical verifiable computation
- Bryan Parno
- Jon Howell
- et al.
- 2013
- S&P 2013
Publications
Date
Featured collections
Popular topics
8 results for Mariana Raykova
Shroud: Ensuring private access to large-scale data in the data center
- Jacob R. Lorch
- Bryan Parno
- et al.
- 2013
- FAST 2013
Usable, secure, private search
- Mariana Raykova
- Ang Cui
- et al.
- 2012
- IEEE Security and Privacy
Outsourcing private RAM computation
- Craig Gentry
- Shai Halevi
- et al.
- 2014
- FOCS 2014
Candidate indistinguishability obfuscation and functional encryption for all circuits (extended abstract)
- Sanjam Garg
- Craig Gentry
- et al.
- 2013
- FOCS 2013
Hiding secrets in software: A cryptographic approach to program obfuscation
- Sanjam Garg
- Craig Gentry
- et al.
- 2016
- CACM
Pinocchio: Nearly practical verifiable computation
- Bryan Parno
- Jon Howell
- et al.
- 2016
- CACM
Candidate indistinguishability obfuscation and functional encryption for all circuits
- Sanjam Garg
- Craig Gentry
- et al.
- 2016
- SIAM Journal on Computing