How to Delegate and Verify in Public: Verifiable Computation from Attribute-Based Encryption.

Bryan Parno, Mariana Raykova, Vinod Vaikuntanathan

Browse the full TCC paper archive.