How to delegate and verify in public: Verifiable computation from attribute-based encryption (2012)

by Bryan Parno, Mariana Raykova, Vinod Vaikuntanathan
Venue:In TCC