Hash First, Argue Later: Adaptive Verifiable Computations on Outsourced Data
Dario Fiore, Cédric Fournet, Esha Ghosh, Markulf Kohlweiss, Olya Ohrimenko, Bryan Parno
ACM Conference on Computer and Communications Security (CCS) | October 2016
Publications
Publications
Publications by Year
-
Cinderella: Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation
Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Bryan Parno
Proceedings of the IEEE Symposium on Security and Privacy | May 2016
Pinocchio: Nearly Practical Verifiable Computation
Bryan Parno, Jon Howell, Craig Gentry, Mariana Raykova
Communications of the ACM | February 2016
Research Highlight
-
Geppetto: Versatile Verifiable Computation
Craig Costello, Cédric Fournet, Jon Howell, Markulf Kohlweiss, Benjamin Kreuter, Michael Naehrig, Bryan Parno, Samee Zahur
Proceedings of the IEEE Symposium on Security and Privacy | May 2015
-
Pinocchio Coin: Building Zerocoin from a Succinct Pairing-based Proof System
George Danezis, Cédric Fournet, Markulf Kohlweiss, Bryan Parno
Workshop on Language Support for Privacy Enhancing Technologies | November 2013
Quadratic Span Programs and Succinct NIZKs without PCPs
Rosario Gennaro, Craig Gentry, Bryan Parno, Mariana Raykova
Proceedings of the IACR Eurocrypt Conference | May 2013
Proceedings of the IACR Eurocrypt Conference
Pinocchio: Nearly Practical Verifiable Computation
Bryan Parno, Jon Howell, Craig Gentry, Mariana Raykova
Proceedings of the IEEE Symposium on Security and Privacy | May 2013
Proceedings of the IEEE Symposium on Security and Privacy
Best Paper Award
Resolving the Conflict Between Generality and Plausibility in Verified Computation
Srinath Setty, Benjamin Braun, Victor Vu, Andrew J. Blumberg, Bryan Parno, Michael Walfish
Proceedings of the ACM European Conference on Computer Systems (EuroSys) | April 2013
Publications by Research Area
-
Hash First, Argue Later: Adaptive Verifiable Computations on Outsourced Data
Dario Fiore, Cédric Fournet, Esha Ghosh, Markulf Kohlweiss, Olya Ohrimenko, Bryan Parno
ACM Conference on Computer and Communications Security (CCS) | October 2016
Cinderella: Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation
Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Bryan Parno
Proceedings of the IEEE Symposium on Security and Privacy | May 2016
Pinocchio: Nearly Practical Verifiable Computation
Bryan Parno, Jon Howell, Craig Gentry, Mariana Raykova
Communications of the ACM | February 2016
Research Highlight
Geppetto: Versatile Verifiable Computation
Craig Costello, Cédric Fournet, Jon Howell, Markulf Kohlweiss, Benjamin Kreuter, Michael Naehrig, Bryan Parno, Samee Zahur
Proceedings of the IEEE Symposium on Security and Privacy | May 2015
Pinocchio Coin: Building Zerocoin from a Succinct Pairing-based Proof System
George Danezis, Cédric Fournet, Markulf Kohlweiss, Bryan Parno
Workshop on Language Support for Privacy Enhancing Technologies | November 2013
Quadratic Span Programs and Succinct NIZKs without PCPs
Rosario Gennaro, Craig Gentry, Bryan Parno, Mariana Raykova
Proceedings of the IACR Eurocrypt Conference | May 2013
Proceedings of the IACR Eurocrypt Conference
Pinocchio: Nearly Practical Verifiable Computation
Bryan Parno, Jon Howell, Craig Gentry, Mariana Raykova
Proceedings of the IEEE Symposium on Security and Privacy | May 2013
Proceedings of the IEEE Symposium on Security and Privacy
Best Paper Award
Resolving the Conflict Between Generality and Plausibility in Verified Computation
Srinath Setty, Benjamin Braun, Victor Vu, Andrew J. Blumberg, Bryan Parno, Michael Walfish
Proceedings of the ACM European Conference on Computer Systems (EuroSys) | April 2013
Publications by Type
-
Hash First, Argue Later: Adaptive Verifiable Computations on Outsourced Data
Dario Fiore, Cédric Fournet, Esha Ghosh, Markulf Kohlweiss, Olya Ohrimenko, Bryan Parno
ACM Conference on Computer and Communications Security (CCS) | October 2016
Cinderella: Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation
Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Bryan Parno
Proceedings of the IEEE Symposium on Security and Privacy | May 2016
Geppetto: Versatile Verifiable Computation
Craig Costello, Cédric Fournet, Jon Howell, Markulf Kohlweiss, Benjamin Kreuter, Michael Naehrig, Bryan Parno, Samee Zahur
Proceedings of the IEEE Symposium on Security and Privacy | May 2015
Pinocchio Coin: Building Zerocoin from a Succinct Pairing-based Proof System
George Danezis, Cédric Fournet, Markulf Kohlweiss, Bryan Parno
Workshop on Language Support for Privacy Enhancing Technologies | November 2013
Quadratic Span Programs and Succinct NIZKs without PCPs
Rosario Gennaro, Craig Gentry, Bryan Parno, Mariana Raykova
Proceedings of the IACR Eurocrypt Conference | May 2013
Proceedings of the IACR Eurocrypt Conference
Pinocchio: Nearly Practical Verifiable Computation
Bryan Parno, Jon Howell, Craig Gentry, Mariana Raykova
Proceedings of the IEEE Symposium on Security and Privacy | May 2013
Proceedings of the IEEE Symposium on Security and Privacy
Best Paper Award
Resolving the Conflict Between Generality and Plausibility in Verified Computation
Srinath Setty, Benjamin Braun, Victor Vu, Andrew J. Blumberg, Bryan Parno, Michael Walfish
Proceedings of the ACM European Conference on Computer Systems (EuroSys) | April 2013
-
Pinocchio: Nearly Practical Verifiable Computation
Bryan Parno, Jon Howell, Craig Gentry, Mariana Raykova
Communications of the ACM | February 2016
Research Highlight
People
Antoine Delignat-Lavaud
Principal Researcher
Craig Costello
Researcher
Cédric Fournet
Senior Principal Research Manager
Michael Naehrig
Principal Researcher