Incrementally Verifiable Computation via Rate-1 Batch Arguments | IEEE Conference Publication | IEEE Xplore