Koji Chida Go Yamamoto Batch Processing of Interactive Proofs. 196-207 2007 conf/ctrsa/2007 CT-RSA http://dx.doi.org/10.1007/11967668_13 db/conf/ctrsa/ctrsa2007.html#ChidaY07