Geppetto: Versatile Verifiable Computation | IEEE Conference Publication | IEEE Xplore