Conference Cinderella: Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation • IEEE Symposium on Security and Privacy: Proceedings • 235-254 Delignat-Lavaud A, Fournet C, Kohlweiss M, Parno B
Conference Geppetto: Versatile Verifiable Computation • IEEE Symposium on Security and Privacy: Proceedings • 253-270 Costello C, Fournet C, Howell J, Kohlweiss M, Kreuter B, Naehrig M, Parno B, Zahur S
Conference Pinocchio: Nearly Practical Verifiable Computation • IEEE Symposium on Security and Privacy: Proceedings • 238-252 Parno B, Howell J, Gentry C, Raykova M
