J. Ayo Akinyele

J. Ayo Akinyele

Research Scientist | Cryptographic Engineering

Machine-generated Algorithms, Proofs and Software for the Batch Verification of Digital Signature Schemes

Published in ACM CCS, 2012

Co-authors with Matthew Green, Susan Hohenberger, Matthew Pagano

Recommended citation: Your Name, You. (2012). "Machine-generated Algorithms, Proofs and Software for the Batch Verification of Digital Signature Schemes." ACM CCS. https://dl.acm.org/doi/abs/10.1145/2382196.2382248