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

Joseph A. Akinyele, Matthew Green, Susan Hohenberger, Matthew W. Pagano

Browse the full CCS paper archive.