AutoBatch: Automating Batch Verification of Digital Signatures

Date: October 16, 2012

A talk about machine generated batch verification algorithms from an domain specific language represenation of pairing-based digital signatures.