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
-
-
-
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
-
-
-
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
-
-
-
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
-
Personne
Antoine Delignat-Lavaud
Principal Researcher
Cédric Fournet
Senior Principal Research Manager
Michael Naehrig
Principal Researcher