Machine-generated algorithms, proofs and software for the batch verification of digital signature schemes (2012)

by Joseph A Akinyele, Matthew Green, Susan Hohenberger, Matthew W Pagano
Venue:In ACM CCS